Question

yama777

命題と証明で質問です。（青チャート P.100）
検討の部分で以下の記載があります。
---------------------------------------------------------
命題p⇛qについて、背理法では「pであってqでない」（命題が成り立たない）として矛盾くが、
結論の「qではない」に対する矛盾でも、仮定の「pである」に対する矛盾でも
どちらでもよい。後者の場合、「¬q⇛¬p」つまり対偶が真であることを示したことになる。
---------------------------------------------------------
質問①
冒頭の「命題p⇛qについてに対する矛盾」というのは、例題５８の問題を当てはて考える場合、
pは「√5+√7のとき」、qは「無理数であること」ということであってますか。

質問②
質問①が合っている場合、「仮定の「pである」」という言葉の意味が理解できません、、
「仮定の√5+√7である?」ということでしょうか??当てはめると日本語がおかしくなってしまいます。。
また仮に合っていたとして、「仮定の√5+√7である」に対する矛盾とは何でしょうか。

質問③
「¬q⇛¬p」は質問①の考え方を踏まえて、「有理数ならば、√5+√7ではない」という意味になりますか？
これに関しても日本語がおかしくなってしまいます。。

質問④
例題58の「¬q⇛¬p」（対偶法）での証明方法を教えていただきたいです。

よろしくおねがいしますm(__)m

100
00000
基本例題 58 背理法による証明
√5 +√7 は無理数であることを証明せよ。 ただし, V7 は無理数であること
知られているものとする。
指針 無理数である(=有理数でない)ことを直接示すの
は困難。 そこで、証明しようとする事柄が成り立た
ないと仮定して,矛盾を導き、その事柄が成り立つ
ことを証明する方法,すなわち 背理法で証明する。
CHART 背理法
実数
解答
√5 +√7が無理数でないと仮定する。
このとき,55+√7は有理数であるから, rを有理数として
√√√5 +√7=r<$<¢ √5=r-√7
両辺を2乗して
ゆえに
5=r²-2√7r+7
2√7r=r²+2
²+2
√5=12+2
直接がだめなら間接で 背理法
「でない」 「少なくとも1つ」の証明に有効
......
r=0 であるから
①
2r
2 + 2,2rは有理数であるから、①の右辺も有理数である (*)。
よって、①から√7は有理数となり.7 が無理数であること
に矛盾する。
したがって、√5+√7 は無理数である。
p.96 基本事項
(有理数(無理数でない実数
〔無理数(有理数でない実数
<√5+√7 は実数であり、
無理数でないと仮定してい
るから.有理数である。
2乗して、√5 を消す。
(*) 有理数の和・差・積・商
は有理数である。
検討
√5 が無理数であることを仮
定すれば、17
5の両
辺を2乗して、同様に証明で
きる。
検討 背理法による証明と対偶による証明の違い
命題
qについて,背理法では「♪であってgでない」(命題が成り立たない)として矛盾を
導くが、結論の「q でない」に対する矛盾でも、仮定の「かである」に対する矛盾でもどちらで
もよい。後者の場合,「9 」つまり対偶が真であることを示したことになる。
このように考えると,背理法による証明と対側による証明は似ているように感じられるが、本質
的には異なるものである。対偶による証明は「4 か」を示す、つまり、(証明を始める段階
で)導く結論が力とはっきりしている。これに対し、背理法の場合、「pであってgでない」と
して矛盾が生じることを示す、つまり、(証明を始める段階では)どういった矛盾が生じるのか
ははっきりしていない。
指
Wilde
I

命題 証明 数学i 背理法