数学的命題
「数学的命題」の英語
「数学的命題」は英語で mathematical statement と言います。証明や反例で真偽を確かめる数学上の主張を広く指し、証明済みなら theorem、未証明の主張なら conjecture と呼びます。
「数学的命題」の英語の使い分け
証明や反例で真偽を問う数学上の主張を広く指します。
証明によって正しいと確認された数学的命題に使います。
正しいと考えられているものの、まだ証明されていない命題です。
The mathematician proposed a new conjecture.
コアイメージ
数学的命題は、証明や反例で真偽が問われる数学の主張で、定理や予想などを含む
英英
A mathematical assertion that can be formulated precisely and whose truth can be established or refuted, including theorems and conjectures.
語源
mathematical statementは、形容詞mathematical(数学に関する)と名詞statement(述べられた主張)が結びついて数学の主張を表す複合語である
コラム
- 数学的命題は証明によって真偽が確定される点で日常の主張と異なり、定理は証明済みの命題、予想は未解決の命題を指す
「数学的命題」のレベル別の例文
「数学的命題」を英語にするときのよくある間違い
× A mathematical statement is always a theorem.
○ A mathematical statement may be a theorem or a conjecture.
mathematical statement は、証明済みかどうかを問わず広く使える語です。