Boolean atom

Noun

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

Japanese Meaning

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

What is this buttons?

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

Google Translation / DeepL Translation

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

Details

Sense（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.

Google Translation / DeepL Translation

Details

Boolean atoms

（ plural ）

Details

Boolean atom

Dictionary quizzes to help you remember the meaning

Login / Sign up

Download the app!

Boolean atom

Dictionary quizzes to help you remember the meaning

Login / Sign up

Login

──── or ────

Sign up

──── or ────

Download the app!