人間: x
Aを支持しない : x∉A
Bを支持 : x∈B

x∉A → x∈B

Aと支持しないならBを支持する。

を、否定する。

∀x(￢(x∉A → x∈B))

全ての集合xについて、Aを支持しないならばBを支持するということはない。

￢(∀x(x∉A → x∈B))⇔∃x(￢(x∉A → x∈B)))

Aを支持しないならBを支持するを満たさない人間が、が少なくとも一人はいる。

「Aを支持しないならBを支持する」というのは間違いである、という主張を言い換えるならば、Aを支持しないならBを支持するを満たさない人間が、少なくとも一人はいる。