PHIL1012 INTRODUCTION TO LOGIC
PROBLEM SET 5 (S2 2021)
Submit your answers to Problem Set 5 via Canvas before 23:59, Wednesday of Week 8.
1. Translate the following into MPL:
Only the good die young, but no one lives forever.
2. In the following wff, identify (i) the main operator, (ii) all of the free variable occurrences,
and (iii) all of the non-vacuous quantifiers.
∃w(∀x(Fw ∨ Cy)) ∧ ((Fx ∧Gt) ↔ ∀vY v)
1