全体否定は、∀x¬P(x) これに対して、部分否定は二つ書き方があって、 ∃x¬P(x) ¬∀xP(x) とのこと。 日本語ではなんと読むのだろう。 ∀x¬P(x) は、すべての x について、P(x)ではない。これでは分かりにくいので、任意のどんな x についてもP(x)ではない。とい…