2021-03-21から1日間の記事一覧

高校数学で習った論理は古典論理だった。

高校数学で学んだ論理は厳密には古典論理(classical logic)あるいは標準論理(standard logic)と呼ばれるそうです。古典とは知らなかったので衝撃でした。 古典倫理より新しい3値論理などは非古典論理(non-classical logic、non-classical logics)と呼…