| 1. | The next step is to define the atomic formulas.
L'étape suivante consiste à définir les formules atomiques. |
| 2. | Propositional variables are the atomic formulas of propositional logic.
Les variables propositionnelles sont les formules atomiques de la logique propositionnelle. |
| 3. | A propositional variable can stand on its own as an atomic formula.
Une variable propositionnelle peut se 'tenir debout', comme une formule atomique. |
| 4. | In mathematical logic, a literal is an atomic formula (atom) or its negation.
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). |
| 5. | According to some terminology, an open formula is formed by combining atomic formulas using only logical connectives, to the exclusion of quantifiers.
Selon sa terminologie, une formule ouverte est formée en combinant des formules atomiques en utilisant uniquement des connecteurs logiques, excluant les quantificateurs. |
| 6. | In model theory, an atomic formula is satisfiable if there is a collection of elements of a structure that render the formula true.
Dans la théories des modèles, une formule atomique est satisfaisable s'il existe des éléments d'une structure qui rendent la formule vraie. |
| 7. | The precise form of atomic formulas depends on the logic under consideration; for propositional logic, for example, the atomic formulas are the propositional variables.
La structure d'une formule atomique dépend de la logique considérée, pp. ex. en logique des propositions, les formules atomiques sont les variables propositionnelles. |
| 8. | The precise form of atomic formulas depends on the logic under consideration; for propositional logic, for example, the atomic formulas are the propositional variables.
La structure d'une formule atomique dépend de la logique considérée, pp. ex. en logique des propositions, les formules atomiques sont les variables propositionnelles. |
| 9. | The precise form of atomic formulas depends on the formal system under consideration; for propositional logic, for example, the atomic formulas are the propositional variables.
La forme précise de formules atomiques dépend du système formel en question; pour la logique propositionnelle, par exemple, les formules atomiques sont des variables propositionnelles. |
| 10. | The precise form of atomic formulas depends on the formal system under consideration; for propositional logic, for example, the atomic formulas are the propositional variables.
La forme précise de formules atomiques dépend du système formel en question; pour la logique propositionnelle, par exemple, les formules atomiques sont des variables propositionnelles. |
