最終更新日：2025/11/30

Dictionary quizzes to help you remember vocabulary

Dictionary quizzes to help you remember vocabulary

(logic) A formula which does not have smaller subformulas.

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

正解を見る

atomic formula

編集履歴（0）

元となった辞書の項目

atomic formula

名詞

(logic) A formula which does not have smaller subformulas.

日本語の意味

（論理学）下位に分解できない、より小さな部分論理式を持たない論理式。

このボタンはなに？

Google翻訳 / DeepL翻訳

一階述語論理では、原子式はより小さな部分式に分解できないため、基本的な単位として扱われます。

意味（1）

(logic) A formula which does not have smaller subformulas.

atomic formulae

（ plural ）

atomic formulas

（ plural ）

ログイン / 新規登録

　

アプリをダウンロード！

DiQt（ディクト）

無料

★★★★★★★★★★