有命题公式P,P是两个条件 P,¬P 的有效结论
举一反三
- 命题公式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)
- 命题公式p→q的主析取范式是() A: ¬p∨q B: p∨q C: (¬p∧¬q)∨(¬p∧q)∨(p∧q) D: (¬p∧¬q)∨(p∧¬q)∨(p∧q)
- 下面哪个命题公式是重言式( )。 A: (p→q)∧(q→r) B: (p∧q)→p C: (¬p∨q)∧¬(p∧¬q) D: ¬(p∨q)∧p
- 命题公式(¬P→Q)→(Q→¬P)的类型是