2020-12-08から1日間の記事一覧

■

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