最終更新日：2025/12/05

Dictionary quizzes to help you remember vocabulary

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

音声機能が動作しない場合はこちらをご確認ください

正解を見る

Boolean atom

編集履歴（0）

元となった辞書の項目

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.

Google翻訳 / DeepL翻訳

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

詳細

意味（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翻訳 / DeepL翻訳

詳細

Boolean atoms

（ plural ）

詳細

Boolean atom

Dictionary quizzes to help you remember vocabulary

ログイン / 新規登録

アプリをダウンロード！

Boolean atom

Dictionary quizzes to help you remember vocabulary

ログイン / 新規登録

ログイン

──── or ────

新規登録

──── or ────

アプリをダウンロード！