Anda di halaman 1dari 8

1.

4
1.4.1

Equivalencia Lgica o
Proposiciones Lgicamente Equivalentes o

Las proposiciones compuestas P y Q son lgicamente equivalentes y se escribe P Q P Q o o cuando ambas tienen los mismos valores de verdad. Obsrvese que de esta definicin se sigue que para probar que dos proposiciones son lgicamente equive o o alentes hay que probar que si P es verdad, Q tambin ha de serlo y que si P es falso, Q tiene que ser e falso. Obsrvese tambin que otra forma de demostrar lo mismo es probar que P es verdad partiendo de que e e Q lo es y probar que si Q es falso, entonces P tambin lo es. e

Ejemplo 1.18

Demostrar las Leyes de De Morgan.

(a) (p q) p q (b) (p q) p q Solucin o (a) (p q) p q. En efecto, si (p q) es verdad, entonces p q es falso luego p y q son, ambas, falsas y, por lo tanto, p es verdad y q es verdad. Consecuentemente, p q es verdad. Por otra parte, si (p q) es falso, entonces p q es verdad luego una de las dos proposiciones ha de ser verdad y su negacin falsa, luego p q es, en cualquier caso, falso. o (b) (p q) p q En efecto, si (p q) es verdad, entonces p q es falso luego una de las dos proposiciones ha de ser falsa y su negacin verdad, luego p q es verdad en cualquiera de los casos. o Por otra parte, si (p q) es falso, entonces p q es verdad, luego p es verdad y q es verdad, de aqu que p y q sean, ambas, falsas y, consecuentemente, p q sea falso.

1.4.2

Equivalencia Lgica y Proposicin Bicondicional o o

La proposicin P es lgicamente equivalente a la proposicin Q si, y slo si la proposicin bicondicional o o o o o P Q es una tautolog a. Demostracin o Veamos que P Q slo si P Q es una tautolog o a. En efecto, si P Q, entonces tienen los mismos valores de verdad, es decir P y Q son, ambos, verdaderos o falsos, de aqu que el valor de verdad de P Q sea siempre verdadero, es decir es una tautolog a. Rec procamente, probemos que P Q si P Q es una tautolog a. Efectivamente, si la proposicin bicondicional P Q es siempre verdadera, entonces de acuerdo o con su denicin, P y Q son, ambas, falsas o verdaderas, es decir tienen los mismos valores de o verdad y, por tanto, P es lgicamente equivalente a Q. o
De Morgan (Madras 1806-Londres 1871). Naci en la India, donde su padre trabajaba en la East India o Company, aunque realiz sus estudios en el Trinity College, donde obtuvo el grado de cuarto wrangler. Al negarse a pasar o el indispensable examen religioso no consigui plaza en Cambridge ni en Oxford, a pesar de haber sido educado en la Iglesia o de Inglaterra, en la que su madre esperaba que se hiciese pastor. A consecuencia de ello, De Morgan se vio nombrado profesor de matemticas, a la temprana edad de 22 a os, en la recin creada Universidad de Londres, ms tarde University a n e a College de la misma universidad, donde ense o de manera continua, excepto durante breves per n odos a consecuencias de sucesivas dimisiones provocadas por casos de reduccin de la libertad acadmica. De Morgan fue siempre un defensor de o e la tolerancia intelectual y religiosa, as como un profesor y escritor excepcional. Era ciego de un ojo, de nacimiento, lo cual puede explicar algunas de sus inofensivas excentricidades, tales como su odio a la vida rural, su negativa a votar en las elecciones y su renuncia a solicitar el ingreso en la Royal Society. A De Morgan le encantaban los acertijos, rompecabezas y problemas ingeniosos, muchos de los cuales aparecen coleccionados en su libro Budget of Paradoxes, que es una deliciosa stira sobre los cuadradores del c a rculo publicada despus de su muerte por su viuda. De Morgan fue uno de los precursores e de la lgica matemtica y en 1847 public Lgica formal o el clculo de inferencia. o a o o a
2 Augustus

Nota 1.8 En el ejemplo anterior vimos que (p q) p q, luego este teorema afirma que la proposicin bicondicional (p q) p q es una tautolog Veamos que es cierto. En efecto, o a.

p V V F F

q V F V F

pq V F F F

p F F V V

q F V F V

(p q) F V V V

p q F V V V

(p q) (p q) V V V V

1.4.3

Equivalencias Lgicas ms Comunes o a

Al igual que en la implicacin lgica, veamos una tabla con las equivalencias lgicas ms utiles junto o o o a con los nombres que reciben. Idempotencia de la conjuncin y la disyuncin. o o (P P ) P (P P ) P Conmutatividad de la conjuncin y la disyuncin. o o (P Q) (Q P ) (P Q) (Q P ) Asociatividad de la conjuncin y la disyuncin. . o o [(P Q) R] [P (Q R)] [(P Q) R] [P (Q R)] Distributividad de respecto de y de respecto de . [P (Q R)] [(P Q) (P R)] [P (Q R)] [(P Q) (P R)] Leyes de De Morgan. (P Q) (P Q) (P Q) (P Q) Leyes de dominacin. o P T T P C C Leyes de identidad. P T P P C P Doble negacin. o P P Implicacin. o (P Q) (P Q) Exportacin. o [P (Q R)] [(P Q) R] Contrarrec proca. (P Q) (Q P ) Reduccin al absurdo. o (P Q) [(P Q) C]

