英: verification、demonstrate、prove、verify、argue、testify
関: 確認、議論、検証、示す、主張、証明、実証、判明、わかる、証拠となる

WordNet

take a trial impression of
establish the validity of something, as by an example, explanation or experiment; "The experiment demonstrated the instability of the compound"; "The mathematician showed the validity of the conjecture" (同)demonstrate, establish, show, shew
be shown or be found to be; "She proved to be right"; "The medicine turned out to save her life"; "She turned up HIV positive" (同)turn_out, turn up
obtain probate of; "prove a will"
prove formally; demonstrate by a mathematical, formal proof
march in protest; take part in a demonstration; "Thousands demonstrated against globalization during the meeting of the most powerful economic nations in Seattle" (同)march
present reasons and arguments (同)reason
have an argument about something (同)contend, debate, fence
give evidence of; "The evidence argues for your claim"; "The results indicate the need for more work" (同)indicate
provide evidence for; "The blood test showed that he was the father"; "Her behavior testified to her incompetence" (同)bear witness, prove, evidence, show
give testimony in a court of law (同)attest, take the stand, bear witness
confirm the truth of; "Please verify that the doors are closed"; "verify a claim"
attach or append a legal verification to (a pleading or petition)
(law) an affidavit attached to a statement confirming the truth of that statement

PrepTutorEJDIC

…‘を'『証明する』 / …‘を'『試す』,検討する / 《『prove』[『to be』]+『名』(『形』)》(…と)『証明される』,わかる・「で」あると判明する
〈真理・学説など〉‘を'『輪証する』,証明する(prove) / (実例・実験・標本などによって)…‘を'『説明して見せる』,明示する / 〈物事が〉…‘の'証拠となる,‘を'明らかに示す / 〈感情など〉‘を'表に出す,あらわに示す / (…に反対して,…を要求して)『示威運動をする』,デモをする《+『against』(『for』)+『名』》 / (観察する人々の前で)実験授業をする
(人と…について)『議論する』,論争する,言い争う《+『with』+『名』〈人〉+『about』(『on, over』)+『名』》 / (…に賛成・反対して)論じる,主張する《+『for』(『in favor of, against』)+『名』》 / …'を'『議論する』,論じる / (…するように)〈人〉'を'『説得する』,説き伏せる《+『名』〈人〉+『into』+『名』(do『ing』)》,(…しないように)〈人〉'を'説得する《+『名』〈人〉+『out of』+『名』》 / 〈物事が〉…'を'示す,表す(show)
〈人が〉(法廷で)『証言する』,(一般に)証言する;(…に不利な,有利な)証言をする《+against(for, in favor of)+名》 / 〈人が〉(…を)保証する,立証する《+to+名(doing)》 / 〈物事が〉(…の)証拠となる,(…を)示す《+to+名》 / 《testify+that-節》(法廷で)〈人が〉…である‘と'『証言する』;〈物事が〉…‘という'証拠となる
〈できごと・事実などが〉…‘を'『立証する』,…‘の'真実を証明する / (真実・正確であるかどうか)…‘を'確かめる,調べる / 〈証拠物件〉‘を'立証する
立証,証明

Wikipedia preview

出典(authority):フリー百科事典『ウィキペディア（Wikipedia）』「2015/02/06 15:59:26」(JST)

wiki ja

[Wiki ja表示]

松本清張の短編小説およびそれを原作とするテレビドラマについては「証明 (松本清張)」をご覧ください。

証明（しょうめい）とは、ある事柄が真理もしくは事実であることを明らかにすること。また、その内容。

1 一般用法
2 数学、記号論理学における証明
- 2.1 代表的な証明方法
- 2.2 その他の用語
- 2.3 証明の例（背理法）
- 2.4 証明の形式的定義
- 2.5 記述の習慣
3 数学の試験における証明
4 証明（計算機科学）
5 証明（法律学）
6 脚注
7 関連項目

一般用法

社会生活で、一般的に使用される用法としては、ある事柄に対する論説や理論・解答・判断・推理などの根拠・理由などを明らかにし、その事柄が真実であることなどを明らかにすることである^[1]。立証（りっしょう）とも呼ばれることもある。

証明されたものを、より確実にするための、あるいはその正当性を示す証拠や保証となるもの、およびそれを求める行為のことを裏付け（うらづけ）、裏書き（うらがき）と呼ぶ^[1]。

数学、記号論理学における証明

数学においては、ある命題が正しいことを主張するための一連の文章を証明 (英: Mathematical proof) と呼ぶ。証明の各段階においては、認められた事実（公理、証明済みの命題）と仮定から適切な推論によって新たな命題を導くという形態をとる。ここで、ある証明の中で導入された仮定は、その証明の中で否定されるか（背理法）、証明の別の部分で証明されなければならない。

代表的な証明方法

