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