T ecnolgico de Costa Rica o Clculo Diferencial e Integral a Escuela de Matemtica a

Clculo Proposicional1 a Cristhian Pez a

Introduccin o Poder reconocer cundo un razonamiento es correcto y saber construirlo en fundamental en el estua dio de las matemticas; por eso, ser importante estudiar qu argumentos hacen que determinado a a e razonamiento sea irrefutable. La lgica estudia procesos donde se concluye una armacin a partir de un conjunto de armaciones o o (en matemtica, interesa el estudio de razonamientos correctos). a Sistemas deductivos formales Qu se debe entender por una deduccin lgica? o qu ha de cumplirse para que una frmula e o o e o sea una consecuencia lgica de otra u otras frmulas? son preguntas que interesan en el estudio del o o clculo proposicional. Para determinar qu se debe entender por una demostracin matemtica slo a e o a o quedar establecer un sistema de axiomas (que son cierto conjunto de principios bsicos aceptados a a sin demostracin alguna), de modo que los teoremas matemticos sean proposiciones (armaciones o a de las que se puede decir, sin ambigedad, sin son verdaderas o falsas) cuya validez se verica como u consecuencias lgicas de los axiomas. o Se debe tener en presente que no se dar una denicin arbitraria de deduccin lgica, sino que se a o o o estar retomando la nocin de razonamiento que los matemticos han empleado desde hace milenios. a o a En este sentido, se buscar formalizar la lgica, es decir, reducir los razonamientos lgicos a simples a o o manipulaciones mecnicas de frmulas que no requieran tener en cuenta su posible signicado para a o decidir si son vlidas o no. a En principio, se puede decir que un razonamiento es una sucesin de premisas tales que cada una o es consecuencia de las anteriores en un sentido que hemos de precisar; o bien, que es un conjunto de proposiciones, llamadas premisas o hiptesis y otra conclusin o tesis. o o Ejercicio Determine si las siguientes armaciones son proposiciones o no. 1. El cuadrado de todo nmero impar es par. u 2. Todo nmero par mayor que dos se puede expresar como la suma de dos nmeros primos.2 u u 3. Detente! 4. 98 + 15 da como resultado un nmero primo. u 5. 781 781.
1 Apuntes basados en las obras siguientes: Suppes, P. y Hill S. (2002). Introduccin a la lgica matemtica. Mxico: Revert Ediciones. o o a e e Copi, I. (2000). Lgica simblica. Mxico: Compa Editorial Continental. o o e na Uzctegui, C. Lgica, Conjuntos y Nmeros. Universidad de Los Andes. a o u Ivorra, C. Lgica y teor de conjuntos. o a 2 Este enunciado se conoce como la conjetura de Goldbach. Investiga si es verdadero o es falso.

6. Esprame! e 7. Hoy hace calor. 8. m es un nmero par. u 9. Voy al cine regularmente. 10. Un 15 de setiembre Saprissa gole 5 a 1 a Alajuelense. o 11. Por qu te gustan los v e deo juegos? 12. Todo nmero elevado a su tercera potencia es positivo. u 13. 245
847

> 474578221

14. El jueves 27 de enero estaba haciendo fr en Cartago. o 15. Para qu ests matriculado en Clculo Diferencial e Integral? e a a 16. Existe un nmero par menor que 25. u 17. Todo problema tiene solucin unica. o 18. x + 3 = 2 para algn x entero. u 19. 00 = 1 20. Todo atleta es disciplinado. 21. x2 1 para todo valor real x. Conectivos lgicos o Las proposiciones se pueden combinar para obtener otras proposiciones utilizando los conectivos lgicos. o En la tabla siguiente se indican los nombres de estos enlaces, su simbolog y un ejemplo. a Nombre Negacin o Disyuncin o Conjuncin o Condicional Bicondicional S mbolo Ejemplo No me mojo Me mojo o voy al estadio Hace calor y voy al estadio Si sale el Sol, entonces voy al estadio Voy al estadio si, y slo si, sale el Sol o

Toda proposicin que no contenga conectivo lgico alguno se dice que es una proposicin simple o o o (tambin se le conoce como proposicin atmica), las que contienen al menos un enlace son llamadas e o o proposiciones compuestas. Dado que la oracin declarativa con que se expresa una proposicin puede ser larga y compleja, o o es conveniente simbolizar las proposiciones presentes en tales oraciones con el n de simplicar su 2

