Meaning of Boolean atom | Babel Free

Definitions

A logical proposition that cannot be derived from other logical propositions by a Boolean operation.

Examples

“This is a consequence of a fact established earlier, namely, that any set C formed by choosing one formula from each Sⱼ must contain some formula πB and its conjugate, where B is a Boolean atom of X.”

“If C is a Boolean atom, the claim is obviously true.”

“A list is a bit vector if each of its members is a Boolean atom.”

CEFR level