logique des propositions
- Domaines
-
- philosophie théorie de la connaissance
- intelligence artificielle
- Dernière mise à jour
Définition :
Logique dont les objets sont des énoncés construits par composition à partir d'énoncés de base, qui sont susceptibles d'être soit vrais, soit faux.
Notes :
En français comme en anglais, les concepts de logique des propositions et de calcul des propositions (propositional calculus) sont souvent confondus, et les termes pour les désigner sont alors utilisés indifféremment.
On dit de la logique propositionnelle que c'est une des logiques les plus simples, mais aussi une des moins expressives.
Dans l'exemple « S'il fait beau et qu'il a neigé ce matin, j'irai skier cet après-midi », qui a la forme A = B et C, il faut qu'à la fois B et C soient vrais pour que A devienne vrai. L'interprétation d'une formule se fait à partir de la valeur de vérité (vrai ou faux) des propositions que contient la formule et de la façon dont elles sont reliées entre elles par les connecteurs logiques.
Termes privilégiés :
- logique des propositions n. f.
- logique propositionnelle n. f.
Traductions
-
anglais
Auteur : Office québécois de la langue française,Terme :
- propositional logic
-
catalan
Auteur : Universitat Autònoma de Barcelona,Terme :
- lògica proposicional n. f.
-
espagnol
Auteurs : Consejo Superior de Investigaciones Cientificas,
Colegio de México,Terme :
- lógica proposicional s. f.
-
portugais
Auteurs : Centro de Linguística da Universidade Nova de Lisboa,
Universidade de São Paulo,Note :
Subárea da inteligência artificial: representação do conhecimento por meio de Lógica.
Terme :
- lógica proposicional s. f.