野矢茂樹さんの「入門! 論理学」を読んでいて、個人的にわかりにくかったところがあったのでメモ。 存在量化の除去則 ある x が存在し [Ax]、Aa ならば C -> C これを、「アンパンを食べたものには天罰が下る」といった文を例に説明していたが、この C が何…