Accueil |

Logique modale

La logique modale est une logique à  laquelle on a ajouté des modificateurs, qu'on pourrait comprendre en grammaire comme des adverbes.

Par exemple, je peux modifier la proposition « Il pleut Â» comme ceci :

J'ai modifié cette proposition respectivement avec les modes possible, démontré que ne pas et n'est pas permis.

Sommaire
1 Différentes logiques modales
2 Voir aussi

Différentes logiques modales

Il existe plusieurs types de logiques modales, dont les modes sont :

Logique modale classique

Il est clair que nous pouvons exprimer les quatre opérateurs à  l'aide d'un seul (ici la nécessité) et de la négation. Ainsi :

Une proposition nécessaire ne peut pas être fausse sans impliquer de
contradiction, a contrario d'une proposition contingente qui peut impliquer une contradiction.

Théorèmes de logique modale

Problèmes de logique modale

à€ compléter

Voir aussi