ReviewFinal - Math 1190 Review for the Final Examination...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: Math 1190 Review for the Final Examination The final examination covers Sections 1.1 to 1.7, 2.1 to 2.4, 3.4 to 3.8, and 4.1 to 4.3 of the textbook, Exercises, Tests 1 and 2. You need to know 1. Section 1.1: propositions; logical operators ( ¬ , ∨ , ∧ , ⊕ , → , ↔ ) and precedence; converse, contrapositive, inverse; truth table. Questions 31 and 33 on page 19. 2. Section 1.2: logical equivalence, tautology, contradiction; proofs. Questions 9, 11, 17, 23, 29 and 33 on page 28. 3. Section 1.3: predicates; quantifiers ( ∀ x , ∃ x ), domains, precedence and truth values; logical equivalence; negating quantifiers. Questions 11, 13, 35, 43 and 45 on page 47. 4. Section 1.4: nested quantifiers (Table 1 on page 53) and their nega- tion. Questions 27, 31, 39 and 45 on page 58. 5. Section 1.5: argument forms, validity; rules of inference (propositions and involving quantifiers). Questions 19, 25, 27 and 29 on page 72....
View Full Document

This note was uploaded on 04/06/2010 for the course LAPS MATH 1190 taught by Professor Adachan during the Spring '10 term at York University.

Page1 / 2

ReviewFinal - Math 1190 Review for the Final Examination...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online