representacin y manipulacin; para esto, usualmente son utilizadas las letras P , Q, R, . . . para o o simbolizar las proposiciones. En la siguiente tabla se consideran las proposiciones P y Q y se indica la forma en la que debe leerse la simbolizacin asociada a cada conectivo lgico.3 o o Simbolizacin o P P Q P Q P Q P Q Lectura no P P oQ P yQ si P , entonces Q P si, y slo si, Q o

Las proposiciones del tipo si P , entonces Q son llamadas proposiciones condicionales, donde P se llama antecedente y Q consecuente. La rec proca de P Q es la proposicin Q P y la o contrapositiva de P Q es la proposicin Q P . o Ejercicio Considere las proposiciones siguientes con su respectiva simbolizacin: o P = est lloviendo a Q = el Sol est brillando a R = hay nubes en el cielo 1. Simbolice, a partir de las proposiciones simples anteriores, las proposiciones compuestas que se enuncian a continuacin. o (a) Est lloviendo y el Sol est brillando. a a (b) Si est lloviendo, entonces hay nubes en el cielo. a (c) No es cierto que el Sol no est brillando. a (d) Si no est lloviendo, entonces el Sol no est brillando y hay nubes en el cielo. a a (e) Si no est lloviendo y no hay nubes en el cielo, entonces el Sol est brillando. a a (f) El Sol est brillando si, y slo si, no est lloviendo. a o a (g) No es el caso que est lloviendo o el Sol est brillando, pero hay nubes en el cielo. e e 2. Redacte una posible oracin que corresponde con cada una de las proposiciones compuestas o siguientes. (a) (P Q) R (b) P (Q R) (c) R Q (d) (P R) Q
Existen dos tipos de disyuncin: la inclusiva (cuando ambas alternativas son permitivas) y la exclusiva (cuando o slo una de las alternativas es permitiva); en el curso estaremos utilizando la disyuncin en el sentido inclusivo. o o
3

3. Simbolice la proposicin si est lloviendo, entonces hay nubes en el cielo y determine, texo a tualmente y de manera simblica: o (a) La contrapositiva de la proposicin. o (b) La rec proca de la proposicin. o (c) La negacin de la proposicin (manteniendo como vlido el antecedente de la proposicin o o a o condicional) y generalice una regla para (P Q). 4. Determine la negacin de la proposiciones siguientes y su simbolizacin: o o (a) Est lloviendo y hay nubes en el cielo. Adems, generalice, de manera simblica, una a a o regla para (P R). (b) El Sol est brillando o hay nubes en el cielo. Adems, generalice, de manera simblica, a a o una regla para (Q R). (c) No est lloviendo. Adems, generalice, de manera simblica, una regla para (P ). a a o Con base en lo resuelto anteriormente, con concluyen los resultados siguientes:4 1. (P Q) P Q 2. (P Q) P Q 3. (P Q) P Q 4. (P ) P Adems de las reglas cuatro reglas enunciadas, tambin son vlidos los resultados siguientes: a e a 1. P Q Q P 2. P Q Q P En la expresin bicondicional P si, y slo si, Q se tiene la conjuncin de dos expresiones. La primera o o o de ellas es P , si Q y expresa lo mismo que la proposicin condicional si Q, entonces P . o La otra expresin es P , slo si Q y es equivalente a mencionar que P ocurre solamente si Q ocurre; o o por esta razn se dice que Q es una condicin necesaria para que P ocurra, o lo que es equivalente, o o cada vez que P se cumple necesariamente Q tambin. De esta manera, la expresin equivale a decir e o si P , entonces Q. Ejercicios 1. Sean P , Q y R las proposiciones siguientes: P = Juan llega demasiado pronto Q = Mar llega demasiado tarde a R = El jefe se molesta Utilizando las letras anteriores y los conectivos lgicos traduzca las oraciones siguientes a noo tacin lgica. o o
4

El s mbolo representa que las proposiciones son equivalentes en un sentido lgico. o

