Boolean atom noun1 •A logical proposition that cannot be derived from other logical propositions by a Boolean operation.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. — 1975 formsBoolean atoms
