おひつじ｜たんぽぽ牛乳本舗
・古典命題論理についてのおはなしです。 ・意味論・統語論を導入して、健全性・完全性を証明するところまでやります。 ・ニコニコ・YouTubeで公開中／公開予定の「ずんずん命題論理」の解説資料です。シリーズのURLは以下のとおりです。 ニコニコ｜工事中 YouTube｜工事中
おつかれさまです。おひつじです。 この記事は、「今月の本」ツイート／ポストを記録しておく記事です。 2023.092023.102023.11 2023.122024.012024.02 補遺 本を…
この記事は、マガジン「古典命題論理｜ずんずん命題論理」の１回目です。古典命題論理の概要についてゆるーくお話しします。 なお、このマガジンは、古典命題論理の体…
この記事は、古典命題論理を解説するマガジン、「古典命題論理｜ずんずん命題論理」の注意点および目次です。当マガジンの注意点を述べ、各回の目次をそのリンクとともに…
2023年9月1日 20:25
おつかれさまです。おひつじです。 この記事は、「今月の本」ツイート／ポストを記録しておく記事です。2023.092023.102023.112023.122024.012024.02補遺 本を買うことは避けられません。性です。しかし、本を買うことで生活がひもじくなってしまうのは避けたいです。豊かにこそなれ、貧しくなるのはお門違いでございましょう。 どうすれば本を買うことを避けられ
2023年4月25日 18:10
この記事は、マガジン「古典命題論理｜ずんずん命題論理」の１回目です。古典命題論理の概要についてゆるーくお話しします。 なお、このマガジンは、古典命題論理の体系を解説するものです。このマガジンは、動画シリーズ「ずんずん命題論理」の資料としても用いることができます。 このマガジンの目次や注意点については、次の記事をご参照ください。 動画シリーズ「ずんずん命題論理」に興味がおありでしたら、次
2023年4月23日 20:41
この記事は、古典命題論理を解説するマガジン、「古典命題論理｜ずんずん命題論理」の注意点および目次です。当マガジンの注意点を述べ、各回の目次をそのリンクとともに掲載します。 古典命題論理の体系を一つの記事で解説すると、かなり重たい記事になってしまうことが予想されますので、分割してマガジンの形でお届けします。以下に各回のリンクを掲載しますので、適宜ご利用ください。 また、このマガジンは、ニコ