(a) Si Juan llega demasiado proto o Mar demasiado tarde, entonces el jefe se molesta. a (b) Si Mar llega demasiado tarde, entonces Juan no llega demasiado pronto. a (c) El jefe se molesta o Mar no llega demasiado tarde. a (d) Mar llega demasiado tarde, Juan llega demasiado pronto y el jefe se molesta. a (e) Si el jefe no se molesta, entonces Juan no llega demasiado pronto y Mar no llega dea masiado tarde. (f) Mar no llega demasiado tarde o Juan llega demasiado pronto. a (g) Si Mar no llega demasiado tarde y Juan no llega demasiado pronto, entonces el jefe no a se molesta. 2. Niegue las proposiciones siguientes: (a) Ganaremos el primer partido o el segundo. (b) 5 3. (c) Las rosas son rojas y las margaritas amarillas. (d) Alejandra quiere comer fruta pero no helado. (e) No es cierto que no quiera ir al nuevo Estadio Nacional. (f) Si 210 < 35 , entonces 1010 < 155 . (g) Todos los nmeros pares son mltiplos de cuatro. u u 3. Proporcione la negacin, la rec o proca y la contrapositiva de cada una de las proposiciones siguientes: (a) Si soy listo, entonces soy millonario. (b) Si 2 + 2 = 4, entonces 2 + 4 = 8. (c) Si Juan llega demasiado pronto o Mar demasiado tarde, entonces el jefe se molesta. a (d) Si hay nubes en el cielo y el Sol no est brillando, entonces no ir al estadio. a e (e) Si a es un nmero real y a > 0, entonces a2 > 0. u Tablas de verdad Es importante poder decidir cundo una proposicin es verdadera, ya que para razonar correctamente a o se debe garantizar que a partir de proposiciones verdaderas se inera otra proposicin verdadera. o Algunas proposiciones compuestas pueden ser complejas, de manera que no sea sencillo mencionar si estas son verdaderas o no. Se estudiar, en principio, el valor de verdad (si la proposicin es verdadera o si es falsa) de proposia o ciones compuestas que contengan alguno de los conectivos lgicos que hemos estudiado hasta el o momento y, luego, con ayuda de tablas se estarn analizando proposiciones un poco ms complejas. a a Con ayuda de las tablas, podremos colocar todas las posibilidades de certeza o falsedad de las proposiciones atmicas que forman la proposicin molecular y, de esta manera, deducir si la proposicin o o o molecular es cierta o falsa. A continuacin, basados en las proposiciones representadas por P y por Q, se enuncian las tablas o bsicas de certeza para los cinco trminos primitivos que se estudian en este curso. a e 5

Negacin o P P V F F V

P V V F F

Disyuncin o Q P Q V V F V V V F F

P V V F F

Conjuncin o Q P Q V V F F V F F F

P V V F F

Condicional Q P Q V V F F V V F V

Bicondicional P Q P Q V V V V F F F V F F F V

Con base en las tablas anteriores es posible determinar si alguna proposicin compuesta es falsa o o verdadera con slo analizar todas los posibles valores de verdad para cada una de las proposiciones o simples que la conforman. El uso de las tablas de verdad para determinar si algn razonamiento es vlido o no se basa en los u a pasos siguientes: 1. Se escriben todas las combinaciones posibles de valores de certeza para las proposiciones atmicas incluidas en el enunciado. o 2. Se determinan los valores de certeza para todas las premisas y para la conlusin del razonao miento. 3. Se buscan las l neas que presentan todas las premisas como proposiciones verdaderas; en caso de que la conclusin sea cierta tambin para cada una de estas l o e neas, entonces el razonamiento es vlido. En caso de que exista alguna l a nea en la que todas las premisas son verdaderas y la conclusin es falsa, el razonamiento no es vlido. o a Ejemplo En este ejemplo se simboliza y se analiza, mediante una tabla de verdad y basados en los pasos descritos anteriormente, si el razonamiento siguiente es vlido o no: a Tomo suente agua o como frutas frescas de temporada. No tomo suciente agua. Por lo tanto, como frutas frescas de temporada. Se simbolizan las proposiciones atmicas como P = tomo suente agua y Q = como frutas frescas o de temporada. Las premisas, de manera simblica, son las proposiciones P Q y P . La conclusin o o es la proposicin Q. o La tabla de verdad para el razonamiento est dada por: a P V V F F Q V F V F P Q V V V F P F F V V

Las dos premisas de este razonamiento son verdaderas en la tercera l nea (nicamente) y la conclusin u o tambin es verdadera en esta tercera l e nea; de esta manera, se concluye que el razonamiento es vlido. a Ejercicio Determine, mediante tablas de verdad, si cada uno de los razonamientos siguientes son vlidos o no. a 6

