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