と対偶
間ee キキ
= Pam 命題 「7が3で割り功
切れない」 に や
ついて
人 ) 対価を答えよ.。 (oe
0⑫) 実数x。 ッにっぃて. すす
少なくとも」,「かっ」 などに注意して対側を作る.
とその対偶の真偽は一致する.
> で割り切れるならば, *も3で割り切れ
0 カー34 (んは整数) とおくと7*ニ9だ=3・3だ 4対上を証明する。 1
したがって, 3” は整数であるから, が*は3の 1
| 代数となり, 3で割り切れる.
よって, 対仙「妨が3で割り切れるならば。 が"
も 3で割り切れる」が証明されたので, もとの命
、 題も成り立つ.
( もとの命題の対作は, 「実数x。ッについて, xyが 無理載の否定は有理
| ともに人有理数ならばキャ は有理族である」となる =っ
3 は和有理数であるから。 co。 ん cd(o*0. て0) 4がEoいて
を 本をとこ 6
上 を生玉として。 テーテッート とおける
a 9.9 2c,g9_gg+6
遇仙側フンすっog
| 2 7は東数であるから, gd二c, qcはとも
|に束数になる、 したがって, ャ+ャは有理数である-
よって, 対人が証田されたので, もとの命因も成り
つ: 5