Équipe Hypertextes et Textualité électronique
Laboratoire Communication et polique
TerminalfRessources terminologiques en langue française
Terminalf : page d'accueil
Les mémoires de terminologie : page d'accueil
Présentation des mémoires de terminologie
Visite guidée de la fiche de terminologie
Page d'accueil du mémoire
Interroger les termes traités dans ce mémoire
Français - AnglaisFiche complète du terme
Calcul des propositions
Système formel qui étudie la façon dont la verité d'une proposition composée est fonction de la verité ou de la fausseté des propositions atomiques qui la compose.
(NADEAU Robert, Vocabulaire technique et analytique de l'épistémologie, Puf, 1999)
Langue : français
Catégorie grammaticale : loc.
Statut du terme en entrée : Langue spécialisée
Forme concurrente : calcul propositionnel
Domaine : Philosophie analytique
Sous-domaine : Logique
Contexte : Le calcul identique est (…) censé correspondre au calcul des classes et au calcul des propositions. (SKOLEM Thoralf, Jean Largeault (dir.), Logique mathématique, Armand Colin, 1972, p.94)
Équivalent anglais : propositional calculus
Retour à la page précédente.