formula_100"x" P"x" = Para algún "x", se da P"x".