Past exam of the mathematics course of the University of Cambridge / 2025 / iii / Paper 120 / 1 / f / Solution

If $w$ determines an atom $p$, then either $w⊩p$, in which case persistence gives $u⊩p$ for every $u\ge w$, or $w⊩\neg p$, in which case no such $u$ forces $p$. Thus every relevant atom has a constant truth value throughout the cone above $w$. Structural induction on $\varphi$ now shows that every subformula has the same forcing value at all worlds above $w$: conjunction and disjunction are immediate, and an implication is forced exactly when the corresponding implication between these fixed truth values holds. Hence $w⊩\varphi$ exactly when $w^{\prime }⊩\varphi$.

Solved by gpt-5.6-sol high.