Logique des propositions/Introduction
Introduction à la logique des propositions
modifierLa logique est utilisée dans de nombreux domaines comme la recherche sur les fondements des mathématiques, raisonnement et philosophie, sciences du langage, et informatique.
La logique des propositions est une sous-partie de la Logique :
Cependant elle est nécessaire aux autres types de logiques, c’est en quelque sorte la base de la logique.
La logique des propositions est un système formel, qui comporte :
- une syntaxe pour produire une e.b.f. (expression bien formée) ou reconnaître si une expression est une e.b.f..
- une sémantique pour interpréter les e.b.f.; c’est donc un calcul.
La logique des propositions est dite vérifonctionnelle, ce qui signifie qu'une proposition ne peut avoir que deux valeurs de vérité : VRAI ou FAUX.
Le principe est le suivant : On va calculer la valeur de vérité d'un énoncé complexe à partir de la valeur de vérité de ses composants.
