Intended Learning Outcomes

1. Define tautology, contradiction and contingency

2. Define logical equivalence
3. Prove the validity of an argument
4. Apply logic in logic circuits
Determine whether (¬p ∧ (p → q)) → ¬q is a tautology, contradiction or contingency.
Determine whether [(p → q) ∧ (q → r)] → (p → r) is a tautology, contradiction or contingency
Show that ¬(p ↔ q) and ¬p ↔ q are logically equivalent.
Show that (p → q) ∧ (p → r) and p → (q ∧ r) are logically equivalent.
If Socrates is human, then Socrates is mortal.
Socrates is human.
∴ Socrates is mortal.
If I go swimming, then I will stay in the sun too long. If I
stay in the sun too long, then I will sunburn. Therefore, if
I go swimming, then I will sunburn
The circuit for (p ∨ ¬r) ∧ (¬p ∨ (q ∨ ¬r)).

(~p ∧ ~q) ~(q ∧r)