コンピューター用語辞典

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

predicate logic

述語論理

命題の内部構造も考察の対象とする推論の形式.

参照

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

電気制御英語辞典

安藤設計事務所

predicate logic

述語論理、述語論理学

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

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

predicate logic

述語論理学

日英・英日専門用語辞書

日中韓辭典研究所

predicate logic

述語論理

Weblio英和対訳辞書

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

predicate logic

述語論理

predicate logic

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

Wiktionary英語版

出典：Wiktionary

predicate logic

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

名詞

predicate logic (plural predicate logics)

  1. (logic) The generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic or infinitary logic.
  2. (logic) First-order logic.

下位語

派生語

関連する語

ウィキペディア英語版

出典：Wikipedia

Predicate logic

出典:『Wikipedia』 (2011/05/24 02:23 UTC 版)

英語による解説

ウィキペディア英語版からの引用
引用

In mathematical logic, predicate logic is the generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic or infinitary logic. This formal system is distinguished from other systems in that its formulae contain variables which can be quantified. Two common quantifiers are the existential ∃ ("there exists") and universal ∀ ("for all") quantifiers. The variables could be elements in the universe under discussion, or perhaps relations or functions over that universe. For instance, an existential quantifier over a function symbol would be interpreted as modifier "there is a function".

predicate logicのページの著作権