2019-08-13から1日間の記事一覧
きょうは、いつもとちがう形式です。せっかくツイッターで言及いただいたので。 ちなみにこの講義は、ふつう命題論理、一階述語論理、余裕があればほかの非古典論理、という順番ですすむところを、命題論理のつぎに様相論理をやり、そのあとで一階述語論理に…
きょうは、いつもとちがう形式です。せっかくツイッターで言及いただいたので。 ちなみにこの講義は、ふつう命題論理、一階述語論理、余裕があればほかの非古典論理、という順番ですすむところを、命題論理のつぎに様相論理をやり、そのあとで一階述語論理に…