出典(authority):フリー百科事典『ウィキペディア(Wikipedia)』「2015/02/06 15:59:26」(JST)
松本清張の短編小説およびそれを原作とするテレビドラマについては「証明 (松本清張)」をご覧ください。 |
証明(しょうめい)とは、ある事柄が真理もしくは事実であることを明らかにすること。また、その内容。
社会生活で、一般的に使用される用法としては、ある事柄に対する論説や理論・解答・判断・推理などの根拠・理由などを明らかにし、その事柄が真実であることなどを明らかにすることである[1]。 立証(りっしょう)とも呼ばれることもある。
証明されたものを、より確実にするための、あるいはその正当性を示す証拠や保証となるもの、およびそれを求める行為のことを裏付け(うらづけ)、裏書き(うらがき)と呼ぶ[1]。
この節の加筆が望まれています。 |
数学においては、ある命題が正しいことを主張するための一連の文章を証明 (英: Mathematical proof) と呼ぶ。証明の各段階においては、認められた事実(公理、証明済みの命題)と仮定から適切な推論によって新たな命題を導くという形態をとる。ここで、ある証明の中で導入された仮定は、その証明の中で否定されるか(背理法)、証明の別の部分で証明されなければならない。
この節の加筆が望まれています。 |
P⇒Q を証明したいとき、P⇒Q を直に証明することを直接証明と言う。それに対して P⇒Q が真であることを直接証明する代わりに、P⇒Q と同値な別の命題が真であることを証明する方法を間接証明と言う(これらはあくまで直観的な分類に過ぎず、数学的な定義があるわけではない)。
証明の代表的なテクニックを以下に示す。
「素数は無限個存在する」という命題の証明は以下のようになされる。
数学における命題の証明においては、通常、その正しさの確認は証明の作成者と読者に委ねられている。証明の概念を形式化することによって、その正しさを機械的に判定したり、証明そのものを数学の研究対象とすることもできる。
Aを公理系とし、(P1,...,Pn) を命題の列とする。
任意の i≦n に対し Pi が
のいずれかを満たすとき、(P1,...,Pn) を Pn の(公理系 A における)証明と言う。
ある (P1,...,Pn) があって、(P1,...,Pn) が Pn の証明であるとき、Pn は(公理系 A において)証明可能である、もしくは Pn は定理であると言う。
証明を記述する際には、証明とそれ以外の部分をはっきりわけて可読性をあげるため、証明の始めと終わりを明確に示す習慣があり、特に高等学校などで初めて証明の記述を学ぶ者に対しては厳しく指導される。始めや終わりを示す記号は書く人の好みによりさまざまであるが、始めには「proof」「(証明)」「(証)」、丸で囲んだ「∵」などが、終わりには「Q.E.D.」「(証明終)」「(証終)」「(終)」「□」「//」などが用いられる。
試験において証明を行う場合は徹底的に試行錯誤して証明が成立する方法を探すことになる。単なる計算問題とは違い、論理を構築しなければならないためそのための計算に時間を要する。
L を言語、P を計算機、V を多項式時間計算機とする。
対話 (P,V) が
を満たすとき、(P,V) は L に関する所属の対話証明あるいは単に証明と言い、P を証明者、V を検証者と言う。
L がPSPACEに属する言語であれば L に関する所属の対話証明が存在し、そしてその逆も言える事が知られている。
裁判官が、事実の存否につき確信を得た状態、または裁判官に確信を得させるための当事者の活動。疎明と対比される概念。
[ヘルプ] |
ウィクショナリーに証明の項目があります。 |
ウィキメディア・コモンズには、証明に関連するカテゴリがあります。 |
この項目は、哲学に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています(Portal:哲学)。 |
この項目は、数学に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています(プロジェクト:数学/Portal:数学)。 |
全文を閲覧するには購読必要です。 To read the full text you will need to subscribe.
リンク元 | 「示す」「証明」「確認」「わかる」「実証」 |
関連記事 | 「証」 |
.