Logique modale
Réponses à toutes vos questions après le Bac (Fac, Prépa, etc.)
par JeanFrancois » 27 Avr 2020, 21:07
Bonjour,
Je dois traduire en logique modale les deux phrases suivantes :
- Je ne sais pas s'il est possible que tu viennes.
et
- Bien que cela ne soit pas nécessaire, il est possible que Jean sache que je ne viendrai pas demain.
J'ai traduit la première phrase :
K : savoir
p = tu viens
¬ K ◊p.
Et la deuxième :
K : savoir
p = je viens demain
F : futur
◊K F ¬p ∧ ¬◻K F ¬ p
Qu'en est-il selon vous ?
En vous remerciant de votre aide
-
tournesol
- Membre Irrationnel
- Messages: 1509
- Enregistré le: 01 Mar 2019, 20:31
-
par tournesol » 28 Avr 2020, 13:07
Réponse de Candide(je ne connais rien à la logique modale)
F ne me parait pas pertinent car "je ne viens pas demain" et "je ne viendrai pas demain" ont le même sens mais diffèrent par une erreur de syntaxe non signifiante.
K:Jean sais p:je viens demain
Donc j'écrirais
Si les parenthèses sont autorisées , j'écrirais cela :
Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 64 invités