Logique des propositions/Introduction
Introduction à la logique des propositions[modifier | modifier le wikicode]
La 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.
