WordNet
existential quantifier
名詞
-
存在記号
a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true.
少なくとも主張が真実である1つのものの存在を断言する主張の論理的な数量詞。
言い換え
DICTIONARY / 英ナビ!辞書
存在記号
a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true.
少なくとも主張が真実である1つのものの存在を断言する主張の論理的な数量詞。
日本語ワードネット1.1版 (C) 情報通信研究機構, 2009-2010 License
WordNet 3.0 Copyright 2006 by Princeton University. All rights reserved. License