おれは>>95だけど、論理学で図を描くのはやめたほうがいいぞ。集合と命題は似てるけど違う。
[ ¬A { A ( B ) } ]
こういう図を描いたんだろうけど、それだと
>違いはAとBが外側でくっついているかいないかです、
この一文に疑問が出てくる。もしかして違う図を思い浮かべてないだろうか。