JMdict

述語論理

読み方：じゅつごろんり

（名詞） predicate logic; predicate calculus

コンピューター用語辞典

述語論理

読み方 ジュツゴロンリ

predicate logic

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

参照

• 命題論理(propositional logic)

電気制御英語辞典

述語論理

predicate logic

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

述語論理

predicative logic; predicate calculus

日本語WordNet(英和)

述語論理

【名詞】

predicate calculus, functional calculus

個々を表わし断定する記号論理学、および個々における量化のシステム（提案の関係と同様に）

(a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions))

>>「述語論理」に関する類語一覧

EDR日英対訳辞書

述語論理

読み方 ジュツゴロンリ

functional calculus

日英・英日専門用語辞書

述語論理

predicate logic

クロスランゲージ 37分野専門語辞書

述語論理

predicative logic; predicate symbol; predicate calculus; predicate logic

Weblio英和対訳辞書

述語論理

predicate logic; predicate calculus

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