Prove the principle of replacement for LPC:
PHIL 322—Modal Logic
Homework 5
Friday, November 30
1. Prove the principle of replacement for LPC:
Theorem 0.1 (Principle of Replacement). Let α be any wff, x and y any variables, 〈D,V 〉 any model, and µ any assignment. Then, where ρ is just like µ except that ρ(x) = µ(y), then Vρ(α) = Vµ(α[y/x]).
2. Prove the principle of agreement for LPC:
Theorem 0.2 (Principle of Agreement). If µ and ρ are two assignments that agree on all the free variables in a formula α, then Vµ(α) = Vρ(α).
3. Assuming constant domain semantics, for each formula give a validity proof if it is valid and a countermodel if it is invalid. Indicate whether and how the formulas status would change with varying domains.
a. ♦∀xFx→ ∃x♦Fx
b. �∀x(Fx→ Gx) → (∀x�Fx→ �∀xGx)
c. ∀x(�Fx ∨�Gx) → �∀x(Fx ∨Gx)
d. ♦∀xFx→ ∃x♦Fx
e. (�∀x(Fx→ Gx) ∧ ♦∃xFx) → ♦∃xGx
f. ∃x♦Rzx→ ♦�∃x∃yRxy
1