Wikidata facts
- Instance of
- Wikimedia category
Show 2 more facts
- Commons category
- Propositional logic
- category's main topic
- propositional calculus
via Wikidata · CC0
~1 min read
Encyclopedic overview
Propositional logic (also referred to as Sentential logic) refers to a form of logic in which formulae known as "sentences" can be formed by combining other simpler sentences using logical connectives, and a system of formal proof rules allows certain formulae to be established as theorems.
Excerpted from Wikipedia’s “Category:Propositional calculus” article, available under the CC BY-SA 4.0 licence.