From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to Conjunction.
Related results can be found in Category:Conjunction.

Conjunction is a binary connective written symbolically as $p \land q$ whose behaviour is as follows:

$p \land q$

is defined as:

$p$ is true and $q$ is true.

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

$p \land q$ is voiced:

$p$ and $q$.