S-Rules, I-Rules and some extended inferences

(Originally written October 29, 2006 in Book 9)

[5 logic problems and answers that may or may not be right]

S-Rules (simplifying)
P·Q --> P, Q
~(P∨Q) --> ~P, ~Q
~(P⊃Q) --> P, ~Q

I-Rules (inferring)

~(P·Q), P --> ~Q
~(P·Q), Q --> ~P
(P∨Q), ~P --> Q
(P∨Q), ~Q --> P
(P⊃Q), P --> Q
(P⊃Q), ~Q --> ~P

[5 more logic problems. Same caveat as above]

Extended inferences

~((C·D)⊃(E⊃F)) --> (C·D), ~(E⊃F)
((X⊃Y)·(F≡R)) --> (X⊃Y), (F≡R)

[5 more logical problems]