Thursday, February 18, 2010

Logical Proof Contest

Using the 8 basic inferential rules, solve the problem: Prove ~J