【VOICEPEAK解説】ずんずん命題論理（３）統語論

正しいものから正しいものを導くのだ。※動画内容に疑問点・疑義があれば、お気軽にコメントをお願いします。実際、論理学はずぶの素人なので……。（20231029_応答）(1) ∧Eの横線の上の「φ, ψ」は、「φ∧ψ」の誤植です！！！　ご指摘いただいた方、ありがとうございます。毎度助かっております。編集ミスは尽きないので、こんな感じで適宜ご指摘いただけると幸いです……！(2) 次の動画のリンクを貼りました。これもご指摘いただいた内容です（（４）のほうでご指摘いただきました）。ありがとうございます。わすれっぽいんだワ。（20240216_応答）C. 「有限論理の論理式の数は可算無限、は誤り」の旨>14:51A. おっと……Goedelが念頭にあったのはそうなのですが、不学ゆえしっかりお答えすることができない内容です。参考文献等ありましたらお教えいただけますと幸いです。勉強してきます。（20240222_追記）C. キューネン。A. やっぱキューネン読まなきゃだめですかねえ、だめですよねえ、数学基礎論沼すぎて避けてたのが露呈しましたか……。まえ…… https://www.nicovideo.jp/watch/sm42060279 つぎ…… https://www.nicovideo.jp/watch/sm42891860 ずんずん命題論理…… https://www.nicovideo.jp/series/397548

http://www.nicovideo.jp/watch/sm42271709