Friday, October 27, 2006

Elephant Tyranny

(Originally written October 27, 2006 in Book 9)

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