『ゲーデルと20世紀の論理学2』を読んでいる者です。今回は、ヤン・ウカシェヴィチによる命題論理の3つの公理図式からなる公理系において、二重否定除去律「」が定理であることを完全性定理を使わずに示します。 背景 「」の具体的な証明が想像できなかった…

命題論理において命題の集合をとしたとき、が矛盾していることと、が充足不能であることが同値であることを証明する。 この記事は、文章の練習とTeX記法の練習でもある。 最近『ゲーデルと20世紀の論理学2』を読んでいるのだが、本命題が暗黙的に使われてい…