命题逻辑的法文
calcul des propositions
例句与用法
- Les variables propositionnelles sont les formules atomiques de la logique propositionnelle.
命题变量是命题逻辑的原子公式。 - Les variables propositionnelles sont les éléments fondamentaux des formules propositionnelles, utilisés en logique propositionnelle et dans des logiques d'ordre supérieur.
命题变量是命题公式的基本构件板块，用于命题逻辑和更高的逻辑中。 - De cette façon, toutes les formules de la logique propositionnelle sont construites à partir des variables propositionnelles comme une unité de base.
用这种方式，命题逻辑的所有的公式都可以建造自作为基本单位的命题变量。 - À l'instar des algèbres de Boole qui sont basées sur les propositions logiques classiques, les algèbres de Kleene sont basées sur la logique ternaire de Kleene.
如同布尔代数有关于经典命题逻辑，Kleene代数有关于Kleene的三值逻辑。 - Une table de vérité est une table mathématique utilisée en logique — en particulier le calcul propositionnel classique et l'algèbre de Boole — pour représenter de manière sémantique des expressions logiques et calculer la valeur de leur fonction relativement à chacun de leurs arguments fonctionnels (chaque combinaison de valeur assumée par leurs variables logiques).
真值表是使用於逻辑中（特別是在连结逻辑代数、布林函数和命题逻辑上）的一类数学用表，用来计算逻辑表示式在每种论证（即每种逻辑变数取值的组合）上的值。
