EJERCICIO DE LOGICA:

Indicar Verdadero o Falso, justificando:

a) x: p(x)   x: q(x) es equivalente a  x: [ p(x)  q(x) ]
b)  x: p(x)   x: q(x) es equivalente a  x: [ p(x)  q(x) ]
Solución:
a) Es FALSO. La forma de justificarlo es dando un conjunto y una interpretación de las
funciones proposiciones que hagan una de las partes verdaderas y la otra falsa. Por
ejemplo si consideramos: U = {1,2,3}, p(x): “x es par”, q(x): “x es impar”
Resulta ser verdadera:  x: p(x)   x: q(x) ya que son verdaderas p(2) y q(3)
Pero es falsa:  x: [ p(x)  q(x) ] ya que ninguno de los elementos es par e impar a la vez.
b) Es VERDADERO. Para demostrarlo, no es suficiente mostrar un caso como el ítem
anterior. Lo que se debe hacer es probar que son verdaderos los dos condicionales:
1)  x: p(x)   x: q(x)   x: [ p(x)  q(x) ]
2)  x: [ p(x)  q(x) ]   x: p(x)   x: q(x)
Pero como vemos que en ambos casos hay disyunciones, nos va a resultar dificultoso
probarlos. Por ello podemos considerar el contrarrecíproco de cada uno:
1)  x: p(x)   x: q(x)   x: [ p(x)  q(x) ]
El contrarrecíproco es: ~  x: [ p(x)  q(x) ]  ~ [  x: p(x)   x: q(x) ]
Que se puede escribir como:  x: [ ~ p(x)  ~ q(x) ]   x: ~ p(x)   x: ~ q(x)
Probemos que esto es cierto:
1.  x: [ ~ p(x)  ~ q(x) ] premisa
2. ~ p(a)  ~ q(a) P.U. (1)
3. ~ p(a) L.S. (2)
4.  x: ~ p(x) G.U. (3)
5. ~ q(a) L.S. (2)
6.  x: ~ q(x) G.U. (5)
7.  x: ~ p(x)   x: ~ q(x) L.C. (4,6)
2)  x: [ p(x)  q(x) ]   x: p(x)   x: q(x)
El contrarrecíproco es: ~ [  x: p(x)   x: q(x) ]  ~  x: [ p(x)  q(x) ]
Que se puede escribir como:  x: ~ p(x)   x: ~ q(x)   x: [ ~ p(x)  ~ q(x) ]
Probemos que esto es cierto:
1.  x: ~ p(x) premisa
2.  x: ~ q(x) premisa
3. ~ p(a) P.U. (1)
4. ~ q(a) P.U. (2)
5. ~ p(a)  ~ q(a) L.C. (3,4)
6.  x: [ ~ p(x)  ~ q(x) ] G.U. (5) y de esta forma queda demostrado!!!