論理学齧ってるがクラス記法ってところが受け付けない
矛盾してるからaは空集合に属するといえさっきaはAに属すると仮定してたからAは空集合に含まれるって言えるよねーだからA=φって証明の仕方が出てくるようになるんだもの。
何も含まない集合が空集合のはずなのに空集合が何かを含むような結論を経由する証明が出てくるようになる
論理的とされる数学がこんな論理を肯定してるということを門外漢が知ったら(的外れな感情ではあろうが)大半は幻滅するだろうし一応自分は真面目に学んでるつもりだがやっぱ支離滅裂にしか見えない。
Permalink |記事への反応(1) | 00:11
ツイートシェア
君が理解していないのは集合や記法ではなく背理法 論理学の教科書の2ページ目から読み直した方がいい