Concept information
Terme préférentiel
propositional calculus
Définition(s)
-
Propositional calculus is a branch of logic. It is also called propositional logic, statement logic, sentential calculus, sentential logic, or sometimes zeroth-order logic. It deals with propositions (which can be true or false) and relations between propositions, including the construction of arguments based on them. Compound propositions are formed by connecting propositions by logical connectives. Propositions that contain no logical connectives are called atomic propositions.
(Wikipedia, The Free Encyclopedia, https://en.wikipedia.org/wiki/Propositional_calculus)
Concept(s) générique(s)
Concept(s) spécifique(s)
Synonyme(s)
- sentential calculus
- sentential logic
- statement logic
Traductions
-
français
-
calcul propositionnel
-
logique des propositions
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}}