最終更新日:2025/11/19
編集履歴(0)
元となった辞書の項目

existential quantifier

名詞
日本語の意味
存在量化子: 論理学における述語論理で、記号 ∃ を用いて、ある述語が特定の集合の少なくとも一つの要素について成立することを示す記号。口語表現では「存在する」「有る」などと訳される。
このボタンはなに?

証明では、数学者は少なくとも一つの解が存在することを主張するために存在量化子を導入した。

plural

Dictionary quizzes to help you remember the meaning

編集履歴(0)

ログイン / 新規登録

 

アプリをダウンロード!
DiQt

DiQt(ディクト)

無料

★★★★★★★★★★