Logique modale

Réponses à toutes vos questions après le Bac (Fac, Prépa, etc.)
JeanFrancois
Messages: 1
Enregistré le: 27 Avr 2020, 20:48

Logique modale

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

Re: Logique modale

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 :

 

Retourner vers ✯✎ Supérieur

Qui est en ligne

Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 64 invités

Tu pars déja ?



Fais toi aider gratuitement sur Maths-forum !

Créé un compte en 1 minute et pose ta question dans le forum ;-)
Inscription gratuite

Identification

Pas encore inscrit ?

Ou identifiez-vous :

Inscription gratuite