さて、以上は序論みたいなもんで
こっからが集合を題材にした論理の練習。

定義１　集合Ａ，Ｂに対し
　　　　　Ａ⊂Ｂ　⇔　任意のa∈Ａに対し，a∈Ｂ

つまりＡ⊂Ｂであることの定義は
任意のa∈Ａに対し，a∈Ｂであることだと言うわけだな。

例題
Ａ⊂Ｂを示せ
１　Ａ＝｛１｝，　Ｂ＝｛１，２｝
２　Ａ＝｛２以上４以下の整数たち｝，　Ｂ＝｛−１以上９以下の整数たち｝
３　Ａ＝｛６の倍数全体｝，　Ｂ＝｛３の倍数全体｝