Help with Indirect Proof IP

Logical System

2/4/08

Indirect Proof