Category:Propositional calculus
| NO WIKIDATA ID FOUND! Search for Propositional calculus on Wikidata | |
| Upload media |
English: 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.
Subcategories
This category has the following 4 subcategories, out of 4 total.