Concept information
Terme préférentiel
calcul des propositions
Définition
-
Le calcul des propositions ou calcul propositionnel, (ou encore logique des propositions) fait partie de la logique mathématique. Il a pour objet l'étude des relations logiques entre « propositions » et définit les lois formelles selon lesquelles les propositions complexes sont formées en assemblant des propositions simples au moyen des connecteurs logiques et celles-ci sont enchaînées pour produire des raisonnements valides. Il est un des systèmes formels, piliers de la logique mathématique dont il aide à la formulation des concepts. Il est considéré comme la forme moderne de la logique stoïcienne.
(Wikipedia, L'Encylopédie Libre, https://fr.wikipedia.org/wiki/Calcul_des_propositions)
Concept générique
Concepts spécifiques
Synonyme(s)
- calcul propositionnel
- logique des propositions
Traductions
-
anglais
-
sentential calculus
-
sentential logic
-
statement logic
URI
http://data.loterre.fr/ark:/67375/PSR-B4F577F5-H
{{label}}
{{#each values }} {{! loop through ConceptPropertyValue objects }}
{{#if prefLabel }}
{{/if}}
{{/each}}
{{#if notation }}{{ notation }} {{/if}}{{ prefLabel }}
{{#ifDifferentLabelLang lang }} ({{ lang }}){{/ifDifferentLabelLang}}
{{#if vocabName }}
{{ vocabName }}
{{/if}}