LOGIC REVIEW WORKSHEET Honors Geometry p: I love honors Geometry q: Ms. Offenhauser is a great teacher r: Ms. Offenhauser likes Algebra s: Algebra is tedious Write the symbolic representation. 1. If I love honors geometry then algebra is tedious. 2. If Ms. Offenhauser is a great teacher or Ms. Offenhauser does not like Algebra, then I love Honors Geometry. 3. Algebra is tedious if I love honors Geometry and Ms. Offenhauser is not a great teacher if Ms. Offenhauser likes Algebra. Write the words for each. 4. ~ p → r 5. ( s ∧ r ) → q 6. ~ (q ∨ p) → (r ∧ s) Write a truth table for the following. 7. ~ ( p ∨ q) → p 8. ( p → q ) ∧ r 9. ((~p ^ q) V (r v q)) ! (p v ~r) 10. Given: ~e ! ~d; d ∨ a; ~(a ∨ b); e ! f Prove: f 11. Given: c ! ~d; f ! e; a ∧ b; d ∨ ~e; a ! c Prove: ~f 12. Given: a ! f; z ∧ a Prove: f 13. Given: p ! g; m ∨ w; w ! ~g; ~m Prove: ~p 14. Given: m ∨ p: x ∨ (w ∨ k); ~q (x ∨ w) ! q; k ! ~m Prove: something about p (either p or ~p) Symbolize the following argument into variables. Use the bold-faced letters as a guide. Then perform a two-column proof for each. 15. Given: Either Pedro is a Pitcher or Sammy is a Hitter. Additionally, we Know that George is very Tall or he likes to sell Barbecues. If George is very Tall then Wayne scored a Goal. If George likes to sell Barbecues then Pedro is not a Pitcher. We all agreed that Wayne did not score a Goal. Prove: Whether Sammy is or is not a Hitter. (h or ~h)
© Copyright 2024