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

■

今回の内容後期授業第八回目は、直観主義論理上で新たな推論規則として排中律を導入し、古典論理を定義します。世間一般の数学では、直観主義論理では証明できない「排中律」という規則をよく使います。直観主義論理に新たに推論規則として排中律を付け加…