Example of a Harder Propositional Proof

2/27/06

Example