A declaration, denoted as a propositional variable

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

that is

either ‘`true`’ or ‘`false`’,

so Boolean-valued.

By the number of logical connectives, either

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

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

© 2024 Rudolf Adamkovič under GNU General Public License version 3.

Made with Emacs and secret alien technologies of yesteryear.