Definition:Conjunction

Definition
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$.

Also known as
The conjunction is also known as the logical product.

The conjuncts are thence known as the factors of the logical product.

Treatments which consider logical connectives as functions may refer to this operator as the conjunctive function.