推論系

「推論系」の英語

「推論系」は英語で logical system と言います。数学や形式論理で、公理や推論規則に基づいて結論を導く仕組みを指します。専門用語としては logical system が基本です。

「推論系」の英語の使い分け

「推論系」の例文

The logical system of the theory is based on a few simple axioms.

その理論の論理体系は少数の公理に基づいている。

コアイメージ

命題と公理・推論規則を定め、推論の手続きを体系化する枠組みとしての論理体系

英英

A formal structure that arranges propositions, axioms, and inference rules into a coherent framework for deriving conclusions in logic and mathematics.

語源

logical systemは、logical（ギリシャ語logos「理性・言葉」由来）とsystem（ギリシャ語systēma「組織された全体」由来）が結合してできた語で、論理の要素を組織化する枠組みを指すようになった。

コラム

  • 数学や形式論理では、論理体系は公理・推論規則・定理の関係を明確に示すために用いられる用語

「推論系」のレベル別の例文

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

  • × inference type

    ○ logical system

    「推論系」を直訳すると不自然で、専門用語としては logical system が一般的です。

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

Q. 「推論系」を英語で一言で言うと？
logical system と言います。数学や形式論理で、公理や推論規則に基づく論理の枠組みを指します。
Q. logical system はどのような意味ですか？
命題や公理、推論規則などを定め、推論の手続きを体系化した論理体系という意味です。
Q. 「推論系」と inference system は同じですか？
完全に同じではありません。inference system は推論規則やその適用手続きに焦点を置くのに対し、logical system は公理や論理規則などを含む、より広い論理体系を指すことがあります。

「推論系」と関連する日本語の英語

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

おすすめの単語帳

1 / 1