目次｜古典命題論理｜ずんずん命題論理
この記事は、古典命題論理を解説するマガジン、「古典命題論理｜ずんずん命題論理」の注意点および目次です。当マガジンの注意点を述べ、各回の目次をそのリンクとともに掲載します。
古典命題論理の体系を一つの記事で解説すると、かなり重たい記事になってしまうことが予想されますので、分割してマガジンの形でお届けします。以下に各回のリンクを掲載しますので、適宜ご利用ください。
また、このマガジンは、ニコニコ・YouTubeに投稿している動画シリーズ「ずんずん命題論理」の資料としてもお読みいただけます。興味がおありの方は、以下のリンクからご覧ください。
注意点
このマガジンをお読みになる方は、次の諸点にご注意ください。
素人仕事であること。
誤りを含む可能性が高いこと。
情報を鵜呑みにしないこと。
このマガジンは、論理学を学んで日の浅い素人が、自身の理解を確かめるとともに、論理学に興味がある人にわずかばかりの情報を提供するものです。したがって、このマガジンにはいくつもの誤りが含まれる可能性があります。各記事をお読みになる際は、この可能性を念頭に置いた上でご覧ください。もし誤りを発見されたら、Twitterなどでお知らせいただけるとありがたいです。都度更新していきます。
目次
§1 概要
§1.1 古典命題論理とは
§1.2 古典命題論理で用いることば
§1.3 このマガジンの目標
§1.4 参考文献
§2 意味論
§2.1 意味論とは
§2.2 真理関数の意味論
§2.3 ¬、∧、∨、→の真理値表
§2.4 演繹定理
URL:工事中
§3 演習：意味論
§3.1 恒真性／妥当性
§3.2 同一律・矛盾律・排中律
§3.3 対偶律・推移律
§3.4 ド・モルガンの法則
§3.5 その他の演習問題
URL:工事中
§4 統語論
§4.1 統語論とは
§4.2 自然演繹の統語論
§4.3 ¬、∧、∨、→の演繹規則
§4.4 演繹定理
URL:工事中
§5 演習：統語論
§5.1 演繹可能性／証明可能性
§5.2 同一律・矛盾律・排中律
§5.3 対偶律・推移律
§5.4 ド・モルガンの法則
§5.5 その他の演習問題
URL:工事中
§6 健全性定理
§6.1 メタ定理とは
§6.2 健全性と完全性
§6.3 健全性定理の概要
§6.4 健全性定理の証明
URL:工事中
§7 完全性定理
§7.1 完全性定理の概要
§7.2 「リンデンバウムの補題」の証明
§7.3 「極大無矛盾集合の充足可能性定理」の証明
§7.4 完全性定理の証明
URL:工事中
§8 おわりに
§8.1 これまでの記事のまとめ
§8.2 述語論理への発展
§8.3 様相命題論理への発展
§8.4 その他の論理体系への発展
§8.5 このマガジンのまとめ
URL:工事中
この記事の内容は以上です。