logical quantifierとは 意味・読み方・使い方

a logical quantifier that asserts all values of a given variable in a formula発音を聞く 例文帳に追加

論理学で,全称を表す記号 - EDR日英対訳辞書

A quantifier elimination unit 104 eliminates a design variable to which a quantifier is attached from the logical expression obtained by the substitution to thereby generate a relational expression including the substitution variable and the design variables without any attached quantifier.例文帳に追加

限量記号消去部１０４は、置換により得られる論理式から、限量記号が付された設計変数を消去することにより、置換変数及び限量記号が付されていない設計変数を含む関係式を生成する。 - 特許庁

a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true発音を聞く 例文帳に追加

少なくとも主張が真実である1つのものの存在を断言する主張の論理的な数量詞 - 日本語WordNet

a logical quantifier of a proposition that asserts that the proposition is true for all members of a class of things発音を聞く 例文帳に追加

もののクラスのすべてのメンバーにとって、提案が正しいと断言する提案の論理的な数量詞 - 日本語WordNet