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