【VOICEPEAK解説】ずんずん命題論理（２）意味論

１と０のちまちまとした世界なのだ。※動画内容に疑問点・疑義があれば、お気軽にコメントをお願いします。実際、論理学はずぶの素人なので……。（20230410_応答）意味論的演繹定理の系にかんして、その表記が一部不適切になっています。具体的には、有限の書き方でのみ定義される部分が、無限の書き方をすることで定義不可になっています。これについては、第３回のおまけコーナーで、問題点を説明しつつ修正案を提示します。あと無前提の妥当式を書く時、ちょくちょく⊨を入れ忘れています。まじかよ。あと妥当式って言うべきところを推論式って言ってる部分があります。まじかよ。まえ…… https://www.nicovideo.jp/watch/sm42006489 つぎ…… https://www.nicovideo.jp/watch/sm42271709 ずんずん命題論理…… https://www.nicovideo.jp/series/397548

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