This preview shows page 1. Sign up to view the full content.
Unformatted text preview: a=>c mp used formulas 3 and 1 (a implies c) ¬a QED...
View Full Document
This note was uploaded on 03/04/2012 for the course CS 130 taught by Professor Yang during the Spring '08 term at Cal Poly Pomona.
- Spring '08