1. (这道不能用条件或间接论证)
IF (A.B) THEN ~C,
~(D OR ~E) ≡ ～c
／结论： if b then （if a then e）
－－－－－
2.(这道只能用间接论证）
A⇒[B⇒(C.~D)],
(B OR E)⇒(D OR E),
结论： a⇒[B⇒(C.E)]
------
3.~A⇒(B.C),(A OR C)⇒(D.~E)/结论:~E
4.~[D.~(E OR B)],~(E OR F), C⇒(E OR A)/结论：~(~A.~B) OR ~(C OR D)
5.证明以下为重言句
P⇒[Q ≡(P⇒Q)]