下列式子正确的是（ ）
A: A．P ®Q Û Q ®P
B: P ®Q Û﹁P∨Q
C: P ®Q Û﹁Q∨P
D: P ®Q Û﹁Q∨﹁P
A: A．P ®Q Û Q ®P
B: P ®Q Û﹁P∨Q
C: P ®Q Û﹁Q∨P
D: P ®Q Û﹁Q∨﹁P
B
举一反三
- Q∨ù((P®Q)∧P)ÛQ∨ù((ùP∨Q)∧P)Q∨¬((P→Q)∧P)⇔Q∨¬(¬P∨Q)∧P)Q∨((P∨Q)∧P)
- 式子((﹁P∨﹁Q)∧( ﹁P∨T))的对偶式是（ ） A: ((P∨Q)∧( P∨F)) B: ﹁((﹁P∧﹁Q)∧( ﹁P∧F)) C: ﹁((﹁P∧﹁Q)∨( ﹁P∧Q)) D: ((﹁P∧﹁Q)∨(﹁P∧F))
- 下列推理中，有效的是 （ ） A: p ← ﹁q ﹁q ________ p B: ﹁p∨﹁q ﹁P _______ q C: ﹁p∨q ﹁q ______ ﹁p D: ﹁p → ﹁q ﹁q __________ ﹁p E: ﹁p ← ﹁q p ______________ ﹁q
- ┐(P∨Q) ←→(P∧Q)的主析取范式是（ ） A: (Q∧┐P)∨(P∧＞Q) B: (┐P∧Q)∨(P∧┐Q) C: (Q∧P)∨(P∧┐Q) D: (┐P∨Q)∧(Q∧┐P)
- ┐(P∨Q) ←→(P∧Q)的主析取范式是: (Q∧P)∨(P∧┐Q)|(Q∧┐P)∨(P∧＞Q)|(┐P∧┐Q)∨(P∧Q)|(┐P∨Q)∧(Q∧┐P)
内容
- 0
6、以下哪个步骤是P⟷Q⇔(﹁P∨Q)∧(﹁Q∨P)等价证明的正确步骤 P⟷Q 1、⇔( P→Q)∧( Q→P) 2、⇔(﹁P∨Q)∧( Q→P) 3、⇔(﹁P∧Q)∨( Q→P) 4、⇔(﹁P∨Q)∨( Q→P) 5、⇔(﹁P∨Q)∧(﹁Q∨P)
- 1
﹁（P∨Q）↔（P∧Q）求主析取范式: （Q∧P）∨（P∧﹁Q）|（Q∧﹁P）∨（P∧﹁Q）|（﹁P∧﹁Q）∨（P∧Q）|（﹁P∨Q）∧（Q∧﹁P）
- 2
下列判断中违反矛盾律要求的是（ ）。 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)
- 3
在下列充分条件推理形式中，有效的是 A: (p→﹁q)∧﹁p→q B: (p→﹁q)∧q→﹁p C: (﹁p→q)∧p→﹁q D: (﹁p→﹁q)∧q→ p E: (﹁p→q)∧q→﹁p
- 4
下列假言推理为有效式的有（）。 A: （﹁p→q）∧p├﹁q B: （p→﹁q）∧q├﹁p C: （﹁p←﹁q）∧﹁p├q D: （p←﹁q）∧﹁q├p E: （p→﹁q）∧p├﹁q