コンピューター用語辞典

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

existential quantifier

存在作用素

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

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

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

existential quantifier

存在記号

日本語WordNet(英和)

日本語WordNet

existential quantifier

名詞

1. 少なくとも主張が真実である1つのものの存在を断言する主張の論理的な数量詞(a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true)
「existential quantifier」に関する類語一覧

EDR日英対訳辞書

独立行政法人情報通信研究機構

existential quantifier

存在記号

日英・英日専門用語辞書

日中韓辭典研究所

existential quantifier

存在記号，存在限量子，存在作用素

Weblio英和対訳辞書

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

existential quantifier

存在記号; 存在限量子

existential quantifier

存在記号
存在記号（そんざいきごう、existential quantifier）とは、数理論理学（特に述語論理）において、少なくとも1つのメンバーが述語の特性や関係を満たすことを表す記号である。
Weblio英和対訳辞書はプログラムで機械的に意味や英語表現を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。

Wiktionary英語版

出典：Wiktionary

existential quantifier

出典:『Wiktionary』 (2025/04/23 12:41 UTC 版)

名詞

existential quantifier (plural existential quantifiers)

  1. (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".

Holonyms

関連する語

音声を聞く

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

existential quantifierのページの著作権

  • 日外アソシエーツ株式会社
    Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved.
  • 独立行政法人科学技術振興機構
    All Rights Reserved, Copyright © Japan Science and Technology Agency
  • 日本語WordNet
    日本語ワードネット1.1版 (C) 情報通信研究機構, 2009-2010 License All rights reserved.
    WordNet 3.0 Copyright 2006 by Princeton University. All rights reserved. License
  • 独立行政法人情報通信研究機構
    Copyright(C)2002-2026 National Institute of Information and Communications Technology. All Rights Reserved.
  • 日中韓辭典研究所
    Copyright © 2026 CJKI. All Rights Reserved
  • Wiktionary
    Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL).
    Weblio英和・和英辞典に掲載されている「Wiktionary英語版」の記事は、Wiktionaryのexistential quantifier (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。