# Category:Propositional calculus

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

### P

### R

### T

## Pages in category "Propositional calculus"

The following 38 pages are in this category, out of 38 total.

- Propositional calculus
*(computing)*

### C

- Clause (logic)
*(philosophy)* - Contradiction
*(computing)*

### D

- Deductive closure
*(computing)* - DiVincenzo's criteria
*(computing)*

### F

- Formation rule
*(computing)* - Frege system
*(computing)* - Frege's propositional calculus
*(computing)* - Functional completeness
*(computing)*

### I

- Implicational propositional calculus
*(computing)* - Intermediate logic
*(computing)*

### L

- Literal (mathematical logic)
*(computing)* - List of Hilbert systems
*(computing)* - Logical consequence
*(computing)*

### M

- Minimal axioms for Boolean algebra
*(computing)*

### N

- Negation introduction
*(computing)* - Negation normal form
*(computing)* - Nicod's axiom
*(computing)*

### P

- Predicate (mathematical logic)
*(computing)* - Principle of distributivity
*(computing)* - Proof by contrapositive
*(computing)* - Proposition
*(computing)* - Propositional formula
*(computing)* - Propositional proof system
*(computing)* - Propositional variable
*(computing)*

### R

- Resolution inference
*(computing)* - Rule of inference
*(computing)* - Rule of replacement
*(computing)*

### S

- Second-order propositional logic
*(computing)* - Stoic logic
*(computing)* - Substitution (logic)
*(philosophy)* - Syncategorematic term
*(computing)* - System L
*(computing)*

### T

- Tautology (logic)
*(philosophy)* - Truth table
*(computing)*

### U

- Unsatisfiable core
*(computing)*

### W

- Wolfram axiom
*(computing)*

### Z

- Zeroth-order logic
*(computing)*