Follow

【数学】 集合論 

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

Sign in to participate in the conversation
Vocalodon

ボカロクラスタが集うMastodonインスタンス、通称「ボカロ丼(ボカロドン)」です。

image/svg+xml