# Category:Propositional calculus

From HandWiki

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.