WordNet

support materially or financially; "he does not support his natural children"; "The scholarship supported me when I was in college"
financial resources provided to make some project possible; "the foundation provided support for the experiment" (同)financial support, funding, backing, financial backing
the financial means whereby one lives; "each child was expected to pay for their keep"; "he applied to the state for support"; "he could no longer earn his own livelihood" (同)keep, livelihood, living, bread and butter, sustenance
a military operation (often involving new supplies of men and materiel) to strengthen a military force or aid in the performance of its mission; "they called for artillery support" (同)reinforcement, reenforcement
the act of bearing the weight of or strengthening; "he leaned against the wall for support" (同)supporting
aiding the cause or policy or interests of; "the president no longer has the support of his own party"; "they developed a scheme of mutual support"
any device that bears the weight of another thing; "there was no place to attach supports for a shelf"
supporting structure that holds up or provides a foundation; "the statue stood on a marble support"
the activity of providing for or maintaining by supplying with money or necessities; "his support kept the family together"; "they gave him emotional support during difficult times"
something providing immaterial assistance to a person or cause or interest; "the policy found little public support"; "his faith was all the support he needed"; "the team enjoyed the support of their fans"
give moral or psychological support, aid, or courage to; "She supported him during the illness"; "Her children always backed her up" (同)back_up
play a subordinate role to (another performer); "Olivier supported Gielgud beautifully in the second act"

PrepTutorEJDIC

…‘を'『支える』 / 〈家族など〉‘を'『養う』,扶養する / 〈人・主義など〉‘を'『支持する』,擁護する / (精神的に)〈人〉‘を'力づける;(金銭的に)〈人〉‘を'援助する / 〈見解など〉‘を'立証する,裏書きする / …‘に'耐える,がまんする / 〈U〉(…を)『支えること』,(…の)支持,援助《+of+名》 / 〈U〉(重さを支える)支柱,突っ張り / 〈C〉『扶養する人』;〈U〉生活費 / 〈U〉(精神的)支え,(経済的)援助

Wikipedia preview

出典(authority):フリー百科事典『ウィキペディア（Wikipedia）』「2016/01/22 11:36:01」(JST)

wiki ja

[Wiki ja表示]

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

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

一般用法

社会生活で、一般的に使用される用法としては、ある事柄に対する論説や理論・解答・判断・推理などの根拠・理由などを明らかにし、その事柄が真実であることなどを明らかにすることである^[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 に関する所属の対話証明が存在し、そしてその逆も言える事が知られている。