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