>>14
将棋嫌い=A 数学者=x
¬(∃x A(x)) ⇔ ∀x ¬A(x)
全く的外れな主張ですねわかります