1. Si llueve torrencialmente, entonces me mojo los zapatos. Me mojo los zapatos. Por lo tanto, llueve torrencialmente. 2. Si Isabel se retrasa, entonces Cristina es puntual. Si Isabel no se retrasa, entonces Cristina no es puntual. Por lo tanto, Isabel se retrasa o Cristina es puntual. 3. Garc no entrega la mercader o el contrato se considera legal. Por lo tanto, si Garc entrega a a a la mercader entonces el contrato se considera legal. a, 4. Voy al cine o a dormir. No voy al cine. Por lo tanto, no voy a dormir. 5. Si el viernes voy a clases de Clculo Diferencial e Integral, entonces ese d no ir a clases de a a e Laboratorio de F sica. Voy a clases de Laboratorio de F sica el viernes y ese d no voy a clases a de Clculo Diferencial e Integral. Por lo tanto, el viernes voy a clases de Clculo Diferencial e a a Integral o ese d voy a clases de Laboratorio de F a sica. 6. Si yo fuera el presidente de Costa Rica, entonces vivir en Zapote. Es claro que no soy el a presidente de Costa Rica. Por lo tanto, no vivo en Zapote. 7. Los terrenos sembrados continuamente se agotan si, y slo si, no se han tomado las medidas o para restablecer los minerales extra dos por las cosechas. Por lo tanto, los terrenos sembrados continuamente se agotan o se han tomado las medidas para restablecer los minerales extra dos por las cosechas. 8. Un tomo de hidrgeno tiene un protn en su ncleo y el nmero atmico del hidrgeno es a o o u u o o uno. Por lo tanto, un tomo de hidrgeno tiene un protn en cada ncleo si, y slo si, el a o o u o nmero atmico del hidrgeno es uno. u o o Tautolog as, contingencias y contradicciones Una proposicin es una tautologa si, y slo si, permanece cierta para todas las combinaciones de asigo o naciones de certeza atribuidas a cada una de sus distintas proposiciones atmicas. En forma anloga, o a si una proposicin es falsa para todas las combinaciones de asignacin de certeza atribuidas a cada o o una de sus distintas proposiciones atmicas, entonces dicha proposicin es llamada contradiccin. o o o En caso de que una proposicin no sea ni tautolog ni contradiccin, se dice que es una contingencia. o a o Ejemplo Considerando la proposicin (P Q) P , se presenta su tabla de verdad asociada y se clasica o como tautolog contradiccin o contingencia. a, o P V V F F Q V F V F P Q V V V F (P Q) P V V F V

En la cuarta columna de la tabla de verdad se encuentran los valores de certeza que se le atribuyen a la proposicin (P Q) P con base en todas las combinaciones de asignaciones de certeza atribuidas o 7

a cada una de sus distintas proposiciones atmicas. La proposicin (P Q) P es una contingencia. o o Ejercicio Determine, con base en tablas de verdad, si cada una de las proposiciones que se enuncian es una tautolog una contradiccin o una contingencia. a, o 1. P P 2. Q P 3. (P Q) (P Q) 4. (P Q) (P Q) 5. P P 6. (P Q) (Q P ) 7. (P Q) (Q P ) 8. ((P Q) Q) P 9. (P Q) Q 10. P (P Q) 11. (Q P ) (P Q) 12. P P 13. P (P Q) 14. (P Q) (P Q) 15. (P Q) (Q P ) 16. (P Q) (P Q) 17. (P Q) R 18. (P Q) P 19. (P Q) P 20. P (Q R) 21. (P Q) R

Inferencias lgicas o En algunas ocasiones es tedioso utilizar tablas de verdad para probar la validez de ciertos argumentos, principalmente cuando estos contienen dos o ms enunciados simples diferentes como componentes; a es estos casos, conviene establecer la validez de los argumentos deduciendo las conclusiones de sus premisas mediante una secuencia de argumentos ms cortos y elementales para los que se conoce su a validez. Reglas de inferencia Modus Ponens: MP (a) P Q (b) P Q Modus Tollens: MT (a) P Q (b) Q P Silogismo Hipottico: SH e (a) P Q (b) Q R P R Simplicacin: Simp. o (a) P Q P 8 Adicin: Adi. o (a) P P Q Silogismo Disyuntivo: SD (a) P Q (b) P Q Dilema Constructivo: DC (a) P Q (b) R S (c) P R QS Adjuncin: Adj. o (a) P (b) Q P Q Dilema Destructivo: DD (a) P Q (b) R S (c) Q S P R

