Boolean atom

English Noun en logic A logical proposition that cannot be derived from other logical propositions by a Boolean operation. en 1975 Tableau systems for first order number theory and certain order theories Sue Ann Toledo 234 This is a consequence of a fact established earlier, namely, that any set C formed by choosing one formula from each Sj must contain some formula πB and its conjugate, where B is a Boolean atom of X. en 1982 Classical propositional operators Krister Segerberg 55 If C is a Boolean atom, the claim is obviously true. en 1994 Specification and Verification of Gate-level VHDL Models of Synchronous and Asynchronous Circuits 4 A list is a bit vector if each of its members is a Boolean atom.