LOGIC REVIEW WORKSHEET

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)