Por ejemplo, sea P (x) la proposición: si "x" > 0 entonces existe "y" tal que 0 < "y" < "x".