Logique
TD n5 : Sémantique de Kripke
Exercice 1 :
Montrer que pour toute structure de Kripke K, pour tout monde αde Ket toute formule φ,
si K, α φ, alors pour tout βα,βφ.
Exercice 2 :
Donner des contre-modèles de Kripke aux formules suivantes (Pet Qsont des variables
propositionnelles) :
1. P∨ ¬P
2. ¬¬PP
3. (PQ)(QP)
4. ¬P∨ ¬¬P
5. ¬(¬P∧ ¬Q)PQ
6. (¬P⇒ ¬Q)(QP)
Exercice 3 :
On dit qu’un connecteur binaire est indépendant d’un ensemble de connecteurs Cs’il
n’existe pas de formule φdont les variables sont Pet Qet ne contenant que des connecteurs
de Ctelle que
`(PQ)φ
soit prouvable en logique intuitionniste.
1a. Montrer que pour toutes formules φet ψ,
` ¬¬(φψ)(¬¬φ∧ ¬¬ψ)et ` ¬¬(φψ)(¬¬φ⇒ ¬¬ψ)
sont prouvables en logique intuitionniste.
1b. Montrer que si n’est pas indépendant de {⊥,,¬,⇒} alors ` ¬¬(φψ)(¬¬φ∨¬¬ψ)
est prouvable en logique intuitionniste.
1c. Donner un contre modèle de Kripke de ¬¬(PQ)⇒ ¬¬P∨ ¬¬Q. Conclure.
On considère la structure de Kripke Ksuivante : elle a trois mondes {ω1, ω2, ω3}avec
ω1ω3et ω2ω3et I(P) = {ω1, ω3},I(Q) = {ω2, ω3}.
ω3:P, Q
ω1:Pω2:Q
2a. Montrer que pour toute formule φne contenant que X,Y,,¬,et , si ω3φalors
ω1φou ω2φ.
2b. Déduire que est indépendant de {⊥,,¬,⇒}.
Exercice 4 :
Dans cet exercice, nous allons voir une autre sémantique de la logique intuitionniste, la
sémantique de Tarski. Dans cette sémantique, les formules sont interprétées comme des
ouverts dans un espace topologique. Prenons par exemple la droite réelle R, munie de la
topologie générée par les segments ouverts ]x, y[avec xR∪ {−∞},yR∪ {+∞} et
x < y. Soit Iune interprétation de Tarski, i.e., une fonction des variables propositionnelles
dans les ouverts de R. On interprète une formule φpar un ouvert φIpar récurrence sur φ:
PI=I(P),
I=,
>I=R,
(φψ)I=φIψI,
(φψ)I=φIψI,
(¬φ)I=intérieur du complémentaire de φI,
(φψ)I= (¬φψ)I.
Un jugement Γ`φest valide dans la sémantique de Tarski si pour toute interprétation de
Tarski I,T
ψΓ
ψIφI.
1. Montrer que les règles de la déduction naturelle intuitionniste sont correctes vis-à-vis de
la sémantique de Tarski.
2. Montrer que `P∨ ¬Pn’est pas valide.
Exercice 5 :
Soit φune formule propositionnelle démontrable en logique classique (ou tautologie). On
note F2l’ensemble ordonné αβ. On appellera structure de base F2toute structure de
Kripke dont l’ensemble ordonné sous-jacent est F2. On note LI +φl’ensemble de formules
démontrables en ajoutant à la déduction naturelle intuitionniste la règle suivante :
`φ[P1ψ1, . . . , Pnψn]
P1, . . . , Pnsont les variables de φet ψ1, . . . , ψnsont des formules quelconques. Par
exemple, LI + (P∨ ¬P)est exactement l’ensemble LC des formules démontrables en logique
classique.
Le but de l’exercice est de démontrer le théorème de Yankov : pour toute tautologie φ,
LI +φ=LC si et seulement si φest réfutée dans une structure de base F2.
1. Montrer que si LI +φ=LC alors φest réfutée dans une structure de base F2.
2. Supposons que φn’a qu’une variable P. Soit Kla structure de base F2telle que I(P) =
{β}. Montrer que si φest réfutée dans Kalors toute structure K0qui satisfait φvérifie que
si pour un certain monde ωde K0,ω /I(P), alors pour tout ω0ωdans K0,ω0/I(P).
3. Déduire que si φest une formule avec une seule variable Pet que si Kréfute φalors
φ` ¬¬PPest valide en logique intuitionniste.
4. Soit φune formule dont les variables sont P1, . . . , Pn. Montrer que si φest réfutée dans
une structure de base F2alors il existe des formules ψ1, . . . , ψnn’ayant que Pcomme
variable et telles que Kréfute φ[P1ψ1, . . . , Pnψn].
5. Déduire le théorème de Yankov.
6. Déduire que si φ1, . . . , φnsont des tautologies et que si LI +φ1. . . φn=LC alors il
existe un i∈ {1, . . . , n}tel que LI +φi=LC.
1 / 2 100%
La catégorie de ce document est-elle correcte?
Merci pour votre participation!

Faire une suggestion

Avez-vous trouvé des erreurs dans linterface ou les textes ? Ou savez-vous comment améliorer linterface utilisateur de StudyLib ? Nhésitez pas à envoyer vos suggestions. Cest très important pour nous !