述語計算

「述語計算」の英語

「述語計算」は英語で predicate calculus と言います。述語論理を表す専門用語で、対象の性質や関係を表し、推論を行う形式体系を指します。一階述語論理など、特定の体系を指す場合にも使われます。

「述語計算」の英語の使い分け

「述語計算」の例文

The theorem was proved using 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'（形式的な計算体系）を組み合わせた語で、19〜20世紀の数理論理の発展過程で論理体系を指す用語になった

コラム

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

「述語計算」のレベル別の例文

「述語計算」を英語にするときのよくある間違い

  • × predicate calculation

    ○ predicate calculus

    述語論理の形式体系には、決まった専門用語として calculus を使います。

「述語計算」の英語についてよくある質問

Q. 「述語計算」を英語で一言で言うと？
predicate calculus と言います。論理学や数学の文脈で使われる専門用語です。
Q. predicate calculus と predicate logic の違いは？
どちらも述語論理を指す表現として使われます。predicate calculus は、推論を行う形式体系という面を強調する用語です。
Q. 「述語計算」を英語の論文でどう書けばいい？
predicate calculus と書くのが一般的です。一階述語論理なら first-order predicate calculus または first-order logic と表せます。

「述語計算」と関連する日本語の英語

ほかの日本語から英語を引く

おすすめの単語帳

1 / 1