After studying negation, we now join two statements to form larger statements. The connectives conjunction and disjunction correspond to the mathematical meanings of and and or. These meanings must be handled carefully because ordinary language sometimes uses or ambiguously. In this lesson, conjunction and disjunction will be treated through precise truth conditions.

Let $p$ and $q$ be statements. The \textbf{conjunction} of $p$ and $q$ is denoted by $p\land q$ and is read as $p$ and $q$. The statement $p\land q$ is true exactly when both $p$ and $q$ are true.