Logique modale

Réponses à toutes vos questions après le Bac (Fac, Prépa, etc.)
wekugoli
Messages: 1
Enregistré le: 26 Aoû 2022, 06:35

Logique modale

par wekugoli » 18 Oct 2022, 11:45

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



 

Retourner vers ✯✎ Supérieur

Qui est en ligne

Utilisateurs parcourant ce forum : Toto256 et 8 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