ログインすると広告が減り、学習に集中できます。
広告
検索結果- 英語 - 多言語
検索内容:
existential quantifier
名詞
(logic) The operator, represented by the symbol ∃, used in predicate calculus to indicate that a predicate is true for at least one member of a specified set. Verbal equivalents include "there exists" and "there is".
日本語の意味
存在量化子: 論理学における述語論理で、記号 ∃ を用いて、ある述語が特定の集合の少なくとも一つの要素について成立することを示す記号。口語表現では「存在する」「有る」などと訳される。
英語の意味
(logic) The operator, represented by the symbol ∃, used in predicate calculus to indicate that a predicate is true for at least one member of a specified set. Verbal equivalents include "there exists" and "there is".
関連語
universal quantifier
名詞
(logic) The operator, represented by the symbol ∀, used in predicate calculus to indicate that a predicate is true for all members of a specified set.
日本語の意味
（論理学）全称記号。すなわち、∀記号を用いて、述語が指定された集合の全ての要素に対して成り立つことを示す記号または概念
英語の意味
(logic) The operator, represented by the symbol ∀, used in predicate calculus to indicate that a predicate is true for all members of a specified set.
関連語
