行列もなんもいらんから論理を徹底的にやったほうがいい。数学にも数学以外にも不可欠
「AならばBである」と「BならばAである」が等価でないこと、みたいな