コンピューター用語辞典

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

predicate calculus

述語計算法

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

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

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

predicate calculus

述語論理

日本語WordNet(英和)

日本語WordNet

predicate calculus

名詞

1. 個々を表わし断定する記号論理学、および個々における量化のシステム（提案の関係と同様に）(a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions))
「predicate calculus」に関する類語一覧

日英・英日専門用語辞書

日中韓辭典研究所

predicate calculus

述語計算法，述語計算

Weblio英和対訳辞書

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

predicate calculus

述語論理

predicate calculus

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

Wiktionary英語版

出典：Wiktionary

predicate calculus

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

名詞

predicate calculus (uncountable)

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

上位語

Meronyms

派生語

関連する語

音声を聞く

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

predicate calculusのページの著作権