Logique

La logique est à l’intersection de l’informatique, des mathématiques et de la philosophie.


Calcul des propositions Syntaxe Sémantique Preuve
Logique modale Syntaxe et sémantique Systèmes logiques Différentes logiques modales