2019-02-20から1日間の記事一覧

二重否定除去則と排中律

論理学

直観主義論理は排中律と二重否定除去則が成り立たない論理として知られる。どちらか一方を付け加えると、他方も導出できて、古典論理になる。それでは、排中律と二重否定除去則は同値といってよいのだろうか。もちろん、直観主義論理の上では同値なのだが、…