Ejemplo 1.19 Probar que la proposicin condicional P Q es lgicamente equivalente a su cono o trarrec proca Q P . Solucin o

Veamos que ambos condicionales tienen los mismos valores de verdad. En efecto, si P Q es verdad, entonces P puede ser verdad o falso. Pues bien, si P es verdad, q ha de ser verdad, luego P y Q son, ambas, falsas y, consecuentemente, Q P es verdad. si P es falso, entonces P es verdad y Q P es verdad, cualquiera que sea el valor de verdad de Q. Por lo tanto, en cualquier caso, Q P es verdad. Por otra parte, si P Q es falso, entonces P es verdad y Q es falso, luego Q es verdad y P es falso y, por lo tanto, Q P es falso. Tambin podemos hacerlo escribiendo su tabla de verdad. e P V V F F Q V F V F P Q V F V V Q F V F V P F F V V Q P V F V V (P Q) (Q P ) V V V V

Entonces, el bicondicional (P Q) (Q P ) es una tautolog y por 1.4.2 es una equivalencia a lgica. o Ejemplo 1.20 Solucin o Lo demostraremos partiendo de la segunda proposicin, el razonamiento es ms sencillo y rpido. En o a a efecto, si (P Q) C es verdad, entonces P Q ha de ser falso luego P y Q son, ambas, falsas de aqu que Q sea verdad y P Q tambin. e Por otra parte, si (P Q) C es falso, entonces P Q ha de ser verdad (C siempre es falso) luego P es verdad y Q tambin, de aqu que Q sea falso y P Q sea falso. e Ahora lo haremos comprobando, mediante su tabla de verdad, que la proposicin bicondicional correo spondiente, (P Q) [(P Q) C], es una tautolog a. En efecto, P V V F F Q V F V F P Q V F V V Q F V F V P Q F V F F C F F F F (P Q) C V F V V (P Q) [(P Q) C] V V V V Probar la equivalencia lgica conocida como reduccin al absurdo. o o

Por tanto, y segn 1.4.2, u (P Q) [(P Q) C]

Ejemplo 1.21

Demostrar que (p q) (p q) (p q) (p q).

Solucin o En efecto, (p q) p q (p T ) (q T ) (p (q q)) (q (p p)) {De Morgan} {Identidad} {Tautolog a}

(p q) (p q) (q p) (q p) {Distributividad} (p q) (p q) (p q) (p q) {Commutatividad} (p q) (p q) (p q) {Idempotencia}

Ejemplo 1.22

Establecer las siguientes equivalencias simplificando las proposiciones del lado izquierdo.

(a) [(p q) p] T (b) ((p q) p) C (c) [(q p) (p q) (q q)] p (d) [(p p) (p p)] C siendo C una contradiccin y T una tautolog o a. Solucin o

(a) [(p q) p] T [(p q) p] (p q) p (b) ((p q) p) C ((p q) p) ( (p q) p) {Implicacin} o ((p q) p) (p q) p (p q) p (q p) p q (p p) q C C {Doble negacin} o {De Morgan} {Doble Negacin y De Morgan} o {Conmutatividad de } {Asociatividad de } {Leyes de dominacin} o (p q) p {Implicacin} o {De Morgan}

p (p q) {Conmutatividad de } (p p) q T q T {Asociatividad de } {Leyes de dominacin} o

(c) [(q p) (p q) (q q)] p [(q p) (p q) (q q)] (d) [(p p) (p p)] C [(p p) (p p)] (p p) (p p) {Implicacin} o {Idempotencia y doble negacin} o {Contradiccin} o (q p) (p q) (q q) {Implicacin} o (q p) (p q) T (p q) (p q) p (q q) pC p {Tautolog a} {Conmutatividad} {Distributividad} {Identidad}

p p C

Ejemplo 1.23 Si y son dos operadores lgicos, se dice que o es distributivo respecto de si las proposiciones p (q r) y (p q) (p r) son lgicamente equivalentes. o Probar, usando tablas de verdad, que y son, cada uno, distributivos respecto del otro y que es distributivo sobre s mismo. Solucin o (a) Probaremos que p(q r) (pq)(pr), para lo cual veremos que la proposicin bicondicional o correspondiente es una tautolog En efecto, a. p V V V V F F F F q V V F F V V F F r V F V F V F V F qr V V V F V V V F p (q r) V V V F F F F F pq V V F F F F F F pr V F V F F F F F (p q) (p r) V V V F F F F F V V V V V V V V

Por tanto, p (q r) (p q) (p r) (b) Probaremos ahora que p (q r) (p q) (p r), para lo cual veremos que la proposicin o bicondicional correspondiente es una tautolog En efecto, a. p V V V V F F F F q V V F F V V F F r V F V F V F V F qr V F F F V F F F p (q r) V V V V V F F F pq V V V V V V F F pr V V V V V F V F (p q) (p r) V V V V V F F F V V V V V V V V

Por tanto, p (q r) (p q) (p r)

(c) Probaremos, nalmente, p (q r) (p q) (p r), para lo cual veremos que la proposicin bicondicional correspondiente es una tautolog En efecto, o a. p V V V V F F F F q V V F F V V F F r V F V F V F V F q r V F V V V F V V p (q r) V F V V V V V V p q V V F F V V V V p r V F V F V V V V (p q) (p r) V F V V V V V V V V V V V V V V

Por tanto, p (q r) (p q) (p r)