Usuario:Cheche8/ejercicio 20

ejercicios capitulo 3

1. Exprese sin usar variables las siguientes dos oraciones verdaderas de aritmetica.

a) ($\exists$x)(($\exists$y)(x+y$\neq$xy)

b) ($\exists$x)($\exists$y)($\exists$z)((x-z)$\neq$(x-y)-z)

solucion

a) existe un x para algun y que cumpla la condicion de que si x mas y es diferente de x por y

b) existe un x para algun y y para algun z que al restarle y menos z a x sea diferente a restarle z a x menos y.