下列属于逻辑等值规则的是()。
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)
举一反三
- 下列推理形式中，有效的是 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