ALGEBRA DE PROPOSICIONES Para cualesquiera proposiciones p, q, r, cualquier tautologa Vo y cualquier contradiccin Fo, Ley Expresin Ley de doble negacin

p p Leyes de De Morgan: (pq) pq (pq) pq Leyes de De Morgan generalizadas. (pqrs...z)pqrs...z (pqrs...z)pqrs...z Leyes conmutativas pqqp p q q p p q q p Leyes asociativas p ( q r) (p q) r p (q r) (p q) r p ( q r) (p q) r Leyes distributivas p ( qr) (pq)(pr) p ( qr) (pq) (pr) p ( q r) (pq) (pr) p(qr)(pq)(pr) Leyes distributivas generalizadas p( qrs...z)(pq)(pr)(ps) (pz) p( qrs...z)(pq)(pr)(ps) (pz) Leyes de idempotencia ppp ppp Leyes de identidad p Fo p p Vo p Leyes inversas p p Vo p p Fo Leyes de dominacin p Vo Vo p Fo Fo Leyes de absorcin p (p q) p p (p q) p Expansiones Booleanas pp(qq) pp(qq)

Las leyes del lgebra de proposiciones se utilizan para demostrar equivalencias y para realizar simplificaciones de expresiones lgicas. Por ejemplo Utilizando las leyes del lgebra, simplificar la proposicin compuesta: {[(pq)r]q}.

Simplificar es hallar una proposicin ms sencilla que sea lgicamente equivalente a la dada, pera este caso, el procedimiento se ilustra a continuacin. Ley de Morgan {[(pq)r]q}[(pq)r]q Ley de doble negacin [(pq)r]q [(pq)r] q [(pq)r] q (pq)(r q) Ley asociativa de (pq)(r q) (pq)(qr) Ley conmutativa de (pq)(qr)[(pq)q]r Ley asociativa de [(pq)q]r [q(qp)]r Ley asociativa de y de Ley de absorcin [q(qp)]r qr Por lo tanto , {[(pq)r]q}qr. Otro ejemplo: Demuestre que [p(qr)](qr)(pr)r. El procedimiento a seguir es similar al caso anterior: [p(qr)](qr)(pr) Ley asociativa de [p(qr)][(qr)(pr)] Ley distributiva de con [p(qr)][(qr)(pr)] [p(qr)][(qp) r] respecto a [p(qr)][(qp) r] [(pq)r][(qp) r] Ley asociativa de Ley distributiva de con [(pq)r][(qp) r] [(pq)(qp)]r respecto a Ley de Morgan [(pq)(qp)]r [(pq) (qp)]r [(pq) (qp)]r Vor r Por lo tanto, [p(qr)](qr)(pr)r Ley inversa Ley de identidad

3.3.17 Conjunto de conectivas funcionalmente completo Cualquier conjunto de conectivas que sirva para expresar cualquier frmula proposicional en trminos de otra equivalente, que contenga slo las conectivas de ese conjunto, se llama conjunto de conectivas funcionalmente completo. Se supone que tal conjunto no contiene conectivas redundantes; es decir una conectiva que pueda expresarse en funcin de las otras conectivas del conjunto. Ejemplos: { , }, {, }, { ,}, {Fo,}. Se puede demostrar que todas las 20 conectivas de la lgica bivalente se pueden expresar en trminos de la conectiva | (no-Y) o la conectiva (no-O), por lo que cada una de estas conectivas, individualmente, forma un conjunto de conectivas funcionalmente completo { | } y { }, que se denominan conjunto funcionalmente completo mnimo o, brevemente un conjunto mnimo, que resultan tiles en la economa del diseo de circuitos electrnicos. 3.3.18 Algunas equivalencias tiles que permiten expresar algunas conectivas en trminos de otras 1. pq pq 2. (pq) pq 3. pq (pq) 4. pq (pq) 5. pq (pq) 15. p q (pq)(pq) 16. p q (pq) 17. pq (pq)(qp) 18. p | q (pq) 19. p q (pq)

