コンピューター用語辞典

日外アソシエーツ株式会社

universal quantifier

汎用修飾子

用例
調べた例文を記録して、効率よく覚えましょう
Weblio会員無料で登録できます
履歴機能 過去に調べた単語を確認できる
語彙力診断 診断回数が4回に増加
マイ単語帳 便利な学習機能付き
マイ例文帳 文章で意味を理解できる
Weblio会員登録(無料)はこちらから▶

JST科学技術用語日英対訳辞書

独立行政法人科学技術振興機構

universal quantifier

全称記号

日本語WordNet(英和)

日本語WordNet

universal quantifier

名詞

1. もののクラスのすべてのメンバーにとって、提案が正しいと断言する提案の論理的な数量詞(a logical quantifier of a proposition that asserts that the proposition is true for all members of a class of things)
「universal quantifier」に関する類語一覧

日英・英日専門用語辞書

日中韓辭典研究所

universal quantifier

汎用修飾子，全称記号

Weblio英和対訳辞書

英和辞典・和英辞典 - Weblio辞書

universal quantifier

全称記号; 全称限量子
Weblio英和対訳辞書はプログラムで機械的に意味や英語表現を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。

Wiktionary英語版

出典：Wiktionary

universal quantifier

出典:『Wiktionary』 (2026/08/15 22:21 UTC 版)

名詞

universal quantifier (plural universal quantifiers)

  1. (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. Verbal equivalents include "for each" and "for every".
    Synonym: all-operator

Holonyms

参考

音声を聞く

クイック再生
ダウンロード再生

universal quantifierのページの著作権