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