素朴集合論（NST） NST-2：命題に「not」を 命題の否定
こんにちは！ケンけんです。前回は、日常から二値論理の妥当性から命題を導入しました。 今回は、命題を否定する方法を取り扱います。 キーワード；命題の否定 導入 国語や英語で簡単な文章を学んだ次に何を学びましたか？おそらく否定文だと思います。「...
論理学と集合論
素朴集合論（NST） 
素朴集合論（NST） NST-3：論理の山場 ならば
こんにちは！ケンけんです。前回は、命題の否定（$not$）を記号化しました。 今回は、２つの命題を結ぶ「結合」と、複雑化する命題の真偽を確認する手段を取り扱います。 キーワード：「$P \Rightarrow Q$」（ならば）・真理値表 導...
素朴集合論（NST） NST-1：命題を知る 命題論理
こんにちは！ケンけんです。今回は命題とは何か、何がしたいのかを書いていきます。 キーワード；二値論理と命題論理 導入 まずは、動機を考えていきます。次のような文章を見ていきましょう。 例 NST-1-1 $4$は偶数である。 鉛筆は筆記具で...
素朴集合論（NST） NST-0：数学の作法 それだけじゃない基礎理論 集合論
こんにちは！ケンけんです。今回から素朴集合論の記事を書いていこうと思います。集合は高校からのつながりで道具として見ることも多いです。 そのため、集合論そのものの面白味と興味が記述されているものが少なく感じたため今回の記事作成に至りました。 ...