# Category:Contradiction

This category contains results about Contradiction in the context of Propositional Logic.

A **contradiction** is a statement which is *always false*, independently of any relevant circumstances that could theoretically influence its truth value.

This has the form:

- $p \land \neg p$

or, equivalently:

- $\neg p \land p$

that is:

**$p$ is true and, at the same time, $p$ is not true.**

## Subcategories

This category has the following 11 subcategories, out of 11 total.

### B

### C

### D

### E

### P

### R

### T

## Pages in category "Contradiction"

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