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.

[1, Sec. 0.2], [9, 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.