Category:Examples of Disjunctions

From ProofWiki
Jump to navigation Jump to search

This category contains examples of 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 both $p$ and $q$ are true.

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

$p \lor q$ is voiced:

$p$ or $q$

Pages in category "Examples of Disjunctions"

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