146
Zを整数全体の集合とし、 A={4n+1}nEZ}, B={8n-3|nEZ} とするとき, AコBか
つAキB であることを証明せよ。
xEB とすると、 x=8n-3 (nは整数)と書ける。
このとき,
x=8n-3=4(2n-1)+1
2n-1は整数であるから
4(2n-1)+1EA
よって、 xEB ならば, xEA であるから, AコB が成り
4×●+1(●は整数)の形に
なるように, 8n-3を変形す
る。
立つ。
また,1EA であるが, 1年B
したがって, ACB は成り立たないので, AキB である。
(xEA であるが x年B となる
例(反例)を見つける。