Category:Definitions/Conjunction

From ProofWiki
Jump to: navigation, 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$.

The statements $p$ and $q$ are known as:

the conjuncts
the members of the conjunction.


$p \land q$ is voiced:

$p$ and $q$.