>>32
>まず、p⇒q　のベン図は、ｐの丸の中にqの丸があるようになるね？

これは反対じゃありませんか？qの丸の中にpの丸があるのでは？

ttp://shinken.zemi.ne.jp/nigate/math/a14m0119.html

「 p ⇒q 」が真，つまり「 p ⇒q 」が成り立つ，ということをベン図に表してみましょう。
条件pを満たすもの全体の集合をP，条件qを満たすもの全体の集合をQとすると，
Pに含まれているものx は，条件pを満たしています。今，「 p ⇒q 」が成り立っている
のですから，xは条件qも満たしているということになり，xはQに含まれるのです。
つまり，Pに含まれているものはすべて，Qに含まれることになり，このことを集合の
ベン図で表すと，図１のようになります。