Category:Propositional calculus
From Infogalactic: the planetary knowledge core
Lua error in package.lua at line 80: module 'Module:Category main article' not found.
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.
 |
Wikimedia Commons has media related to Propositional logic. |
Subcategories
This category has the following 2 subcategories, out of 2 total.
Pages in category "Propositional calculus"
The following 19 pages are in this category, out of 19 total.
