>>356
ありがとうございます。
たしかに、A⊃Bの場合にベン図で考えてみると、(A∧B)⊃Bがなりたっていますね。
でも、(A∧B)⊃BはA⊃Bの時にのみ成り立つという条件は必要ないのですか?
例えば、(A∧B)⊃B(A⊃Bの時)のようにです。

あとBがよく分かりません。
A⊃Bと仮定する。するとx∈B⇒x∈Aである。はわかりますが、
共通部分A∧Bの定義は、x∈A∧B⇔x∈Aかつx∈Bなので、(x∈B⇒x∈A)はx∈A∧Bにはならなくないですか?