This preview shows page 1. Sign up to view the full content.
Unformatted text preview: establish a biconditional. One subproof establishes P Q, and the other establishes Q P. That allows us to assert the biconditional. Note that we dont actually write the conditionals; it is the subproofs that we cite as support. Please note also that the due date for PS4 is Friday, Feb 1 ....
View Full Document
- Winter '07
- Computer Science