Scribd
Importer
58 vues2 pages

LM 1 Ex

Le document présente des exercices sur la logique modale, incluant la formalisation d'affirmations en logique aléthique, temporelle et épistémique. Il demande également de vérifier la validité des formules à l'aide de structures de Kripke et de l'outil LoTREC. Enfin, il aborde les implications de la validité et de la satisfaisabilité dans différents systèmes modaux comme K, KT, S4 et S5.

Transféré par

chtiouimariaminf01
Copyright
© © All Rights Reserved
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats PDF, TXT ou lisez en ligne sur Scribd
58 vues2 pages

LM 1 Ex

Le document présente des exercices sur la logique modale, incluant la formalisation d'affirmations en logique aléthique, temporelle et épistémique. Il demande également de vérifier la validité des formules à l'aide de structures de Kripke et de l'outil LoTREC. Enfin, il aborde les implications de la validité et de la satisfaisabilité dans différents systèmes modaux comme K, KT, S4 et S5.

Transféré par

chtiouimariaminf01
Copyright
© © All Rights Reserved
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats PDF, TXT ou lisez en ligne sur Scribd

DIC9305 Hiver 2018

Logique modale I
Exercices

1. Formalisez les affirmations suivantes en logique modale.


(a) Logique aléthique.
— P : la porte est ouverte,
— C : le chien s’enfuit
— Formalisez :
i. Nécessairement, si la porte est ouvert, le chien s’enfuit.
ii. Il est possible que la porte soit ouverte.
iii. Si on a les deux propriétés précédentes, alors il est possible que le chien
s’enfuit.
iv. Si on a les deux premières propriétés, alors le chien s’enfuit.
(b) Logique temporelle.
— Q : quelqu’un est présent dans la pièce.
— J : c’est le jour (donc, pas la nuit !).
— Formalisez :
i. Il y a toujours quelqu’un dans la pièce durant le jour.
ii. À un certain moment il y aura quelqu’un dans la pièce.
iii. Si on a la première propriété, on a la deuxième.
iv. Si c’est le jour à un certain moment, on a la propriété précédente.
(c) Logique épistémique.
— V : le verre est vide.
— Formalisez :
i. L’agent sait que le verre est vide.
ii. L’agent sait que le verre n’est pas vide.
iii. L’agent ne sait pas que le verre n’est pas vide.
iv. On a la première ou la deuxième propriété.
v. Si on a la troisième, on a la première propriété.
vi. Si on a la première propriété, on a la troisième.
2. Pour chacune des formules de l’exercice précédent, déterminez, en considérant des
structures de Kripke, si c’est une tautologie ou non. Vous pouvez vérifier la véracité
d’une formule sur un monde d’une structure de Kripke à l’aide de l’outil Modal Logic
Playground rkirsling.github.io/modallogic/.

c 2009-2018 Roger Villemaire, [email protected] 1


3. Pour chacune des formules de l’exercice 1, vérifiez maintenant s’il s’agit ou non de
tautologie en utilisant LoTREC (avec la logique modale KT) pour construire une ré-
futation.
4. Nous avons vu que les logiques modales K, KT, S4 et S5 sont caractérisées par les
règles K, K+T, K+T+4 et K+T+4+B, respectivement. D’un autre côté pour avoir
la complétude pour K, KT, S4 ou S5, il suffit de considérer respectivement toutes les
structures de Kripke, les structures réflexives, réflexives et transitives et finalement
réflexives, transitives et symétriques. Pouvez-vous en tirer les conclusions suivantes ?
(a) Une formule valide dans l’un de K, KT, S4 ou S5 sera nécessairement valide dans
tous les système modaux qui le suivent dans la même liste.
(b) Une formule satisfaisable dans l’un de K, KT, S4 ou S5 sera nécessairement sa-
tisfaisable dans tous les systèmes modaux qui le précèdent dans la même liste.
5. Pour chacune des formules suivantes et chacun des systèmes K, KT, S4 et S5 déterminez
la réponse aux deux questions suivantes.
— Est-ce que cette formule est satisfaisable dans ce système ?
— Est-ce que cette formule est valide (une tautologie) dans ce système ?
(a) P ∧ ¬P
(b) P ∧ ♦♦¬P
(c) P ∧ ♦¬P
6. Vérifiez vos réponses à la question précédente avec l’outil LoTREC. Il est important
de bien comprendre le tableau retourné par l’outil ainsi que sa signification.

c 2009-2018 Roger Villemaire, [email protected] 2

Vous aimerez peut-être aussi