English Dictionary

Boolean atom

名詞

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

日本語の意味

ブール論理における原子命題。すなわち、他の論理命題からブール演算によって導出されない、最も基礎的な論理的命題を指す。

In our proof, we treated the Boolean atom as an irreducible proposition that provides new information.

証明では、ブール論理における原子命題を、他の命題からブール演算で導出できない既約で新しい情報を含む命題として扱った。

意味（1）

(logic) 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.

Boolean atoms （ plural ）