A binary logical connective, denoted

\begin{equation*} P \land Q \end{equation*}

and read

“\(P\) and \(Q\)”,

that is true if and only if

both \(P\) and \(Q\) are true.

[1, Sec. 0.2], [2, Sec. 5.1]

---