Unformatted text preview: message. b) To be a citizen of this country it is suﬃcient that you be born in Canada. c) You will ﬁnd your textbook to be a useful reference should you choose to keep it. d) For the Canadiens to win the Stanley Cup it is necessary that their goalie play well. e) That you got the job implies you had the best credentials. + The logical operators ↑ ( nand ), ↓ ( nor ), and ± ( nimp ) are deﬁned as follows. P Q P ↑ Q P ↓ Q P ± Q T T F F F T F T F T F T T F F F F T T F 2-4. Let p, q, r be the propositions p : You have the ﬂu ; q : You will suﬀer ; r : You will recover . Express each of these propositions as an English sentence. i) p → q iii) q ↑ r v) ( p ↑ r ) ∨ ( q ↑ r ) ii) q ⊕ r iv) p ∨ q ∨ r vi) ( p ∧ q ) ∨ ( r ± q ) 2-5. The eight binary logical operators are ∧ , ∨ , → , ↔ , ↑ , ↓ , ± , ⊕ . For each binary logical operator $ , determine whether $ satisﬁes ( p $ q ) ∧ ( q $ p ) ≡ p ↔ q. 10-Sep-2010, 11:35 am...
View Full Document
This note was uploaded on 11/15/2010 for the course ENCS COMP 232 taught by Professor Ford during the Fall '10 term at Concordia University Irvine.
- Fall '10