述語論理
意味
- 女性名詞 述語論理
例文
Die Prädikatenlogik beschreibt Beziehungen zwischen Objekten.
コアイメージ
対象の性質や対象どうしの関係を、変数と量化によって文の形で扱う論理の枠組み
ドイツ語での定義
Teilgebiet der Logik, in dem Gegenstände, ihre Eigenschaften und ihre Beziehungen mithilfe von Prädikaten, Variablen und Quantoren beschrieben werden.
語源
Prädikatenlogikは、Prädikat（対象の性質や関係を述べるもの）とLogik（論理）を組み合わせ、性質や関係を扱う論理を表す語
コラム
- ドイツ語文法のPrädikat（述語）と論理学のPrädikatは、どちらも何かについて述べる部分を指すが、後者は対象の性質や関係を表す記号として扱う
「述語論理」は英語では
- 「述語論理」 → predicate calculus和英辞典で見る
おすすめの単語帳
1 / 1