Classical propositional logic
ID: classical-propositional-logic
Classical propositional logic interprets propositions as true or false and validates principles such as the law of excluded middle and double-negation elimination.
New to topics? Read the docs here!