Introduction to Logic
Harry J. Gensler
S-Rules pg. 61
~(I∨~V) = ~I, V
(~O∨~X) = No Conclusion
(F⊃~G) = No Conclusion
~(F⊃M) = F, ~M
(~D·~Z) = ~D, ~Z
(~K∨B) = No Conclusion
I-Rules
~(P·Q)
P
Therefore, ~Q
~(P·Q)
Q
Therefore, ~P
(P∨Q)
~Q
Therefore, Q
(P∨Q)
~Q
Therefore, P
(P⊃Q)
P
Therefore, Q
(P⊃Q)
~Q
Therefore, ~P
Class Notes (RAA Proofs)
[Editor's note: There are a whole lot of letters and symbols that I simply don't feel like typing. They made little sense to me in 2006 and even less in 2017. The gibberish goes on for two and a half pages until the heading "Trees Method". Under this heading I wrote (A⊃B), (B⊃C), ~(A⊃C) and drew a picture. Here is that picture and hence, the title of this particular post.]
No comments:
Post a Comment