記号論理学で
１）AはBである
２）AはBではない
これが矛盾律にならない場合ってないよね？(;´Д`)