6. p q (pq)(pq) 7. pq [(pq)(pq)] 8. pq pq 9. p pFo 10. pq (pq)(pq) 11. pq (p q) (p q) 12. p p | p 13. (pq)(p | p) | (q | q) 14. pq[(p| p) |(q|q)] | [(p|p) |(q|q)]

20. pq [(pq)(pq)] 21. pq (pq)(pq) 22. pq (pq) 23. pq (pFo)q 24. pq (p p) (q q) 25. p p p 25. pq (p | q) | (p | q) 26. p|q[(p p) (qq)] [(pp) (qq)] 27. (pq)(pq)(qp)

Ejemplo 1: Expresar la frmula proposicional (pq) r en trminos de las conectivas y PROCESO [(pq) r][(pq)(qp)]r [(pq)(qp)] r {[(pq)(qp)] r} RAZN Equivalencia27 (pq)(pq)(qp) Equivalencia 5 pq (pq) Equivalencia 3 pq (pq)

Por lo tanto (pq) r, se puede expresar en trminos de las conectivas {, }, resultando que: [(pq) r] {[(pq)(qp)] r} Ejemplo 2: Expresar la frmula proposicional (p q) r en trminos de las conectivas y PROCESO RAZN Equivalencia 8 [(pq) r](pq) r pq pq Equivalencia 4 [ (pq) r] pq (pq) Por lo tanto (pq) r, se puede expresar en trminos de las conectivas { , }, resultando que: (pq) r [ (pq) r] Ejemplo 2: Expresar la frmula proposicional (p q) (pq) en trminos de las conectivas y PROCESO RAZN Equivalencia 1 (p q) (pq)(pq) (pq) pq pq Equivalencia 1 (pq)(pq) pq pq

Equivalencia 4 4. pq (pq) Por lo tanto [(p q) (pq)], se puede expresar en trminos de las conectivas {, }, resultando que: [(p q) (pq)] (pq)(pq) Otros procedimientos de decisin:
METODO DE REDUCCIN AL ABSURDO.

(pq)(pq)

Como se afirm antes el mtodo de la tablas de verdad, resulta demasiado laborioso, cuando las el nmero de variables proposicionales involucradas es grande. Para evitar esta dificultad se propone un mtodo ms apropiado para proposiciones condicionales, que generalmente es mucho ms rpido, llamado reduccin al absurdo, el cual es una abreviacin del mtodo de las tablas de verdad, que consiste en suponer que el antecedente es falso y si desarrollando esta suposicin se llega a una contradiccin, entonces se pude firmar que la formula en cuestin es vlida( tautolgica); pero si no surge la contradiccin, entonces se trata de una frmula no vlida( contradictoria o contingente) Ejemplo: Considrese la siguiente frmula: [(pq) q]q Paso 1: Constryase un casillero y sobre l colquese l frmula de tal modo que a cada variable y a cada constante le corresponda una casilla. [(p q) q] p

Paso 2: Supngase que la frmula es falsa. Escrbase F en la casilla correspondiente al conectivo principal: [(p q) q] F 1 p

Paso 3: Dado que una condicional es falsa nicamente si su antecedente es verdadero y su consecuente es falso. Entonces se coloca una V debajo del conectivo principal del antecedente y una F debajo del conectivo principal del consecuente [(p q) V 2 q] F 1 p F 3

Paso 4: Como la conjuncin (indicada con el nmero 2) es verdadera nicamente si ambos miembros son verdaderos, entonces se coloca una V debajo del conectivo principal del conjuntivo izquierdo y debajo del conjuntivo derecho( como el conjuntivo izquierdo slo es una letra proposicional se coloca V debajo de esta letra)

[(p

V 4

q)

V 2

q] V 5

F 1

P F 3

Paso 5: Como todas las variables proposicionales tienen un valor de verdad asignado P: V y q: F, este valor de verdad se coloca debajo de la variable correspondiente [(p F 5 V 4 q) V 6 V 2 q] V 5 F 1 P F 3

