vocalodon.net is part of the decentralized social network powered by Mastodon.
ボーカロイド好きが集うMastodonインスタンス、通称「ボカロ丼(ボカロドン)」です。 ** This server is for "Vocaloid" lovers. If you are not, please select other server. **

Administered by:

Server stats:

243
active users

Learn more

長谷川由紀路

【数学】 集合論

人間: 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を支持するを満たさない人間が、少なくとも一人はいる。

�PNG  IHDR PX�IDATxc8� ����F㣩Hi�: X\?ZIEND�B`