しばらく放ったらかしにしていたけどまた少し読み進める。 誰にでも、誰か好きではない人がいる ∀x∃y¬Fxy 誰からも好かれる人はいない ¬∃y∀xFxy 全称量化と存在量化。こういうのを記号で表せることに惹かれているのかもしれない。ただ、述語論理でもやっぱり公理系の話になると途端によく分からなくなる。