P⇒Q を証明したいとき、P⇒Q を直に証明することを直接証明と言う。それに対して P⇒Q が真であることを直接証明する代わりに、P⇒Q と同値な別の命題が真であることを証明する方法を間接証明と言う（これらはあくまで直観的な分類に過ぎず、数学的な定義があるわけではない）。

証明の代表的なテクニックを以下に示す。

対偶法 - 命題 P⇒Q を証明する代わりに、これと同値な￢Q⇒￢P を証明する方法（￢は否定）。
背理法 - 命題 P⇒Q を証明する代わりに、P∧￢Q を仮定して矛盾を導く方法（∧ は論理積（連言））。
転換法 - 全ての状況が P, Q, R のいずれかに分類でき、A,B,C が独立であるとする。今「P⇒A」「Q⇒B」「R⇒C」が証明できていたとする。このとき、それらの逆「A⇒P」「B⇒Q」「C⇒R」も成立する。
ディリクレの箱入れ論法 - n+1 個以上のボールのそれぞれが n 個の箱のいずれかに入っているとする。このとき、少なくとも1個の箱には2個以上のボールが入っている。
数学的帰納法 - 自然数に関する命題 P(n) が全ての n に対して成立することを示す論法。まず P(1) が成立することを示し、次に P(n) が成立すれば P(n+1) が成立することを示す。
反例 - ある命題 P⇒Q が偽であることを示すには、「Pであり，かつQではない」という反例をあげればよい。
否定 - ある命題 p の否定が偽であると証明できれば、命題 p は真である。

その他の用語

存在証明 - 解が存在することを示す行為
一意性証明 - （解がもし存在すれば）解の数は1つであることを示す行為

証明の例（背理法）

「素数は無限個存在する」という命題の証明は以下のようになされる。

素数の個数は有限であると仮定する。すべての素数を掛け合わせた数に1を足したものはどの素数で割っても1余り、割り切れない。すなわちそれ自体が素数であるか、ここで想定した最大の素数よりも大きい素数でしか割り切れないことを意味する。いずれにしても、すべての素数以外に素数が存在することになり仮定と矛盾する。よって仮定は間違っており、素数は無限に存在することが示された（Q.E.D.）。

証明の形式的定義

数学における命題の証明においては、通常、その正しさの確認は証明の作成者と読者に委ねられている。証明の概念を形式化することによって、その正しさを機械的に判定したり、証明そのものを数学の研究対象とすることもできる。

有限集合を1つ固定し、その有限集合の元をアルファベットという。
アルファベットの有限列を語という。
語の集合を言語という。
言語を1つ固定し、その言語に属する語を命題という。
命題の集合を1つ固定し、その集合に属する命題を事前に認められた仮定として採用し、それを公理と呼ぶ。
命題の有限個の組がどのような条件を満たせば、それらの命題から別の命題が導けるのかを決めたルールの組を決め、それらのルールを推論規則という。
公理の集合と推論規則の集合の組を公理系と呼ぶ。

Aを公理系とし、(P₁,...,P_n) を命題の列とする。

任意の i≦n に対し P_i が

P_i は公理である
P_i は、P₁,..., P_i-1 から、許された推論規則によって導くことができる

のいずれかを満たすとき、(P₁,...,P_n) を P_n の（公理系 A における）証明と言う。

ある (P₁,...,P_n) があって、(P₁,...,P_n) が P_n の証明であるとき、P_n は（公理系 A において）証明可能である、もしくは P_n は定理であると言う。

記述の習慣

証明を記述する際には、証明とそれ以外の部分をはっきりわけて可読性をあげるため、証明の始めと終わりを明確に示す習慣があり、特に高等学校などで初めて証明の記述を学ぶ者に対しては厳しく指導される。始めや終わりを示す記号は書く人の好みによりさまざまであるが、始めには「proof」「（証明）」「（証）」、丸で囲んだ「∵」などが、終わりには「Q.E.D.」「（証明終）」「（証終）」「（終）」「□」「//」などが用いられる。

数学の試験における証明

試験において証明を行う場合は徹底的に試行錯誤して証明が成立する方法を探すことになる。単なる計算問題とは違い、論理を構築しなければならないためそのための計算に時間を要する。

証明（計算機科学）

L を言語、P を計算機、V を多項式時間計算機とする。

対話 (P,V) が

Completeness - 任意の x∈L に対し、(P,V)(x) は、x のビット長に関して 1/2 + non negligible な確率で accept される
Soundness - L に属さない任意の x、および任意の計算機 P^* に対し、(P^*,V)(x) は、x のビット長に関して 1/2 + non negligible な確率で reject される

を満たすとき、(P,V) は L に関する所属の対話証明あるいは単に証明と言い、P を証明者、V を検証者と言う。

L がPSPACEに属する言語であれば L に関する所属の対話証明が存在し、そしてその逆も言える事が知られている。