Usuario:Cheche8/ejercicio 18

De Wikilibros, la colección de libros de texto de contenido libre.
Ir a la navegación Ir a la búsqueda

ejercicios 1.3

40

Show that xP(x)xQ(x) and (P(x)Q(x)) are not logically equivalen.


solucion[editar]

xP(x)xQ(x) se le aplicaparticulizacion universal en x a los dos a P(x)y a Q(X)  por tanto queda asi

xP(x)xQ(x)

despues de aplica una generalizacion universal y los simbolos cambian de esta forma por tanto el signo de se transforma en y queda:

(P(x)Q(x))

por consiguiente (P(x)Q(x))es diferente que (P(x)Q(x))

entonces no es una equivalencia logica