■

古典論理での証明に関する問題演習とします。問題は当日配布します。

注：先週、宿題として、古典論理（直観主義論理＋排中律）で二重否定除去則などを証明しようという問題がでており、その答合わせにあたります。お時間がある方はどうぞ。