Translation for 'propositionnel' from French to English

propositionnel {adj}

clausal [of a part of a sentence]ling.

---

calcul {m} propositionnel

statement logicmath.

sentential logicmath.

zeroth-order logicmath.

propositional logicmath.

sentential calculusmath.

propositional calculusmath.

• En logique classique, avec le tiers exclu, la sémantique est donnée (via le théorème de complétude du calcul propositionnel) par les tables de vérité.
• Elles sont principalement étudiées au niveau du seul calcul propositionnel et peu au niveau du calcul des prédicats.
• Le calcul propositionnel implicationnel est le fragment du calcul propositionnel classique qui n'admet que le connecteur de l'implication.
• Cela se démontre aisément en calcul propositionnel par de simples tables de vérité.
• En logique mathématique, le mot « tautologie » désigne une proposition toujours vraie selon les règles du calcul propositionnel.

• En calcul propositionnel, on considère aussi l'arité des connecteurs qui sont des fonctions des booléens dans un booléen.
• Il existe plusieurs choix possibles de systèmes axiomatiques du calcul propositionnel. On en donne un ici relativement verbeux mais assez intuitif.
• En mathématiques, plus précisément en calcul propositionnel, une implication réciproque est une proposition interchangeant la prémisse et la conclusion d'une implication.
• Il apparaît en arrière et agrammatique à la plupart des autres langues, mais le sens propositionnel ne change pas.
• Le fait que toute proposition soit démontrable si elle est une tautologie exprime une propriété du calcul propositionnel que l'on appelle la complétude, cela signifie que la présentation déductive du calcul propositionnel est équivalente à la présentation sémantique.

• Dans son "Introduction to a general theory of elementary propositions" de 1921, il établit la complétude sémantique du calcul propositionnel des "Principia Mathematica" de Whitehead et Russell par le système des tables de vérité.
• De cette façon, toutes les formules de la logique propositionnelle sont construites à partir des variables propositionnelles comme une unité de base.