Usuario:Galindo6/ejercicio 11

• ejercicio 14

sean p(n) , q(n) proposiciones abiertas

                   p(n): $n$ es impar       q(n): $n^{2}$ es par

en el universo del discurso de los enteros. cuales de los siguientes proposiciones son logicamente equivalentes, si?

a)Si el cuadrado de cualquier entero es impar, entonces el entero es par.

b)$\forall n$ (p(n) es necesaria para q(n) ).

c)El cuadrado de cualquier entero impar es impar.

d)Existen algunos enteros cuyos cuadrados son impares.

e)Dado cuaquier entero cuyo cuadrado sea impar, ese entero tambien es impar.

f)$\forall n$ ($\sim$ p(n)$\to$ $\sim$ q(n))

g)Todo entero con un cuadrado impar es impar.

h)Todo entero con uncuadrado par es par.

i)$\forall n$ ( p(n) es suficiente para Q(n))

SOLUCION

A) es logicamente equivalente.

B) es logicamente equivalente.

C) es logicamente equivalente.

D) es logicamente equivalente.

E) es logicamente equivalente.

F) es logicamente equivalente.

G) es logicamente equivalente.

H) es logicamente equivalente.

I) es logicamente equivalente.