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

前回の復習 宿題の答え合わせ 古典論理と排中律 命題論理と真理表 古典述語論理とモデル 宿題

授業第二十一回目の今回は古典論理の話です。世間一般の数学では、直観主義論理では証明できない「排中律」という規則をよく使います。直観主義論理に新たに排中律を付け加えると、古典論理となり、どのような変化がもたらされるかという話をします。 古典論…