propositional logic
propositional logic · propositional logics
Aussagenlogik, Aussagenkalkül
A formal deductive system in which formulae representing propositions can be formed by…A formal deductive system in which formulae representing propositions can be formed by combining atomic propositions using logical connectives.
Meaning
1 senses(countable, uncountable)A formal deductive system in which formulae representing propositions can be formed by combining atomic propositions using logical connectives.
Aussagenlogik, Aussagenkalkül
More definitions
- a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them
Translations
3 languagesDeutsch
By meaning 1
formal deductive system:
Forms
plural: propositional logics| Singular | propositional logic |
|---|---|
| Plural | propositional logics |
regular
Synonyms
2 synonymsClose in meaning
- a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them:propositional calculus
Lessons for this word
1 lessons- A1Countable and uncountable nouns — Because it can be uncountable