propositional logic
Short definition from Wiktionary
Noun
- A formal deductive system in which formulae representing propositions can be formed by combining atomic propositions using logical connectives.
We haven’t written up propositional logic yet: Simple and Standard meanings, examples and a quiz.