构造下面推理的证明: 下午张三或去看电影或去游泳。他没有去看电影,所以,他去游泳了。证明过程:第一步:命题符号化设 P:下午张三去看电影; Q:下午张三去游泳;则: 下午张三或去看电影或去游泳。可符号化为 (P∧¬Q)∨(¬P∧Q) 他没有去看电影。可符号化为 ( ) 他去游泳了。可符号化为( )第二步写出推理论证的形式:(P∧¬Q)∨(¬P∧Q),¬P=>Q第三步进行推理证明。
举一反三
- 设P:小王下午去看电影;Q:小王下午去游泳,则下午小王或去看电影或去游泳;他没去看电影;所以,他去游泳了的推理形式正确得是 。 A: (P∨Q)∧¬P→Q B: (P∨Q)∧¬P => Q C: (P∨Q)∧¬P <=> Q D: (P∨Q)∧¬P ←→ Q
- 构造下面推理的证明下午张三或去看电影或去游泳。他没有去看电影,所以,他去游泳了。
- 令p:天下雨,q:看电影,命题“只有天下雨,他才去看电影”可符号化为
- 设:p:派小王去开会。q:派小李去开会。则命题:“派小王或小李中的一人去开会”可符号化为:() A: p∨q B: (p∧¬q)∨(¬p∧q) C: (p∧q)∨(¬p∧¬q) D: (p∧q)∨(p∧¬q)
- 以下命题符号化正确的是( ) A: 张三和李四都去开会。 设P:张三去开会。Q:李四去开会。 原命题可符号化为:P∧Q B: 张三或李四中的一人去开会。 设P:张三去开会。Q:李四去开会。 原命题可符号化为:P∨Q C: 张三或李四去开会。 设P:张三去开会。Q:李四去开会。 原命题可符号化为:P∨Q D: 张三和李四要么都去开会,要么都不去。 设P:张三去开会。Q:李四去开会。 原命题可符号化为:P↔Q E: 仅当张三去开会,李四才去开会。 设P:张三去开会。Q:李四去开会。 原命题可符号化为:P→Q