Symbolic Logic: Conditional/Indirect Proofs and Proving Theorems

Question 1

Question 2

Question 3

This will be the end of this little intro into symbolic logic, unless you guys wanna go on to the next thing which would be predicate logic, which, I still might do depending on how bored I am this summer. 🙂

If you guys have any questions or want more examples, give us a shout in the comments or use our contact form. Hope you guys found this helpful!

Lieutenant out!