« Calcul des propositions » : différence entre les versions
Aucun résumé des modifications |
m (Remplacement de texte : « ↵↵==Sources== » par « ==Sources== ») |
||
| (2 versions intermédiaires par le même utilisateur non affichées) | |||
| Ligne 11 : | Ligne 11 : | ||
'''sentential calculus''' | '''sentential calculus''' | ||
==Sources== | |||
[http://gdt.oqlf.gouv.qc.ca/ficheOqlf.aspx?Id_Fiche=8873549 Source : Le grand dictionnaire terminologique ] | [http://gdt.oqlf.gouv.qc.ca/ficheOqlf.aspx?Id_Fiche=8873549 Source : Le grand dictionnaire terminologique ] | ||
Dernière version du 30 août 2024 à 14:04
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
Sources
Contributeurs: Arielle Halindintwali, Claude Coulombe, Isaline Hodecent, Jacques Barolet, wiki
