Inscription / Connexion Nouveau Sujet
Niveau autre
Partager :

Modèle de Kripke

Posté par
Nric
05-01-08 à 12:38

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!

Modèle de Kripke

Posté par
Nric
re : Modèle de Kripke 07-01-08 à 19:11

Personne ne peut m'aider?



Vous devez être membre accéder à ce service...

Pas encore inscrit ?

1 compte par personne, multi-compte interdit !

Ou identifiez-vous :


Rester sur la page

Inscription gratuite

Fiches en rapport

parmi 1699 fiches de maths

Désolé, votre version d'Internet Explorer est plus que périmée ! Merci de le mettre à jour ou de télécharger Firefox ou Google Chrome pour utiliser le site. Votre ordinateur vous remerciera !