« Calcul des propositions » : différence entre les versions

Version du 27 mars 2021 à 20:17

Définition

Se définit d'une part par sa syntaxe régissant l'ensemble des assertions exprimables dans le langage et d'autre part par ses règles d'inférence décrivant comment on peut créer de nouvelles assertions à partir d'anciennes.

Français

calcul propositionnel

calcul des propositions

logique propositionnelle

Anglais

propositional calculus

sentential calculus

Source : TermiumPlus

@@ Ligne 1 : / Ligne 1 : @@
 == Définition ==
+Se définit d'une part par sa syntaxe régissant l'ensemble des assertions exprimables dans le langage et d'autre part par ses règles d'inférence décrivant comment on peut créer de nouvelles assertions à partir d'anciennes.
 == Français ==
@@ Ligne 7 : / Ligne 7 : @@
 '''calcul des propositions'''
+'''logique propositionnelle'''
 == Anglais ==
-'''Propositional calculus'''
+'''propositional calculus'''
+'''sentential 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.
+<small>
-source :
+[https://www.btb.termiumplus.gc.ca/tpv2alpha/alpha-eng.html?lang=eng&i=1&srchtxt=Propositional+calculus&index=alt&codom2nd_wet=1#resultrecs  Source : TermiumPlus  ]
-[[Category:Vocabulary]]
+[[Category:révision]]

« Calcul des propositions » : différence entre les versions

Version du 27 mars 2021 à 20:17

Définition

Français

Anglais

« Calcul des propositions » : différence entre les versions