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