« Calcul des propositions » : différence entre les versions
m (Isaline a déplacé la page Calcul propositionnel vers Calcul des propositions par-dessus une redirection) |
Aucun résumé des modifications |
||
| (Une version intermédiaire par un autre utilisateur non affichée) | |||
| Ligne 1 : | Ligne 1 : | ||
== 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 == | == Français == | ||
'''calcul des propositions''' | '''calcul des propositions''' | ||
'''calcul propositionnel''' | |||
== Anglais == | == Anglais == | ||
'''propositional calculus''' | '''propositional calculus''' | ||
'''sentential calculus''' | '''sentential calculus''' | ||
<small> | <small> | ||
[http://gdt.oqlf.gouv.qc.ca/ficheOqlf.aspx?Id_Fiche=8873549 Source : Le grand dictionnaire terminologique ] | |||
[https://www.btb.termiumplus.gc.ca/tpv2alpha/alpha-eng.html?lang=eng&i=1&srchtxt=Propositional+calculus&index=alt&codom2nd_wet=1#resultrecs 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 : Termium Plus ] | ||
[[ | [[Catégorie:GRAND LEXIQUE FRANÇAIS]] | ||
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
Contributeurs: Arielle Halindintwali, Claude Coulombe, Isaline Hodecent, Jacques Barolet, wiki
