Bonjour,
je suis en train d'essayer de comprendre quelque chose à la théorie des modèles, et à la la logique en général. Mais c'est pas facile...
Par exemple, je viens de lire qu'en logique intuitionniste:
¬A <=> ¬¬¬A est vrai.
Mais: A <=>¬¬A n'est pas vrai.
Là j'avoue que ça me dépasse... Vous pourriez m'expliquer?
Ha et, pour savoir si je suis sur la bonne voie:
A <=>¬¬A est vrai en logique classique non?
-----