鐗堥�昏緫瀛﹁�惧悗涔犻�樼瓟妗?- 鐧惧害鏂囧簱

∧

充分条件假言命题等值推理）

24．?命题等值推理）

25．（（ p → r）∧ （q → r ）） 26．（（ p → q）∧ （p → r ））?q）∨（p∨q）→ r（二难推理简单构成式）?p∧q）（负

p→p （负负

q∨

∧（

∧（破坏式）

27．（（ p → r）∧ 28．（（ p → r）∧））r）→?

p∨q）→ （r∨s）（二难推理复杂构成式）s）→ （p（二难推理简单

r∨

p∨

（q → s ） ∧（

（q → s ） ∧（29．（（ p → r）∧（q → s ））30．（（ p → r）∧（q → s ））q）（二难推理复杂破坏式）

p∧q）→ （r∧s）（假言联言推理肯定式）s）→ （r∧

p∧

∧（

∧（ 31．（（ p∧q）→ r）→（（ p ∧→?q）（假言联言推理否定式）q）（反三段论）

r）