Word.ws English Dictionary

Boolean atom

Boolean atom noun: a logical proposition that cannot be derived from other logical propositions by a Boolean operation.

Noun

Boolean atom (plural Boolean atoms)

  1. 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

Forms of Boolean atom

pluralBoolean atoms

Questions about Boolean atom

What does Boolean atom mean?
Boolean atom means a logical proposition that cannot be derived from other logical propositions by a Boolean operation.
What part of speech is Boolean atom?
Boolean atom is a noun.
What is the plural of Boolean atom?
The plural of Boolean atom is Boolean atoms.

Words near Boolean atom in the dictionary

  1. Boole's inequalities
  2. Boole's inequality
  3. boolean
  4. Boolean algebra
  5. Boolean algebras
  6. Boolean atom
  7. Boolean atoms
  8. Boolean circuit
  9. Boolean circuits
  10. Boolean derivative
  11. Boolean derivatives

Source and license

Adapted from Wiktionary: Boolean atom (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.

Last updated:

Cite this entry: “Boolean atom.” Word.ws, https://word.ws/boolean_atom. Based on Wiktionary, CC BY-SA 4.0.