絶対に忘れないAI辞書＆単語帳アプリ「DiQt（ディクト）」

最終更新日：2025/12/05

例文

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

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

正解を見る

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

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

名詞

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

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

項目の編集設定

例文の編集設定

問題の編集設定