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


m (Remplacement de texte — « == Domaine == » par « == en construction == <small>Entrez ici les domaines et catégories...</small> »)
Aucun résumé des modifications
(8 versions intermédiaires par 4 utilisateurs non affichées)
Ligne 1 : Ligne 1 :
== en construction ==
<small>Entrez ici les domaines et catégories...</small>
[[Category:Vocabulary]]
== Définition ==
== Définition ==
Mécanisme de résolution de problème utilisé en logique des propositions, qui s'effectue sur des formes de raisonnement dont la validité, indépendante de la structure des propositions composantes, résulte uniquement de leurs propriétés d'être vraies ou fausses.


== Français ==
'''calcul des propositions'''


'''calcul propositionnel'''


== Français ==
'''calcul propositionnel'''
== Anglais ==
== Anglais ==
'''propositional calculus'''
'''sentential calculus'''


'''Propositional calculus'''
<small>
[http://gdt.oqlf.gouv.qc.ca/ficheOqlf.aspx?Id_Fiche=8873549  Source : Le grand dictionnaire terminologique ]


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.
[https://www.btb.termiumplus.gc.ca/tpv2alpha/alpha-eng.html?lang=eng&i=1&srchtxt=Propositional+calculus&index=alt&codom2nd_wet=1#resultrecs  Source : Termium Plus  ]


<br/>
[[Catégorie:GRAND LEXIQUE FRANÇAIS]]
<br/>
<br/>
source :  
<br/>
<br/>
<br/>
<br/>

Version du 13 avril 2021 à 20:28

Définition

Mécanisme de résolution de problème utilisé en logique des propositions, qui s'effectue sur des formes de raisonnement dont la validité, indépendante de la structure des propositions composantes, résulte uniquement de leurs propriétés d'être vraies ou fausses.

Français

calcul des propositions

calcul propositionnel

Anglais

propositional calculus

sentential calculus


Source : Le grand dictionnaire terminologique

Source : Termium Plus

Récupérée de « https://datafranca.org/wiki/index.php?title=Calcul_des_propositions&oldid=50214 »


Contributeurs: Arielle Halindintwali, Claude Coulombe, Isaline Hodecent, Jacques Barolet, wiki