CS计算机代考程序代写 PHIL1012 INTRODUCTION TO LOGIC

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