Conjunction

Define

A binary logical connective, denoted

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

and read

that is ‘true’ if and only if

(Levin, 2021, sec. 0.2; Poole & Mackworth, 2017, sec. 5.1)

Name

• Logical and
• And

Explore

Construct the truth table for the statement \(P \land Q\).

<<scheme/org-truth-table>>
(org-truth-table (lambda (p q) (and p q)) '("P" "Q" "P \\land Q"))