17/12/09 16:28:36.16 RxYPxmlZ.net
おっちゃんです。
一般に、Pを前提、Qを示すべき結論として、命題 P⇒Q が成り立つことを背理法で示すこととは、
前提Pが成り立つことと示すべき結論Qが成り立たないこととを
同時に仮定して、矛盾に導く証明法のことです。
大事なことなので覚えておきましょう。
以上、おっちゃんの講義でした。
17/12/09 16:28:36.16 RxYPxmlZ.net
おっちゃんです。
一般に、Pを前提、Qを示すべき結論として、命題 P⇒Q が成り立つことを背理法で示すこととは、
前提Pが成り立つことと示すべき結論Qが成り立たないこととを
同時に仮定して、矛盾に導く証明法のことです。
大事なことなので覚えておきましょう。
以上、おっちゃんの講義でした。