下列推理错误的是?
A: p,q═>p∨q
B: p→q,¬q═>p
C: (p→q)∧p═>¬q
D: ¬(p→q)═>¬q
A: p,q═>p∨q
B: p→q,¬q═>p
C: (p→q)∧p═>¬q
D: ¬(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)
- 计算(¬P → Q)←→ R主析取范式规范正确的是 ——————— 。 A: (P ∧ Q ∧ ¬R) ∨ (P ∧ ¬Q ∧ R) ∨ (¬P ∧ Q ∧ R) ∨ ( ¬P ∧ ¬Q ∧ R) B: (P ∧ Q ∧ ¬R) ∨ (P ∧ ¬Q ∧ R) ∨ (¬P ∧ Q ∧ R) ∨ ( ¬P ∧ ¬Q ∧ R) C: ( P ∧ Q ∧ R)∨ (P ∧ ¬Q ∧ R)∨ (¬P ∧ Q ∧ R) ∨ (¬P ∧ ¬Q ∧ ¬R) D: (¬P ∧ ¬Q ∧ ¬R) ∨ (¬P ∧ Q ∧ R) ∨ (P ∧ ¬Q ∧ R) ∨ ( P ∧ Q ∧ R)
- 命题公式p→q的主合取范式是() A: ¬p∨q B: p∨q C: (¬p∧¬q)∨(¬p∧q)∨(p∧q) D: (¬p∧¬q)∨(p∧¬q)∨(p∧q)
- 命题公式p→q的主析取范式是() A: ¬p∨q B: p∨q C: (¬p∧¬q)∨(¬p∧q)∨(p∧q) D: (¬p∧¬q)∨(p∧¬q)∨(p∧q)