014b First Four proof - Symbolic Logic - Natural Deduction
Channel: ulogiq
Date: 2011-08-29

An introduction into doing proofs using the first four rules of inference.

exercises: 
https://docs.google.com/document/d/12WdaTT5Jh-xxJO6zi7HLDfS5MJDpr76C4XZqCcqSir4/edit?hl=en_US

answers: 
https://docs.google.com/document/d/1zSK0aGHytm-sCni-vMO4FKRpDWFcYzowjaNnfy0qUCc/edit?hl=en_US

send questions or comments to:

ulogiq@gmail.com