Bonjour,
J'ai une question par rapport au modèle de Kripke que vous trouverez ci-dessous.
Quel raisonnement faut-il effectuer pour savoir si les formules ¬¬P et ¬¬S sont réalisées dans un modèle de Kripke ou autrement dit, comment savoir si les formules sont forcées en tout noeud de ce modèle.
Je pense que P est réalisé, ¬P ne l'est pas et je pense que S et ¬S ne sont pas réalisés. Est-ce correct?
Par contre en ce qui concerne la double négation, je ne comprend pas trop.
Merci d'avance de votre aide!