017b 10rulesProof  - Symbolic Logic - Natural Deduction
Channel: ulogiq
Date: 2011-10-20

NOTE: i know that i made a mistake in justifying premise 18. I justified it as "10, 14, CJ" whereas it should have been justified as "8, 14, CJ" if you just replace the "10" with an "8" the logic will be valid.

exercises:
https://docs.google.com/document/d/1K6pTv6Xk5sQeiKbOajmYXGBhuL9VW9Veq_yejx5N5a4/edit?hl=en_US

answers:
https://docs.google.com/document/d/1UPMEzoji209b0Jb57fP0uR3BGLAgJNcml_-jLRxAoxE/edit?hl=en_US

send questions or comments to:

ulogiq@gmail.com