論理学Ⅰ(山口尚の講義)
申し訳ありませんが,これらは自分のメモであって正しさは保証しません.
山口尚
#論理学
#古典的命題論理
意味論
意味論的妥当性(古典的命題論理)
トートロジー(古典的命題論理)
第一意味論的演繹定理
第二意味論的演繹定理
含意の法則
代入の法則(古典的命題論理)
トートロジーと意味論的妥当性の論証の正しさの基準は一致する(古典的命題論理)
トートロジーのモーダス・ポネンスによって得られる論理式はトートロジーである(古典的命題論理)
構文論(古典的命題論理)
Natural-rule System
Łukasiewicz Propositional logic
構文論的演繹定理
Natural-rule Systemでの証明はŁukasiewicz Propositional logicでの証明に変換可能(古典的命題論理)
Łukasiewicz Propositional logicでの証明はNatural-rule Systemでの証明に変換可能(古典的命題論理)
メタ理論(古典的命題論理)
健全性定理(古典命題論理)
完全性定理(古典的命題論理)
極大(古典的命題論理)
LP矛盾(古典的命題論理)
LP無矛盾(古典的命題論理)
極大無矛盾集合(古典的命題論理)