Boolean atom

noun

Boolean atom

noun

1

Human sciences, Logic, Mathematics, Philosophy, Sciences 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, Sue Ann Toledo, Tableau systems for first order number theory and certain order theories, page 234:
If C is a Boolean atom, the claim is obviously true.1982, Krister Segerberg, Classical propositional operators, page 55:

1 more example

A list is a bit vector if each of its members is a Boolean atom.1994, Specification and Verification of Gate-level VHDL Models of Synchronous and Asynchronous Circuits, page 4:

Entry derived from the Wiktionary, under licence CC BY-SA 4.0 — list of authors.