Se inicia con un listado de premisas y con base en las reglas de inferencia se deducen conclusiones; el paso lgico de las premisas a la conclusin es una deduccin. La conclusin que se obtiene se dice o o o o que es una consecuencia lgica de las premisas si cada paso que se da para llegar a la conclusin est o o a permitido por una regla de inferencia. Lo fundamental en inferencia es que de premisas verdaderas se obtienen slo conclusiones verdaderas. o Algunos ejemplos 1. Demostrar R (P Q) dadas las premisas siguientes: P Q, Q R, P T, T *(1) P Q *(2) Q R *(3) P T *(4) T (5) P (6) Q (7) R R (P Q)
MT 3,4 SD 1,5 MP 2,6 Adj. 7,1

2. Demostrar C dadas las premisas siguientes: A (B D) , (B D) C, A *(1) A (B D) *(2) (B D) C *(3) A (4) B D C

MP 1,3 MP 2,4

3. Demostrar N dadas las premisas siguientes: R S, R, S Q, Q N *(1) R S *(2) R *(3) S Q *(4) Q N (5) S (6) Q N
MP 1,2 MP 3,5 MP 4,6

4. Considere el planteamiento siguiente: Si Toms tiene diecisiete aos, entonces Toms tiene la misma edad que Juana. Si Joaqu a n a n tiene distinta edad que Toms, entonces Joaqu tiene distinta edad que Juana. Toms a n a tiene diecisiete aos y Joaqun tiene la misma edad que Juana. Por tanto, Joaqu tiene n n la misma edad que Toms y Toms la misma que Juana. a a Sean: E : Toms tiene diecisiete aos a n S : Toms tiene la misma edad que Juana a T : Joaqun tiene la misma edad que Toms a J : Joaqun tiene la misma edad que Juana Entonces: *(1) E S *(2) T J *(3) E J (4) E (5) S (6) J (7) T T S Algunos ejercicios 1. Justique cada uno los pasos que se realizan en la demostracin de: x = 5 x = 4 o *(1) x = 2 x < 3 *(2) x = 4 x 3 *(3) (x = 2 x > 4) x = 5 (4) x 3 (5) x = 2 (6) x = 2 x > 4 (7) x = 5 (8) x = 4 x=5x=4
Simp. 3 MP 1,4 Simp. 3 MT 2,6 Adj. 5,7

10

2. Justique cada uno los pasos que se realizan en la demostracin de: x = 3 o *(1) x 2 = 1 2 x = 1 *(2) x = 1 2 x = 1 *(3) x = 1 x + 2 = 5 *(4) (x + 2 = 5 x 2 = 1) x = 3 (5) 2 x = 1 (6) x = 1 (7) x + 2 = 5 (8) x 2 = 1 (9) x + 2 = 5 x 2 = 1 x=3 3. Simbolice el razonamiento siguiente. Es vlido lo que se concluye? a Si el rey no se enroca y el pen avanza, entonces o el all queda bloqueado o la torre o inmovilizada. Si el rey no se enroca, entonces, si el all queda bloqueado entonces el juego es tablas. O el rey se enroca o si la torre es inmovilizada se pierde el cambio. El rey no se enroca y el pen avanza. Por lo tanto, o el juego es tablas o se pierde el cambio. (K: o el rey se enroca. P: El pen avanza. B: El all es bloqueado. R: La torre es inmovilizada. o D: El juego es tablas. E: Se pierde el cambio.) 4. Construir una prueba formal de la validez para cada uno de los argumentos siguientes: (a) Demostrar A C si *(1) A B *(2) C D *(3) (B D) (A B) (b) Demostrar T U si *(1) *(2) *(3) *(4) (R S) (T U ) (V W ) (X Y ) (T W ) (U S) V R (e) Demostrar T S si *(1) Q T *(2) Q R *(3) R (f) Demostrar Q si *(1) T S *(2) (T R) Q *(3) S 11 (d) Demostrar Q si *(1) *(2) *(3) *(4) M N N O (M O) (N P ) (M P ) Q

(c) Demostrar H si *(1) E (F G) *(2) (F G) H *(3) E

