p:∃x(>0),x=1とq:∃x,x>0∧x=1として、
pとqの関係はp⇔qだけどp≠qですよね？