# Category:Disjunction

This category contains results about the disjunction operator of propositional logic.
Definitions specific to this category can be found in Definitions/Disjunction.

Disjunction is a binary connective written symbolically as $p \lor q$ whose behaviour is as follows:

$p \lor q$

is defined as:

Either $p$ is true or $q$ is true or possibly both.

This is called the disjunction of $p$ and $q$.

$p \lor q$ is voiced:

$p$ or $q$

## Subcategories

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