5. Para cada uno de los enunciados siguientes, demostrar que la conclusin es consecuencia de las o premisas dadas. (a) Si esta es una sociedad matriarcal, entonces el hermano de la madre es el cabeza de familia. Si el hermano de la madre es el cabeza de familia, entonces el padre no tiene autoridad. Esta es una sociedad matriarcal. Por lo tanto, el padre no tiene autoridad. (b) La cmara fue adquirida legalmente por el vendedor o la cmara es mercanc robada. Si a a a la cmara fue adquirida legalmente por el vendedor, entonces es mi cmara. Si la cmara a a a es mercanc robada, entonces Toms es su propietario legal. a a (c) Si Juan es ms alto que Pedro, entonces Mar es ms baja que Juana. Mar no es ms a a a a a baja que Juana. Si Juan y Luis tienen la misma estatura, entonces Juan es ms alto que a Pedro. Por tanto, Juan y Luis no tienen la misma estatura. (d) El Sol sale y se pone si, y slo si, la Tierra gira. La Tierra gira y la Luna se mueve o alrededor de la Tierra. Por tanto, el Sol sale y se pone, o el clima es muy caliente o fr o. Cuanticadores Una proposicin abierta (predicado) es toda proposicin del tipo A (x); es decir, toda proposicin que o o o dependa de una(varias) variable(s). Con cada elemento arbitrario x, A (x) tendr un valor de verdad. a Con este tipo de proposiciones el lenguaje de la lgica proposicional es insuciente para expresar la o mayor de los resultados de la matemtica. a a Expresiones como todo elemento de ocurren con mucha frecuencia en matemticas y reeja una de a sus caracter sticas ms importantes: la posibilidad de mostrar hechos generales sobre los elementos del a universo que se est analizando. La expresin anterior es llamada cuanticador universal y abreviada e o por el s mbolo que se lee para todo. Otro cuanticador que se utiliza en lgica es el cuanticador o existencial, denotado con el s mbolo y cuya lectura es existe. Si A (x) es una proposicin abierta, por una parte, x (A (x)) indica que todo valor x cumple la o proposicin A (x); note que la proposicin x (A (x)) ser verdadera siempre que todos los posibles o o a valores x hagan que A (x) sea verdadera; por otra parte, x (A (x)) indica que existe un valor x que cumple la proposicin A (x); en este caso, la proposicin x (A (x)) ser verdadera siempre que o o a exista al menos un elemento x de los posibles, de manera que A (x) sea verdadera. Ejemplos En cada caso, se enuncia una proposicin y luego su simbolizacin con el uso de los cuanticadores o o en estudio. 1. La tercera potencia de todo nmero entero es menor que siete: x Z x3 < 7 . u 2. El cuadrado de todo nmero real no es negativo: x R x2 0 . u 3. Existe un nmero natural cuya tercera potencia es mayor que ocho: x N x3 > 8 . u 4. Todo nmero natural es menor que su consecutivo: x N (x < x + 1). u 5. Existe un nmero entero cuyo doble es menor o igual que el cuadrado de su qu u ntuple, 2 aumentado en tres: x Z 2x (5x) + 3 .

12

Ejercicios 1. Simbolice completamente las proposiciones siguientes: (a) Slo el protoplasma es sustancia viviente. o (b) Slo el ser humano es racional. o (c) Todos los pjaros y peces son animales. a (d) Todos los caballos y vacas son cuadrpedos. u (e) No todos los hombres son inteligentes. (f) No toda la hierba es verde. (g) Slo los europeos son italianos. o Contraejemplos Hasta ahora el estudio se ha concentrado en mostrar algunos de los mtodos que son utilizados para e demostrar la validez de una armacin. Ahora veremos cmo es posible mostrar que una armacin o o o general no es vlida. Saber mostrar que algo no es vlido es importante, ya que esto puede llevar a a a intuir qu es lo que s es vlido. e a Se indica la forma general para refutar armaciones del tipo P Q, P Q y P Q. P Q Para este caso, se busca un ejemplo donde sea vlida la proposicin (P Q). a o Dado que (P Q) P Q, basta hallar un ejemplo donde sea vlida la proposicin a o P Q; es decir, un ejemplo donde sean vlidas, de manera simultnea, las proposiones P a a y Q. P Q Para este caso, se busca un ejemplo donde sea vlida la proposicin (P Q). a o Dado que (P Q) P Q, basta hallar un ejemplo donde sea vlida la proposicin a o P Q; es decir, un ejemplo donde sea vlida la proposin P o sea vlida la proposicin a o a o Q. P Q Para este caso, se busca un ejemplo donde sea vlida la proposicin (P Q). a o Dado que (P Q) P Q, basta hallar un ejemplo donde sea vlida la proposicin a o P Q; es decir, un ejemplo donde sean vlidas, de manera simultnea, las proposiones P y a a Q.

13