= Solution
Take two worlds $r<s$ and let $p$ be forced only at $s$. Neither world forces $\neg p$: at $s$ this follows from $s\Vdash p$, while at $r$ the extension $s$ forces $p$. Consequently every extension of $r$ that forces $\neg p$ also forces $p$ vacuously, so
$$
r\Vdash\neg p\to p.
$$
But $r\nVdash p$. The implication clause therefore gives
$$
r\nVdash(\neg p\to p)\to p,
$$
which is a finite <Kripke countermodel> and proves that the formula is not intuitionistically valid.
Back to article page
