コンピューター用語辞典
predicate calculus
- 用例
- relationship between the expressive power of description languages and that of query languages based on predicate calculus
記述言語の表現力と,述語計算法(predicate calculus)に基づく問い合わせ言語の表現力との関係
調べた例文を記録して、効率よく覚えましょう
Weblio会員無料で登録できます
履歴機能
過去に調べた単語を確認できる
語彙力診断
診断回数が4回に増加
マイ単語帳
便利な学習機能付き
マイ例文帳
文章で意味を理解できる
日本語WordNet(英和)
predicate calculus
名詞
Wiktionary英語版
出典：Wiktionary
predicate calculus
名詞
predicate calculus (uncountable)
- (logic) The branch of logic that deals with quantified statements such as "there exists an x such that..." or "for any x, it is the case that...", where x is a member of the domain of discourse.
派生語
- monadic predicate calculus
関連する語
- Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved.
- All Rights Reserved, Copyright © Japan Science and Technology Agency
- 日本語ワードネット1.1版 (C) 情報通信研究機構, 2009-2010 License All rights reserved.
WordNet 3.0 Copyright 2006 by Princeton University. All rights reserved. License
- 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のpredicate calculus (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。
