下列属于逻辑等值规则的是()。
A: p∧q∴q
B: p→qr→sp∨r∴q∨s
C: p→(q∧q)∴p
D: (p→q)(p∧q)
A: p∧q∴q
B: p→qr→sp∨r∴q∨s
C: p→(q∧q)∴p
D: (p→q)(p∧q)
D
举一反三
- 下列推理形式中，有效的是 A: (p∨～q)∧p→～q B: (p→～q)∧q→～p C: (～p←q)∧q→～p D: (p∨～q)∧q→～p E: [(p→q)∧(r→s)∧(～p∨～r)]→(～q∨～s)
- 下列推理形式中，无效的有（）。 A: （（p∨～q）∧q）→～p B: （（p∧q）∧r）→（p∧r） C: （（～p→q）∧q）→～p D: （（p→q）∧（r∧p））→q E: （p→q）∧（r→s）∧（q∨s））→（p∨r）
- 下面四组公式中,()组公式不等值。 A: ¬(p→q),p∧¬q B: p↔q,(p→q)∧(q→p) C: p→(q∨r),¬p∧(q∨r) D: p→(q∨r),(p∧¬q)→
- （多选）下列等值式成立的有（）。 A: P→Q⇔¬Q→¬P B: P∨（P∧R）⇔R C: P∧（P→Q）⇔Q D: P→（Q→R）⇔（P∧Q）→R
- 下列命题公式中,逻辑等值式成立的是()。 A: p↔q=¬q↔¬p B: p→q=q→p C: ¬(p∨q)=¬p∨¬q D: p∧(q∨p)=q
内容
- 0
下列命题公式中，逻辑等值式成立的是( )。 A: p→q ⇔ ¬p∨q B: p→q ⇔ q→p C: ¬(p∨q) ⇔ ¬p∨¬q D: p∧(q∨p) ⇔ q
- 1
～（p→（q∨r））等值于（）。 A: （p∨（～q∧r）） B: （p∧（～q∧～r）） C: （p∧（～q∨～r）） D: （p∨（～q∨～r）
- 2
以下基本推理规则错误的是（）。 A: P→Q，Q→R ⇒ P→R B: P⋁Q，P→R，Q→R ⇒ R C: P ⋀ Q ⇒ P D: P →Q , Q ⇒ P
- 3
下列演绎推理式中,无效式为( ) A: (p←﹁q)∧q├﹁p B: ( ﹁p→q)∧﹁p├q C: (p∨q)∧﹁p├q D: (要么﹁p要么q)∧﹁p├<br/>q E: (p→q)∧(q→﹁r)∧(﹁r→s)├(p→s)
- 4
公式（p∨q）→r的主合取范式是（ ） A: (P∨Q∨┐R)∧(┐P∨┐Q∨R)∧ (P∨┐Q∨R) B: (┐P∨Q∨R)∧(┐P∨┐Q∨R)∧ (P∨┐Q∨R) C: (P∨┐Q∨┐R)∧(┐P∨┐Q∨R)∧ (P∨┐Q∨R) D: (┐P∨Q∨┐R)∧(┐P∨┐Q∨R)∧(┐P∨┐Q∨┐R)