Paso 6: Se verifica que no haya contradiccin. La Condicional 4 es verdadera, lo cual no est en contradiccin con que p sea F y q sea V, por lo tanto no hay contradiccin. Como no se llega a una contradiccin, se puede concluir que [(pq) q]q, y en consecuencia se trata de una frmula no vlida. Ejemplo 2: Considrese la siguiente frmula [(p q)( pr)]q Paso 1: Distribyase las variables y las conectivas [(p q) (p r)] q

Paso 2: Supngase que la frmula es falsa [(p q) (p r)] F 1 q

Paso 3: Puesto que la condicional (1) es falsa, entonces su antecedente debe ser verdadero( colocar una V debajo del conectivo principal del antecedente) y su consecuente debe ser ( colocar una F debajo del conectivo principal del consecuente, pero como en este caso es solo una variable proposicional se coloca F debajo de ella) [(p q) V 2 (p r)] F 1 q F 3

Paso 4: La conjuncin (2) es verdadera, por lo tanto, sus dos miembros o conjuntivos deben ser verdaderos( Se coloca V debajo de las conectivas principales de los dos miembros de la conjuncin 2, es decir en los campos indicados por 4 y 5) [(p q) (p r)] q V V V F F 4 2 5 1 3 Paso 5: Los dos miembro de la conjuncin (4) han de ser verdaderos, para que la conjuncin (4) sea verdadera( entonces se coloca V en 6 y 7)

[(p V 6

V 4

q) V 7

V 2

(p

V 5

r)]

F 1

q F 3

Se detiene el proceso, porque entre (7) y (3) ha surgido una contradiccin y se puede, en consecuencia, afirmar que [(p q)( pr)]q, es una frmula vlida( es decir tautolgica). Ejemplo 3: Considrese la frmula: [(pq)(qr)q](rp) Paso 1: Distribyase las variables y las conectivas [(p q) (q r) q] (r p)

Observe que la negacin tambin es un operador, por lo tanto , se le ha asignado una casilla Paso 2: Supngase que la frmula en cuestin es falsa: [(p q) (q r) q] F 1 (r p)

Paso 3: Para que la condicional (1) sea falsa, es preciso que su verdadero y su consecuente sea falso {[(p q) (q r)] q} (r V F 2 1 Paso 4: Para qua la conjuncin (2) sea verdadera, ambos miembros verdaderas: {[(p q) (q r)] q} (r V V V F 4 2 5 1 Paso 5: Para que la conjuncin (4) sea verdadera entonces ambos deben ser verdaderos {[(p q) (q r)] q} (r V V V V V F 6 4 7 2 5 1 Paso 6: Obsrvese que en (5) lo que es debe ser verdadera {[(p q) (q r)] V V V 6 4 7

antecedente sea F 3 p)

de ella debe ser F 3 p)

miembro de ella F 3 p)

verdadera es la negacin de q, por lo tanto q V 2 V 5 q} F 8 F 1 (r F 3 p)

Paso 7: Pero si q es falso, el antecedente de la condicional 6 tambin debe ser falso( para que no haya contradiccin, con el valor asignado, V para la condicional) {[(p F V 9 6 q) F 10 V 4 (q F 11 V 7 r)] V 2 V 5 q} F 8 F 1 (r F 3 p)

Paso 8: Colquese en el consecuente de la condicional (1) los valores obtenidos (P: V y P: F) {[(p q) (q r)] q} (r p) F V F V F V V V F F F V F 9 6 10 4 11 7 2 5 8 1 3 13 12 Paso 9: Para que la conjuncin 3 sea falsa, r debe ser falsa: {[(p q) (q r)] q} F V F V F V V V F F 9 6 10 4 11 7 2 5 8 1 (r F 14 F 3 V 13 p) F 12

