This preview has intentionally blurred sections. Sign up to view the full version.View Full Document
Unformatted text preview: p ⊃ q p if q q is sufficient for p q ⊃ p p provided q q is sufficient for p q ⊃ p p guarantees q p is sufficient for q p ⊃ q p implies q p is sufficient for q p ⊃ q p unless q ~q is sufficient for p ~q ⊃ p...
View Full Document
- Fall '08
- Necessary and sufficient condition, If and only if, p⊃q p⊃q, q⊃p p⊃q p⊃q, p⊃q p⊃q p⊃q, Cha r ts