predicate calculus

「predicate calculus」の例文例文

The theorem was proved using predicate calculus.

その定理は述語論理を用いて証明された。

「predicate calculus」のコアイメージコアイメージ

述語論理は対象の性質や関係を述語で表し推論を行う形式体系

「predicate calculus」の英英英英

A formal logical system that represents properties and relations by predicates and supports formal inference using variables and quantifiers.

「predicate calculus」の語源語源

predicate calculusは、'predicate'（述語、対象の性質を示す語）と'calculus'（形式的な計算体系）を組み合わせた語で、19〜20世紀の数理論理の発展過程で論理体系を指す用語になった

「predicate calculus」のコラムコラム

• calculusは数学の微積分と同じ語だが述語論理では形式体系を意味し、一階述語論理など具体的な体系名とともに用いられる

単語を報告