Rudolf Adamkovič Personal site

Up: Logic   [Top][Contents]

Statement

A declaration that is

either ‘true’ or ‘false’,

so Boolean-valued.

By the number of logical connectives, either

atomic or molecular.

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

Referenced by a propositional variable.

© 2025 Rudolf Adamkovič under GNU General Public License version 3.
Made with Emacs and secret alien technologies of yesteryear.