Propositional calculus
Topic: Category
From HandWiki - Reading time: 1 min
Here is a list of articles in the Propositional calculus category of the Computing portal that unifies foundations of mathematics and computations using computers.
 |
Wikimedia Commons has media related to Propositional calculus. |
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 6 subcategories, out of 6 total.
L
- Logical connectives (22 P)
N
- Normal forms (logic) (13 P)
P
- Propositional fallacies (4 P)
R
- Rules of inference (44 P)
T
- Theorems in propositional logic (41 P)
Pages in category "Propositional calculus"
The following 40 pages are in this category, out of 40 total.
P
S
Licensed under CC BY-SA 3.0 | Source: https://handwiki.org/wiki/Category:Propositional_calculus10 views | ↧ Download this article as ZWI file
EncycloReader
is supported by the 
KSF