1 concept
Propositional logic is a formal system dealing with propositions (true/false) and logical connectives (AND, OR, NOT, etc.).