「∀"xpx"」は存在記号と否定記号とを用いて、「￢∃"x"￢"px"」と表現することもできる。