おひつじ｜たんぽぽ牛乳本舗

動画を投稿しているものです。 すきなようにつくっています。

おひつじ｜たんぽぽ牛乳本舗

動画を投稿しているものです。 すきなようにつくっています。

  • 古典命題論理｜ずんずん命題論理

    ・古典命題論理についてのおはなしです。 ・意味論・統語論を導入して、健全性・完全性を証明するところまでやります。 ・ニコニコ・YouTubeで公開中／公開予定の「ずんずん命題論理」の解説資料です。シリーズのURLは以下のとおりです。 ニコニコ｜工事中 YouTube｜工事中

今月の本

　おつかれさまです。おひつじです。 　この記事は、「今月の本」ツイート／ポストを記録しておく記事です。 2023：下半期2023.09 2023.10 2023.11 2023.12 2024上半期2024.01 2024.02 2024.03 ３月の本： 大森荘蔵（1976）『物と心』東京大学出版会 — たんぽぽ牛乳本舗（み゜） (@dandelion_milk_)

おひつじ｜たんぽぽ牛乳…

    • §1　概要｜古典命題論理｜ずんずん命題論理

      　この記事は、マガジン「古典命題論理｜ずんずん命題論理」の１回目です。古典命題論理の概要についてゆるーくお話しします。 　なお、このマガジンは、古典命題論理の体系を解説するものです。このマガジンは、動画シリーズ「ずんずん命題論理」の資料としても用いることができます。 　このマガジンの目次や注意点については、次の記事をご参照ください。 　動画シリーズ「ずんずん命題論理」に興味がおありでしたら、次のリンクをご利用ください。 ニコニコ｜https://www.nicovide

      おひつじ｜たんぽぽ牛乳…

      • 目次｜古典命題論理｜ずんずん命題論理

        　この記事は、古典命題論理を解説するマガジン、「古典命題論理｜ずんずん命題論理」の注意点および目次です。当マガジンの注意点を述べ、各回の目次をそのリンクとともに掲載します。 　古典命題論理の体系を一つの記事で解説すると、かなり重たい記事になってしまうことが予想されますので、分割してマガジンの形でお届けします。以下に各回のリンクを掲載しますので、適宜ご利用ください。 　また、このマガジンは、ニコニコ・YouTubeに投稿している動画シリーズ「ずんずん命題論理」の資料としても

        おひつじ｜たんぽぽ牛乳…

      マガジン

      • 古典命題論理｜ずんずん命題論理
        2本