Forum de Mathématiques: Maths-Forum

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...