propositional logic en · NOUN
Meanings
- (countable, uncountable) A formal deductive system in which formulae representing propositions can be formed by combining atomic propositions using logical connectives.
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| propositional logics | Number=Plur | lexicographic |
Hypernyms
Synonyms
zero-order logic · propositional calculus
Translations (10)
fi propositiologiikka (formal deductive system) · fi lauselogiikka (formal deductive system) · de Aussagenlogik (formal deductive system) · cs výroková logika (formal deductive system) · pl rachunek zdań (formal deductive system) · el προτασιακός λογισμός (formal deductive system) · mk исказна логика (formal deductive system) · ro logică propozițională (formal deductive system) · de Aussagenkalkül (formal deductive system) · fr logique propositionnelle (formal deductive system)