慶應義塾大学通信教育過程の記録

文学部1類(哲学)で学んだことを中心に綴っています。時々、ダイエットや漫画、都市伝説の話もします^ ^

2017-04-15から1日間の記事一覧

【慶応通信】論理学(L)及びラーメン大好き小池さん

①論理学(L)いよいよ量化理論の証明です。何冊か論理学における正しい推論の文献を読みましたが「真理関数理論➡恒真➡真理関数の限界p∧q➡r➡量化理論(推論規則の導入,命名,演繹)」 と、ほぼ同じように展開するのですが、真理関数の限界から、一気に加速して、結…