Definition:Conjunction/General Definition

Definition
Let $p_1, p_2, \ldots, p_n$ be statements.

The conjunction of $p_1, p_2, \ldots, p_n$ is defined as:


 * $\displaystyle \bigwedge_{i \mathop = 1}^n \ p_i = \begin{cases}

p_1 & : n = 1 \\ & \\ \left({\bigwedge_{i \mathop = 1}^{n-1} \ p_i}\right) \land p_n & : n > 1 \end{cases}$

That is:
 * $\displaystyle \bigwedge_{i \mathop = 1}^n \ p_i = p_1 \land p_2 \land \cdots \land p_{n-1} \land p_n$

Also see

 * Conjunction is Associative which validates the construction.