Paso 10: Siendo q; F, para que la disyuncin (7) sea verdadera, r debe se verdadera, pero r es falsa. Por lo tanto se ha llegado a una contradiccin y, por lo tanto, [(pq)(qr)q](rp), es una frmula vlida o tautolgica.

3.3.19 Formas normales: Las frmulas o expresiones proposicionales pueden adoptar dos formas tiles para la identificacin y comparacin de expresiones lgicas, y para aplicaciones tecnolgicas, denominadas formas normales, que consisten en una frmula proposicional equivalente a la original que contiene como mximo tres conectivas: disyuncin, conjuncin y negacin (es decir no contiene ni condicional ni bicondicional).Existen dos tipos de formas normales: la forma normal conjuntiva y la forma normal disyuntiva. 3.3.19.1 Forma normal conjuntiva: Una frmula est en forma normal conjuntiva(FNC) si y slo si cumple estas dos condiciones: El smbolo lgico dominante es , por lo tanto debe tener la forma ABC... Los miembros A, B, C de las conjunciones A BC... estn constituidos por uno, varios o la totalidad de los siguientes elementos: una proposicin atmica, la negacin de una proposicin atmica y/o las negaciones de los mismos, varias disyunciones de proposiciones atmicas y/o de sus respectivas negaciones. Note que aqu est incluido el caso de que la frmula en FNC est constituida por una sola variable proposicional o por su negacin. Ejemplos: p pq (pq)r (pq)( pp)(pqqr) (p p)(q q r)(p r r ) Una frmula en FNC es tautolgica si y slo si en cada miembro de las conjunciones (que estn constituidos por disyunciones) aparece una variable y su negacin. As, el

ltimo de los ejemplos anteriores es una tautologa, ya que el primer miembro contiene a p y p, el segundo a q y q , y el tercero a r y r. 3.3.19.2 Forma normal disyuntiva: Una frmula est en forma normal disyuntiva(FND) si y slo si cumple estas dos condiciones: El smbolo lgico dominante es , por lo tanto, debe tener la forma ABC... Los miembros A, B, C de las disyunciones A BC... estn constituidos por uno, varios o la totalidad de los siguientes elementos: una proposicin atmica, la negacin de una proposicin atmica y/o las negaciones de los mismos, varias conjunciones de proposiciones atmicas y/o de sus respectivas negaciones. Ejemplos: p pq (pq)r (p q)( pp)(pq qr) (p p)(q q r)(p r r ) Una frmula en FND es una contradiccin si y slo si en cada miembro de las disyunciones, aparece una variable proposicional con su respectiva negacin. De esta forma el ltimo ejemplo anterior es una contradiccin ya que el primer miembro de la disyuncin contiene a p p, el segundo a q y q, y el tercero a r y r. PROCEDIMIENTO PARA OBTENER LA FORMA NORMAL CONJUNTIVA Para lograr que una frmula est en Forma normal conjuntiva, se debe realizar el siguiente procedimiento 1) Eliminar todo bicondicional y condicional que estn presentes en la frmula, utilizando las siguientes equivalencias( ya vistas pero que se recuerdan aqu) Si se presenta Se transforma en PQ (PQ)(QP) PQ PQ PQ (PQ) 2) Interiorizacin de los negadores. Consiste en llevar el negador lo ms al interior que sea posible, de modo que afecte slo a variables proposicionales. Para lo cual puede utilizar las siguientes Si se presenta Se transforma (PQ) P Q ( Primera Ley de De Morgan) (P Q) P Q ( Segunda Ley de De Morgan) P (Doble negacin) P 1) Aplicacin de la ley distributiva, con el fin de situar el conjunto fuera de los parntesis y el disyuntor dentro. Si se presenta Se transforma en P (QR) (PQ) ( PR) Ley distributiva de con respecto a 2) Simplificacin y reordenacin: Si se presenta Se transforma en Justificacin

PP PP PQ PQ

P P QP QP

Idempotencia de Idempotencia de Conmutatividad de Conmutatividad de

