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


Aucun résumé des modifications
Balise : Éditeur de wikicode 2017
m (Remplacement de texte — « == Domaine == » par « == en construction == <small>Entrez ici les domaines et catégories...</small> »)
Ligne 1 : Ligne 1 :


== Domaine ==
== en construction ==  
<small>Entrez ici les domaines et catégories...</small>
[[Category:Vocabulary]]
[[Category:Vocabulary]]
   
   

Version du 1 juillet 2019 à 11:54

en construction

Entrez ici les domaines et catégories...

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 :