Debido a que esta es una afirmación con un cuantificador universal, asumimos que existen números realesx yy tal quex≠y,x>0,y>0 y esoxy+yx≤2. (...Debido a que esta es una afirmación con un cuantificador universal, asumimos que existen números realesx yy tal quex≠y,x>0,y>0 y esoxy+yx≤2. (Observe que la negación de la sentencia condicional es una conjunción.)