- Formule atomique
原子公式的法文
- Formule atomique
例句与用法
- Les variables propositionnelles sont les formules atomiques de la logique propositionnelle.
命题变量是命题逻辑的原子公式。 - En logique mathématique, un littéral est un atome (aussi appelé littéral positif) ou la négation d'un atome (aussi appelé littéral négatif).
在数理逻辑中,文字(literal)是一个原子公式(atom)或它的否定。