This preview shows page 1. Sign up to view the full content.
Unformatted text preview: Proving (6.3.A)P (Q R) (P Q) (P R): (P (Q R)) = (3.59) Alt. Definition of Implication (P (Q R)) = (3.45) Distributivity of over (P Q) (P R) = (3.59) Alt. Definition of Implication (P Q) (P R) 1 ...
View Full Document
This note was uploaded on 03/18/2012 for the course COMP SCI 1FC3 taught by Professor Kahlwolfram during the Spring '11 term at McMaster University.
- Spring '11