証明
「証明」の英語
「証明」は英語で proof と言います。証拠による証明にも、数学の証明にも使える基本語です。公的な証明書なら certificate、数学などの形式的な証明なら formal proof が使えます。まずは proof を覚えると便利です。
「証明」の英語の使い分け
証拠や主張の正しさ、数学の証明に広く使う基本語です。
資格や身分、事実などを公的に証明する書類を指します。
formal proof
数学や論理学で、定義や規則に従って厳密に組み立てた形式的な証明を指します。
ゲームで覚える・約 1 分
proof をゲームで覚えよう
5 語のクエスト・4択・イラスト・穴埋め・スペル
例文
コアイメージ
主張の正しさを裏づける具体的な事実や物、また数学で論理的に示される示証。
関連語
使い方
-
conclusive proof
決定的な証拠
-
proof of identity
身分証明
-
立証責任
類義語との違い
proof:
最終的に真偽を決める強い直接的な証拠
evidence:
間接的な手がかりも含む、広い意味での証拠
英英
Evidence or facts that establish truth; a proof copy used in printing; in math, a formal demonstration that a proposition is true.
語源
proofは、古フランス語のpreuveから英語に入った言葉で、試しのしるしがそのまま「証拠」の意味になった語
コラム
- 単体のproofは「証拠」だがwaterproofやbulletproofのように語尾で使われると「〜に強い／耐性がある」という意味になる
例文
Please provide an attestation of employment with your application.
申請に雇用の証明を添付してください。
コアイメージ
口頭または書面で事実を示す証明
英英
A spoken or written statement that declares something to be true and serves as proof, often used in legal or formal contexts.
語源
attestationは、ラテン語 attestari の派生で、証言を意味する語が文書による公式な証明の意味に発展した。
コラム
- attestationは証言や宣誓供述書の意味で使われることがあり、法的手続きで用いられる
例文
The computer program generated a logical proof for the automated theorem.
そのコンピュータプログラムは自動定理のための証明を生成した。
コアイメージ
形式化された規則に従って構成された証明で、自動定理証明との相性が良い証明
英英
A formal demonstration that establishes the truth of a statement by applying explicit rules of logic or a formal system, often used in automated theorem proving.
語源
logical proofは、logical（論理の）とproof（証明）という語の結合で、特に形式化された手続きで成立する証明を指す語として用いられる経緯がある。
コラム
- プログラムが出力するような場合、logical proofは形式証明とほぼ同義で扱われることが多く、人間の直感的な説明と区別される。