平常授業：11/15, 11/29, 12/13, 12/20 休講：11/22, 12/06

授業スライド・宿題 こちらから

前回の復習 クリプキ・フレーム（命題論理） クリプキ・フレーム（述語論理） 宿題

授業第二十回目は直観主義論理のクリプキ・フレームの話の続きです。これまでの授業でやったやりかたでは、排中律など、ある論理式が直観主義論理で証明できないことを示すのが大変でした。クリプキフレームを使用すると、ある論理式が証明できないことを示…