existential quantifier
「 existential quantifier」の意味 意味
- 名 存在量化子、存在シンボル
「 existential quantifier」の例文 例文
「 existential quantifier」のコアイメージ コアイメージ
存在量化子を、記号∃で表される「存在する」を主張する演算として把握する
「 existential quantifier」の英英 英英
A symbol or operator, usually written as ∃, indicating that there exists some value of a variable for which the formula holds.
「 existential quantifier」の語源 語源
existential quantifierは、existential（存在に関する）とquantifier（数量や範囲を示す語）が結合してできた語で、論理で存在を量的に表す役割を示す。
「 existential quantifier」のコラム コラム
- 論理式では∃の後に変数を置きその有効範囲（スコープ）は式の構造で決まり括弧や量化位置が式の意味に影響する
おすすめの単語帳
1 / 1
