| ある命題が、事前に認められた仮定(公理という)から、事前に認められた推論規則のみを用いて有限ステップで導くことができるとき、その命題は証明可能であるといい、公理から命題を導くためのステップの有限列を証明と呼ぶ。
「P⇒Q」を証明したいとき、「P⇒Q」を直接証明する事を直接証明という。 それに対し、「P⇒Q」が真であることを直接証明する代わりに、「P⇒Q」と同値な別の命題が真であることを証明する方法を間接証明という。(これらはあくまで直観的な分類に過ぎず、数学的な定義があるわけではない)。
転換法：全ての状況がP、Q、Rのいずれかに分類できるとする。今「PならばA」、「QならばB」、「RならばC」が証明できていたとする。このときそれらの逆「AならばP」、「BならばQ」、「CならばR」も成立する。
ディリクレの箱入れ論法：n+1個以上のボールのそれぞれがn個の箱のいずれかに入っているとする。このとき、少なくとも一つの箱には2つ以上のボールが入っている。
数学的帰納法：自然数に関する命題P(n)が全てのnに対して成立する事を示す論法。まずP(1)が成立する事を示し、次にP(n)が成立すればP(n+1)が成立する事を示す。なお、数学的「帰納法」という名前だが、実際には帰納法ではなく演繹法である。
素数の個数は有限であると仮定する。すべての素数を掛け合わせた数に1を足したものはどの素数で割っても1余り、割り切れない。すなわちそれ自体が素数であるか、ここで想定した最大の素数よりも大きい素数でしか割り切れないことを意味する。いずれにしても、すべての素数以外に素数が存在することになり仮定と矛盾する。よって仮定は間違っており、素数は無限に存在することが示された。(QED)
命題の有限個の組がどのような条件を満たせば、それらの命題から別の命題が導けるのかを決めたルールの組を決め、それらのルールを推論規則という。
Lを言語とし、Pを計算機とし、Vを多項式時間計算機とする。 対話(P,V)が次の性質a,bを満たすとき、(P,V)はLに関する所属の対話証明、あるいは単に証明といい、Pを証明者、Vを検証者という：
LがPSPACEに属する言語であればLに関する所属の対話証明が存在し、そしてその逆も言える事が知られている。
裁判官が、事実の存否につき確信を得た状態、または裁判官に確信を得させるための当事者の活動。疎明と対比される概念。
この項目「証明」は、調べものの参考にはなる可能性がありますが、まだ書きかけの項目です。加筆、訂正などをして下さる協力者を求めています。
このテンプレートは分野別のスタブテンプレート（Wikipedia:スタブカテゴリ参照）に変更することが望まれています。ただし、サーバー負荷軽減のため、スタブテンプレートの変更は加筆とともに行ってください。
審査 甘い 消費者 金融 証明 - Wikipedia |
