2011-11-15 ■ 授業第二十回目は直観主義論理のクリプキ・フレームの話の続きです。これまでの授業でやったやりかたでは、排中律など、ある論理式が直観主義論理で証明できないことを示すのが大変でした。クリプキフレームを使用すると、ある論理式が証明できないことを示すのには、それを成立させないフレームを構成すればよいので、「証明できないことを証明する」ことが大変楽になります。