「犬は寝ている（どの犬も寝ている）」を述語論理的に表現してみると、∀x(Dx→Sx)となる。（Dxはxは犬である、Sxはxは寝ている） 「寝ている犬がいる」は∃x(Dx∧Sx)となる。 では、∀x(Dx∧Sx)ならどのような状況だろうか。 これは、「すべてのものは寝ている犬…