Ejemplo 1: Hallar la forma normal conjuntiva de la frmula (pq)(qp) Se transforma en Justificacin Eliminacin de condicionales y (pq)(qp) pq pq
bicondicionales

(pq)(qp) (pq)(qp)
Interiorizacin de los negadores

pq pq (pq)pq pp (pq)(qp) conmutativa

(pq)(q p) (pq)(qp) (qp)(pq)

Aplicacin Ley distributiva

Ley

[(qp)p][(qp)q]
Se pueden eliminar los parntesis y reordenar aplicando la ley asociativa de y la ley conmutativa de

[ppq][pqq] Por lo tanto la forma normal conjuntiva de (p q)(qp) es [ppq][pqq], por lo tanto: (pq)(qp) [ppq][pqq] Si observa la forma normal conjuntiva, puede notar que en cada miembro aparece una variable y su negacin como miembro de la disyuncin, por lo tanto se trata de una frmula vlida o tautolgica. Ejemplo 2: Hallar la forma normal conjuntiva de la frmula: [(pq)p]q Se transforma en Justificacin Eliminacin de condicionales y [(pq)p]q pq (pq)
bicondicionales

{[(pq)p]q} {[(pq)p]q}
Interiorizacin de los negadores

pq (pq) (pq)pq

{[(pq)p]q} {[(pq)p]q} [(pq)p]q [(pq)p] q [(pq) p] q [(p q)p]q [(p q)p]q

(p q)(pq) (pq) (p q)
Aplicacin Ley distributiva

[(pq)p] [(pq)q]
Se pueden eliminar los parntesis y reordenar aplicando la ley asociativa de y la ley conmutativa de

[ppq][pqq] Por lo tanto la forma normal conjuntiva de [(pq)p]q es [ppq][pqq], por lo tanto: [(pq)p]q [ppq][pqq] Si observa la forma normal conjuntiva, puede notar que en cada miembro aparece una variable y su negacin como miembro de la disyuncin, por lo tanto se trata de una frmula vlida o tautolgica. Ejemplo 3: Hallar la forma normal conjuntiva de la frmula: [(p q) q] p Se transforma en [(pq)q]p
Eliminacin de condicionales y bicondicionales

Justificacin pq pq

[(pq)q]p [(pq)q]p {[(pq)p]q}

Interiorizacin de los negadores

pq (pq) (pq)pq

[(pq)q]p [(pq)q]p [(pq)q]p (pq)(qp) (qp) (pq)

Aplicacin Ley distributiva

[(qp)p] [(qp)q]
Se pueden eliminar los parntesis y reordenar aplicando la ley asociativa de y la ley conmutativa de

[ppq][ pqq] (pq)(pq) (pq) Por lo tanto la forma normal conjuntiva de [(pq)q]p es (pq) por lo tanto: [(pq)p]q (pq) Si observa la forma normal conjuntiva, puede notar que no corresponde a una frmula tautolgica, ya que en cada miembro( en este caso uno solo) no aparece una variable y su negacin.

PROCEDIMIENTO PARA OBTENER LA FORMA NORMAL DISYUNTIVA Para hallar la frmula que este en forma normal disyuntiva equivalente a una frmula dada, se procede se la siguiente forma: 1) Eliminar todo bicondicional y condicional que est presente en la frmula, utilizando las mismas equivalencias dadas para el caso de la forma normal conjuntiva 2) Interiorizacin de los negadores. Idntica que lo indicado para la forma normal conjuntiva. 3) Aplicacin de la ley distributiva, con el fin de situar el disyuntor fuera de los parntesis y el conjunto dentro. Si se presenta Se transforma en P (QR) (PQ) ( PR) Ley distributiva de con respecto a 4) Simplificacin y reordenacin de los resultados. Idntico que para la forma normal conjuntiva Ejemplo 1: Hallar la forma normal disyuntiva para la frmula [(pq)(pr) ](st) Se transforma en Justificacin [(pq)(pr) ](st) Eliminacin de condicionales y pq pq
bicondicionales [(pq)(pr) ](st) Interiorizacin de los negadores [(pq)(pr) ](st) [(pq)(pr) ](st) [(pq)(pr) ](st) (st)[(pq)(pr) ] Aplicacin Ley distributiva

