Wikidata facts
Show 1 more fact
- Commons category
- Propositional logic
via Wikidata · CC0
~1 min read
Article
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.