sous-cas 1 K, w
KPK
|=p: soit ↑w={w0|w≤Kw0}et soit K∩ ↑ wle mod`ele Kripke induit par
Ksur ↑w. Alors I∪ {p}
QBF
|=ϕet K∩ ↑ wforce I∪ {p}sur P \ (bv(ϕ)∪ Q). Par r´ecurrence,
K∩ ↑ w, w
KPK
|=ϕ∗, et par cons´equent K, w
KPK
|=ϕ∗.
sous-cas 2 K, w
KPK
|=¬p: similaire au sous-cas 1. Soit ↑w={w0|w≤Kw0}et soit K∩ ↑ w
le mod`ele Kripke induit par Ksur ↑w. Alors I\ {p}
QBF
|=ϕet K∩ ↑ wforce I\ {p}sur
P \ (bv(ϕ)∪ Q). Par r´ecurrence, K∩ ↑ w, w
KPK
|=ϕ∗, et par cons´equent K, w
KPK
|=ϕ∗.
Cas ∃p.ϕ avec nquantificateurs dans ϕ. Soit wtel que K, w |=ϕ∗→qnet montrons que K, w |=
(p→qn)∨(¬p→qn). Par hypoth`ese, I
QBF
|=∃p.ϕ, ce qui nous am`ene `a nouveau `a deux sous-cas.
sous-cas 1 I∪ {p}
QBF
|=ϕ: montrons que K, w
KPK
|=p→qn. Soit w0≥Kwtel que K, w0KPK
|=p
et montrons que K, w0KPK
|=qn. On a K∩ ↑ w0force I∪ {p}sur P \ (bv(ϕ)∪ Q), puis par
r´ecurrence, K∩ ↑, w0KPK
|=ϕ∗, et par cons´equent K, w0KPK
|=ϕ∗. Par hypoth`ese K, w
KPK
|=ϕ∗→qn
et w0≥w, donc K, w0KPK
|=qn.
sous-cas 2 I\ {p}
QBF
|=ϕ: similaire au sous-cas 1. Montrons que K, w
KPK
|=¬p→qn. Soit
w0≥Kwtel que K, w0KPK
|=¬pet montrons que K, w0KPK
|=qn. On a K∩ ↑ w0force I\ {p}sur
P \ (bv(ϕ)∪ Q), puis par r´ecurrence, K∩ ↑, w0KPK
|=ϕ∗, et par cons´equent K, w0KPK
|=ϕ∗. Par
hypoth`ese K, w
KPK
|=ϕ∗→qnet w0≥w, donc K, w0KPK
|=qn.
Question 3
Montrer que pour toute formule QBF ϕbien quantifi´ee, pour tout I⊆ P, si I6
QBF
|=ϕ, alors il existe un
mod`ele de Kripke K= (W,≤K, αK) et un monde w0∈ W tels que
—Kforce Isur P \ (bv(ϕ)∪ Q), et
—K, w06
KPK
|=ϕ∗.
On raisonne par r´ecurrence sur le nombre de quantificateurs de ϕ
Cas ϕsans quantificateur On pose K= ({w0},=, α) avec α(w0) = I. Par construction, et no-
tamment du fait que w0est le seul monde de K,Kforce Isur P \ (bv(ϕ)∪ Q) = P \ Q. Pour la
mˆeme raison, on montre ais´ement par r´ecurrence sur ψque K, w
KPK
|=ψssi I
CL
|=ψ. En particulier,
K, w 6
KPK
|=ϕ.
Cas ∀p.ϕ Par d´efinition, I∪ {p} 6|=ϕou I\ {p} 6|=ϕ.
— Supposons I∪ {p} 6
QBF
|=ϕ. Par r´ecurrence, il existe un mod`ele de Kripke K= (W,≤K, αK) et
un monde w0∈ W tels que Kforce I∪ {p}sur P \ (bv(ϕ)∪ Q) et K, w06
KPK
|=ϕ∗. Montrons
que Ket w0conviennent aussi pour ∀p.ϕ et I.
1. Comme Kforce I∪ {p}sur P \ (bv(ϕ)∪ Q), Kforce Isur P \ (bv(∀p.ϕ)∪ Q).
2. Comme ϕest bien quantifi´ee, K, w0
KPK
|=p, donc K, w0
KPK
|=p∨ ¬p, et finalement K, w06
KPK
|=
(p∨ ¬p)→ϕ∗.
— Le cas I\ {p} 6
QBF
|=ϕest similaire.
3