Question

ゆめ

この命題が真であることを証明するのですが下から3行目の「」の中を書く理由がわからないです。

(証明)対偶
「a+b, a-bがともに有理数ならば,a, bの
少なくとも一方は有理数である」
を証明する。
a+b, a-bは有理数であるから,p, qを有理数と
して
p=a+b, q=a-b
とおくことができる。これをa, bについて解くと
p+q
p-9
a=
2
三
2
p, qはともに有理数であるから,a, bもともに有
理数である。
「a, bがともに有理数ならば,a, bの少なくとも
一方は有理数である」は真であるから,命題(A) は
真である。
したがって,与えられた命題は真である。

集合 命題 集合と命題

Answer 1

peekAboo

三段論法になっています。
（A->B and B->C => A->C）

A->Cを証明したいのに対して、
直前の議論まででA->Bを導いているので、
B->Cを確認する事で、
A->Cとなることを説明しています。

ゆめ

AとBとCはそれぞれどの式にあてはまりますか？