Proofmood의 주소는 동영상에는 http://prooofmood.com으로 나오지만 이제는 https://proofmood.mindconnect.cc로 바뀌었습니다.

1. Fitch Proof System, Propositional (명제논리 피치 증명시스템)
   • Fitch_Prop1.mp4 (19min29sec, 39,823KB, 2018-04-26)
   • Fitch_Prop2.mp4 (15min33sec, 29,601KB, 2018-04-26)
   • Fitch_Prop3.mp4 (15min39sec, 29,678KB, 2018-04-26)
   • Fitch_Prop4.mp4 (21min27sec, 48,547KB, 2018-04-26)
   • Fitch_Prop5.mp4 (18min11sec, 36,102KB, 2018-04-26)
   • Fitch_Prop6.mp4 (38min07sec, 88,330KB, 2018-04-26)
2. Introduction to Semantics (의미론 입문)
   • semantics1.mp4 (21min58sec, 1980 x 1080, 2021-02-23)
   • semantics2.mp4 (31min09sec, 1980 x 1080, 2021-02-24)
   • jlogic.zip을 다운 받아 압축을 풀면 윈도즈 프로그램 jlogic.exe와 보조 파일들이 나타납니다.
   • 사용법과 해설은 jlogic.pdf에 있습니다.
   • jlogic.exe는 Windows 10에서 도움말이 작동하지 않습니다. 오래 전에(1999년도) Windows 95에서 개발된 것이므로 그렇습니다. 도움말 기능 외에는 jlogic.exe의 모든 기능이 잘 작동됩니다. (단, iMac의 Parallels 환경에서는 jlogic.exe가 조금 버벅거릴 수 있습니다.)
   • 다운로드나 프로그램 실행단계에서 위험성을 경고하면서 진행을 중지할지를 물을 수 있는데, 그냥 믿고 진행하시면 됩니다.
3. Fitch Proof System , 1st-order (1계논리 피치 증명시스템)
   • Fitch_FO1.mp4 (20min03sec, 45,046KB, 2018-05-04)
   • Fitch_FO2.mp4 (19min47sec, 41,083KB, 2018-05-04)
   • Fitch_FO3.mp4 (17min01sec, 34,178KB, 2018-05-04)
   • Fitch_FO4.mp4 (24min11sec, 45,490KB, 2018-05-04)
   • Fitch_FO5.mp4 (01hr06min48sec, 159,508KB, 2018-05-04)
4. Coq, Propositional Logic and the "apply" tactic
   • Coq_Prop_Logic1.mp4 (23min27sec, 48,713KB, 2018-06-02)
   • Coq_Prop_Logic2.mp4 (12min37sec, 22,029KB, 2018-06-02)
   • Coq_apply_tactic1.mp4 (12min02sec, 20,837KB, 2018-06-05)
   • Coq_apply_tactic2.mp4 (27min49sec, 50,748KB, 2018-06-04)