This preview shows page 1. Sign up to view the full content.
Unformatted text preview: ∀ x ( P ( x ) ⇒ Q ( x )) and ( ∀ x P ( x )) ⇒ ( ∀ x Q ( x )) . 1...
View Full Document
This note was uploaded on 06/21/2011 for the course MATHEMATIC 135 taught by Professor Phystago during the Spring '11 term at Waterloo.
- Spring '11