propositional logic
EnglishEdit
NounEdit
propositional logic (plural propositional logics)
- (logic) A formal deductive system in which formulae representing propositions can be formed by combining atomic propositions using logical connectives.
SynonymsEdit
TranslationsEdit
formal deductive system
|
|