propositional logic

1. REDIRECT Propositional calculus

{{R with Wikidata item}}

{{Short description|System of evaluating truth-based propositions in terms of binary logic}}