La palabra clave “siempre que” sugiere que debemos usar un cuantificador universal. \[\forall x,y\,(x\mbox{ is rational} \wedge y\mbox{ is irrational} \Rightarrow x+y\mbox{ is irrational}). \nonumber\...La palabra clave “siempre que” sugiere que debemos usar un cuantificador universal. ∀x,y(x is rational∧y is irrational⇒x+y is irrational).También se puede escribir como∀x∈Q∀y∉Q(x+y is irrational). Aunque esta forma parece complicada y parece difícil de entender (principalmente porque es bastante simbólica, de ahí que parezca abstracta e incomprensible para muchos estud…