(pq)pq

[(st)(pq)] [(st)(pr)] [(pq) (st)] [(pr) (st)] {[(pq)s] [(pq)t]} {[(pr)s] [(pr)t]}
Se pueden eliminar los parntesis y reordenar aplicando la ley asociativa de y la ley conmutativa de

[(pqs] [pqt] [prs] [prt] Por lo tanto la forma normal disyuntiva de [(pq)(pr) ](st) es [(pqs] [pqt] [prs] [prt], por lo tanto: Si observa la forma normal disyuntiva, puede notar que no corresponde a una frmula contradictoria, ya que en cada miembro no aparece una variable y su negacin. Ejemplo 5: Aplquese lo mtodos de a) tablas de verdad b) Reduccin al absurdo, y c) Formas normales

Con el fin de comparar y verificar que estos tres mtodos proporcionan los mismos resultados. Considere la frmula: [(pq)(qr)](pr) a) Tabla de verdad: 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 [~(p F F F F F F V V q) ( q r)] V F V V F F V F V V F V V F V V F F F V V F V V (~p V F V F V F V F V V V V V V V V r) V F V F V V V V

De acuerdo con la tabla de verdad, la frmula [ (pq)(qr)](pr), es vlida o tautolgica. b) Reduccin al absurdo Paso 1: Distribyase las variables y las conectivas q) (q r) [ (p r)] ( p

Paso 2: Supngase que la frmula es falsa q) (q [ (p r)]

F 1

r)

Paso 3: Ya que la condicional 1 es falsa, su antecedente debe ser verdadero y su consecuente debe ser falso q) (q r) [ (p r)] ( p V F F 2 1 3 Paso 4: La conjuncin (2) es vrdadera, por lo tanto sus dos miembros deben ser verdaderos q) (q r) [ (p r)] ( p V V V F F 4 2 5 1 3 Paso 5: La negacin (4) es verdadera, por lo tanto lo que ella afecte debe ser falso [ V 4 (p F 6 q) V 2 (q V 5 r)] F 1 ( p F 3 r)

Paso 6: Las disyunciones (3) y (6) son falsas si sus miembros son ambos falsos

[ V 4

(p F 7

F 6

q) F 8

V 2

(q

V 5

r)]

F 1

( F 9

F 3

r) F 10

Paso 7: Ya que la negacin (9) es falsa, la frmula afectada por ella es verdadera q) (q r) [ (p r)] ( p V F F F V V F F V F F 4 7 6 8 2 5 1 9 11 3 10 Paso 8: Se interrumpe el proceso, ya que entre (7) y (11) se produjo una contradiccin. En consecuencia, se puede afirmar que la frmula [(pq)(qr)](pr) es una frmula vlida o tautolgica. c) Formas normales [(pq)(qr)](pr) Hallar la forma normal disyuntiva para la frmula [(pq)(pr) ](st) Se transforma en Justificacin Eliminacin de condicionales y [(pq)(qr)](pr) pq pq
bicondicionales [(pq)(qr)](pr) [(pq)(qr)](pr)

Interiorizacin de los negadores [(pq)(qr)](pr) [(pq)(qr)](pr) [(pq)(qr)](pr) [(pq)( qr)](pr) [(pq) (pr)] ( qr) Aplicacin Ley distributiva [(pq) (pr)] ( qr) {[(pq) (pr)] q}{[(pq) (pr)] r)} Reordenacin y simplificacin de resultados Se pueden eliminar los parntesis y reordenar aplicando la ley asociativa de y la ley conmutativa de

