设P：小王下午去看电影；Q：小王下午去游泳，则下午小王或去看电影或去游泳；他没去看电影；所以，他去游泳了的推理形式正确得是 。
A: (P∨Q)∧￢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
举一反三
- 构造下面推理的证明: 下午张三或去看电影或去游泳。他没有去看电影，所以，他去游泳了。证明过程：第一步：命题符号化设 P：下午张三去看电影； Q：下午张三去游泳；则： 下午张三或去看电影或去游泳。可符号化为 (P∧￢Q)∨(￢P∧Q) 他没有去看电影。可符号化为 （ ） 他去游泳了。可符号化为（ ）第二步写出推理论证的形式：(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)
- 选小王或小李中的一人当班长。(P:选小王当班长,Q:选小李当班长) A: P∨Q B: (P∧￢Q)∨(￢P∧Q) C: (￢P→￢Q)∨￢Q
- 【单选题】命题公式(p→q)∧q→p的主析取范式为________。 A. (￢p∧￢q)∨(￢p∧q)∨(p∧￢q) B. (￢p∧￢q)∨(￢p∧q)∨(p∧q) C. (￢p∧￢q)∨(p∧￢q)∨(p∧q) D. (￢p∧q)∨(p∧￢q)∨(p∧q)
- P→(Q∧P)的主析取范式是（ ）。 A: ￢P∨Q B: ￢P∧Q C: (￢P∧Q)∨(￢P∧￢Q)∨(P∧Q) D: (￢P∨Q)∧(￢P∨￢Q)∧(P∨Q)