形式体系

「形式体系」の英語

「形式体系」は英語で formal system と言います。計算機科学や数学で、公理と規則、記号を使って命題の導出や推論を形式化する専門用語です。日常会話ではほとんど使いません。

「形式体系」の英語の使い分け

「形式体系」の例文

In the formal system, every statement must be derived from axioms.

その形式体系では、すべての命題は公理から導かれなければならない。

コアイメージ

公理と規則で命題の導出を形式化するための規則群と記号の体系

英英

A formalized framework specifying axioms and inference rules that determine valid derivations of statements.

語源

formal systemは、formal（ラテン語formal＝形に関する）とsystem（ギリシャ語systema＝まとまり）が結合して生まれ、数理論理の文脈で公理と推論規則により体系化する概念となった

コラム

  • 形式体系は計算機科学や形式言語理論で証明や生成規則の正当性を扱う際の基本概念として用いられる

「形式体系」のレベル別の例文

「形式体系」を英語にするときのよくある間違い

  • × This is formal system.

    ○ This is a formal system.

    formal system は単数で数えられる名詞なので、通常は冠詞が必要です。

「形式体系」の英語についてよくある質問

Q. 「形式体系」を英語で一言で言うと？
formal system が一般的です。計算機科学、数学、論理学などで使われる専門用語です。
Q. 「形式体系」と「形式言語」は同じですか？
同じではありません。形式体系は公理や推論規則を含む体系で、形式言語は記号と文法による言語です。
Q. 「形式体系」はどの分野で使いますか？
計算機科学、数学、論理学、形式言語理論などで使われます。特に証明や規則に基づく推論を扱う場面で一般的です。

「形式体系」と関連する日本語の英語

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

おすすめの単語帳

1 / 1