述語論理

「述語論理」の英語

「述語論理」は英語で predicate logic と言います。predicate calculus も使われますが、やや形式的・専門的な表現です。論理学、数学、計算機科学などで、対象の性質や関係を表して推論する体系を指します。

「述語論理」の英語の使い分け

predicate logic
述語論理を表す最も一般的な表現で、論理学・数学・計算機科学などで広く使われます。
The theorem was proved using predicate logic.
その定理は述語論理を使って証明されました。
predicate calculus
predicate logic と同じ意味で使われますが、形式体系としての側面を強調する、やや専門的な表現です。
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は数学の微積分と同じ語だが述語論理では形式体系を意味し、一階述語論理など具体的な体系名とともに用いられる

「述語論理」のレベル別の例文

中学
We use predicate logic to describe people and things.

私たちは人や物を説明するために述語論理を使います。
高校・英検2級
Predicate logic helps us express relationships precisely.

述語論理は関係を正確に表すのに役立ちます。
TOEIC・ビジネス
The research team used predicate logic to verify the system's rules.

研究チームは述語論理を使ってシステムの規則を検証しました。
日常会話
Have you studied predicate logic yet?

もう述語論理を勉強しましたか。

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

× predicate calculation

○ predicate logic

「述語論理」は通常 predicate logic と言います。predicate calculus も使われますが、calculation とは言いません。

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

Q. 「述語論理」を英語で一言で言うと？

最も一般的には predicate logic と言います。predicate calculus も同じ意味で使われます。

Q. predicate calculus の calculus は微積分という意味ですか？

この表現では、微積分ではなく、論理式を扱う形式的な計算体系という意味です。

Q. 「述語論理」の英語はどんな場面で使いますか？

論理学、数学、計算機科学などで、対象の性質や関係を表して推論する体系を説明するときに使います。

「述語論理」と関連する日本語の英語

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