WordNet
universal quantifier
名詞
-
全称記号
a logical quantifier of a proposition that asserts that the proposition is true for all members of a class of things.
もののクラスのすべてのメンバーにとって、提案が正しいと断言する提案の論理的な数量詞。
DICTIONARY / 英ナビ!辞書
全称記号
a logical quantifier of a proposition that asserts that the proposition is true for all members of a class of things.
もののクラスのすべてのメンバーにとって、提案が正しいと断言する提案の論理的な数量詞。
日本語ワードネット1.1版 (C) 情報通信研究機構, 2009-2010 License
WordNet 3.0 Copyright 2006 by Princeton University. All rights reserved. License