« Calcul des propositions » : différence entre les versions
(nouveau terme - brouillon) Balise : Éditeur de wikicode 2017 |
Aucun résumé des modifications Balise : Éditeur de wikicode 2017 |
||
| Ligne 9 : | Ligne 9 : | ||
== Français == | == Français == | ||
calcul propositionnel | '''calcul propositionnel''' | ||
| Ligne 16 : | Ligne 16 : | ||
== Anglais == | == Anglais == | ||
'''Propositional calculus''' | |||
Propositional calculus (also called propositional logic, statement logic, sentential calculus, sentential logic, or sometimes zeroth-order logic) is the branch of logic concerned with the study of propositions (whether they are true or false) that are formed by other propositions with the use of logical connectives. First-order logic extends propositional logic by allowing a proposition to be expressed as constructs such as "for every", "exists", "equality" and "membership", whereas in proposition logic, propositions are thought of as atoms. | Propositional calculus (also called propositional logic, statement logic, sentential calculus, sentential logic, or sometimes zeroth-order logic) is the branch of logic concerned with the study of propositions (whether they are true or false) that are formed by other propositions with the use of logical connectives. First-order logic extends propositional logic by allowing a proposition to be expressed as constructs such as "for every", "exists", "equality" and "membership", whereas in proposition logic, propositions are thought of as atoms. | ||
| Ligne 22 : | Ligne 23 : | ||
<br/> | <br/> | ||
<br/> | <br/> | ||
source : | |||
<br/> | <br/> | ||
<br/> | <br/> | ||
<br/> | <br/> | ||
<br/> | <br/> | ||
Version du 20 avril 2019 à 10:41
Domaine
Définition
Français
calcul propositionnel
Anglais
Propositional calculus
Propositional calculus (also called propositional logic, statement logic, sentential calculus, sentential logic, or sometimes zeroth-order logic) is the branch of logic concerned with the study of propositions (whether they are true or false) that are formed by other propositions with the use of logical connectives. First-order logic extends propositional logic by allowing a proposition to be expressed as constructs such as "for every", "exists", "equality" and "membership", whereas in proposition logic, propositions are thought of as atoms.
source :
Contributeurs: Arielle Halindintwali, Claude Coulombe, Isaline Hodecent, Jacques Barolet, wiki
