>>521
いや、∃xP(x)⇔∨[x]P(x) だから、確かに間違ってたよ
指摘は有難い、スレに参加した甲斐があった