「全称と論理和は相性が悪い」

は成り立つけど、逆は成り立たない。相性悪いですねって講義で言っていた。

あと、としない派が存在するって話が面白かった。

『"犯人じゃない"とは言えない』からって、犯人と断定するのおかしい。という説明で、一瞬、たしかにと思ったけど、いまもう一度考えるとこの例なんかおかしい気がする。