---

Statement

Define

A declaration, denoted as a propositional variable

\[\begin{equation*}
  P, Q, R, S, \ldots
\end{equation*}
\]

that is

so Boolean-valued.

By the number of logical connectives, either

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

Realize

Every statement in life is either true or not. There is no “in between”.

Name

• Proposition

• Atomic statement
• Molecular statement