(pqpr q)(pq pr r) (pp q r)(p pq r r) Por lo tanto la forma normal conjuntiva de [(pq)(qr)](pr) es (pp q r)(p pq r r), por lo tanto: [(pq)(qr)](pr) (pp q r)(p pq r r) Si observa la forma normal conjuntiva, puede notar que no corresponde a una frmula vlida o tautolgica, ya que en cada miembro aparece una variable y su negacin. DEMOSTRACIONES DE IMPLICACIONES ALGEBRA DE PROPOSICIONES LGICA UTILIZANDO

Se dice que una proposicin P implica lgicamente a una proposicin Q, si cada vez que P es verdadera, Q tambin lo es. Esta definicin proporciona inmediatamente un mtodo para demostrar una implicacin sin tener que recurrir a tablas de verdad, que

ser til sobre todo en los casos en que, la proposicin implicante(la que est a la izquierda en la implicacin) sea una variable proposicional o una variable proposicional negada: Si se supusiera inicialmente que la proposicin implicante, P, es verdadero, es decir se reemplaza en P en por V en la proposicin implicada( la que se encuentra al lado derecho en la relacin de implicacin), esto debera conducir a que la proposicin implicada fuera verdadera( si la implicacin es vlida). Entonces, esto quiere decir que si se procede como se explic antes, es posible reducir la proposicin implicada mediante manipulaciones algebraicas, a la constante Vo. Este tipo de demostraciones se denominan demostraciones directas, en las cuales se parte del antecedente y se intenta obtener al consecuente Para expresar la implicacin de una forma adecuada muchas veces se utiliza la contrarrecproca de la implicacin original, ya que al ser lgicamente equivalentes, demostrar una implicacin equivale a demostrar su implicacin contrarrecproca asociada. Ejemplo 1: Demostrar (pq)(pq) Se supone que el termino implicante es verdadero, esto es (p q) es verdadero, por lo tanto, p:V y q:V, ahora con estos valores se manipula el termino implicado para ver si se puede reducir a V Reemplazando p: V, q: V pq VoVo Vo Simplificando Con esto se demuestra que la implicacin es vlida. Ejemplo 2: p qp Sea p Verdadero, entonces: Definicin q p q p q Vo p Vo ( Se reemplaza p por Vo en la expresin implicada) Identidad ( La expresin implicada se ha reducido a V) Vo Con esto se demuestra que la implicacin: p q p Ejemplo 3: (pq)p q Equivale a demostrar: q [ ( p q ) p ] Sea q Verdadero, entonces: [ p q ) p ]

( Contrarrecproca )

[ ( p q ) p ] ( p q ) p [(p ) q ] p ( p q ) p ( p Vo ) p p p Vo

Definicin De Morgan De Morgan Doble Negacin q Vo( Se reemplaza q por V) Identidad Complemento( La expresin implicada se ha reducido a V)

Tambin se puede demostrar directamente ( p q ) p q Se supone que el implicante es verdadero ( p q ) p : V, por lo tanto, ambos miembro de la conjuncin deben ser verdaderos, es decir ( p q ):V y p: V, entonces, reemplazando la segunda en la primera, se obtiene (V q):V, por lo tanto, q debe ser verdadera( para que se cumpla que pq) sea verdadero. Se tiene, entonces p:V y q:V, reemplazando en el consecuente, se obtiene que q: V, y se ha demostrado que la implicacin es vlida

3.3.20 Dual de una proposicin y principio de dualidad: Sea P una proposicin. Si P no contiene conectivas distintas de y , entonces el dual de P, que se denota como P d, es la proposicin que se obtiene de P al reemplazar cada ocurrencia de y con e , respectivamente, y cada ocurrencia de Vo y Fo con Fo y Vo, respectivamente. Ejemplo sea P: ( r s) (Vo s), entonces Pd: (r s)(Fos). Principio de Dualidad: Sean P y Q proposiciones que no contienen conectivas lgicas distintas de y . Si PQ, entonces PdQd. Esto se puede apreciar en la tabla de las leyes del lgebra proposicional, ya que cada ley que involucra proposiciones slo con conectivas y tiene una ley dual, lo que refleja el carcter dual del lgebra de proposiciones