This preview shows page 1. Sign up to view the full content.
Unformatted text preview: (q r)] De Morgans (DeM) (p v q) :: ( p q) (p q) :: ( p v q) Exportation (Exp) [(p q) r] :: [p (q r 29] Implication (Impl) (p q) :: ( p v q) Equivalence (Equiv) (p q) :: [(p q) (q p)] (p q) :: [(p q) v ( p q) Distribution (Dist) [p (q v r)] :: [(p q) v (p r)] [p v (q r)] :: [(p v q) (p v r)] Absorption (Abs) (p q) :: [p (p q)] Implication Denial (ID) (p q) :: (p q)...
View Full Document
This note was uploaded on 04/28/2008 for the course PHILOSOPHY philosophy taught by Professor T.downing during the Spring '08 term at Western Washington.
- Spring '08