Synonyms for propositional logic
Definitions
- n. 1
A formal deductive system in which formulae representing propositions can be formed by combining atomic propositions using logical connectives.
Related words
- Is a kind of
- logic
A formal deductive system in which formulae representing propositions can be formed by combining atomic propositions using logical connectives.