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