UNIVERSIDAD SEOR DE SIPN

CURSO: LGICO MATEMTICA

Gonzales Caicedo Walter Orlando

Gua
2 0 10

www.goncaiwo.wordpress.com
Orlando Gonzales Caicedo

Walter

LGICA PROPOSICIONAL

1.1 Enunciados y Valor de Verdad La lgica es la rama del conocimiento que trata los modelos de razonamiento, mediante reglas y tcnicas, con el fin de determinar si un argumento dado es vlido. El tema que nos ocupa es el de la lgica usada en matemticas. Aqu trabajamos con elementos bsicos llamados Proposiciones. 1.1.1. Enunciado: Es toda expresin lingstica, que constituye una frase u oracin. 1.1.2. Proposicin: Enunciado que puede ser falso o verdadero pero no ambas a la vez. La proposicin es un elemento fundamental de la lgica matemtica. La verdad o falsedad de una proposicin es lo que se llama su valor de verdad. Ejemplos: Son proposiciones lgicas: a) Las frmulas cientficas ya demostradas. As como: (a + b) 2 = a 2 + 2ab + b 2 ; a, b R b) Las leyes o hiptesis cientficas aceptadas. As como: Todo cuerpo ejerce una fuerza de atraccin sobre otro c) Los enunciados cerrados o definidos. As como: + + = 180; si , y = s internos de un mismo tringulo. x + y = 50; si x = 10, y = 30 No son proposiciones lgicas: a) Las creencias, mitos o leyendas. As como: Dios es un ser misericordioso Manco Cpac y Mama Ocllo fueron enviados por el sol b) Las metforas o refranes. As como: El Per es un mendigo sentado en un banco de oro Has el bien, sin mirar a quin c) Las supersticiones. As como: Hoy da me ir muy mal por ser Martes 13 Pase por debajo de una escalera 1.1.3. Clases de Proposiciones 1.1.3.1. Proposiciones Simples o Atmicas o no Estructurales: Carecen de conector lgico, y pueden ser: A. Predicativas: Cuando se le atribuye alguna cualidad al sujeto (utiliza el verbo SER en cualquiera de sus tiempos). Ejemplos: Chiclayo es una provincia calurosa. Freud tena inclinacin por la matemtica.

www.goncaiwo.wordpress.com
Orlando Gonzales Caicedo

Walter

B. Relacionales: Cuando se compara un sujeto con otro mediante una relacin que puede ser de orden, tiempo, espacio, parentesco, accin, etc. Ejemplos: La seleccin peruana de futbol jug un partido intenso con su similar de Brasil. Relacin de accin. Vallejo con Maritegui fueron contemporneos. Relacin de tiempo. 1.1.3.2. Proposiciones Compuestas o Moleculares (Coligativas): Se caracterizan principalmente porque poseen conectores lgicos. Ejemplos: Lima est al sur de Chiclayo o al norte de Ica. Los restos del Seor de Sipn fueron descubiertos por el arquelogo Marco 1.1.4. Valor de Verdad: A la verdad (V) o a la falsedad (F) de una proposicin se le llama valor de verdad y se denota por: V (p) = V; V (p) = F Ejemplos: p: ( x R) (x2 + 1 = 0); se tiene que: V (p) = F q: Cero es un nmero real; se tiene que: V (q) = V ACTIVIDADES DE SISTEMATIZACIN 1. Indica si las siguientes expresiones, son enunciados, proposiciones simples o proposiciones compuestas. 1. La guerra y la paz. 2. 17 x = 2x + 75 3. x > y 9 4. Chimbote est entre Trujillo y Casma. 5. El hombre es un ser racional. 6. Cualquier canario es ovparo. 7. Steffany estudia en Universidad Seor de Sipn. 8. Francisco Bolognesi muri en Arica. 9. Celeste trabaja en Lambayeque. 10. Juan Carlos es italiano. 2. Indica si las siguientes expresiones son proposiciones compuestas. Explique. Por qu? La tierra es el planeta azul sin embargo el sol es un astro que tiene luz propia. Los dragones tenan respiracin branquial. Si en el planeta Marte hay atmsfera, entonces la lluvia es oscura. La crisis mundial es un fenmeno econmico sin embargo es controlable si todos los pases desarrollados apoyan a los de economas dbiles. 5. Blanca Nieve amo a sus siete enanos. 3. Indica el valor de verdad de las siguientes proposiciones 1. Ama a tu prjimo como a ti mismo. 2. Extensa selva clida. 1. 2. 3. 4.

www.goncaiwo.wordpress.com
Orlando Gonzales Caicedo

Walter

3. Existe al menos un habitante en la luna. 4. 300 +250 = 750 5. No es cierto que el Amazonas es un ro. ACTIVIDADES DE EVALUACIN 1. Indica si las siguientes expresiones, son enunciados, proposiciones simples o proposiciones compuestas. 1. Hay reptiles que son carnvoros. 2. Muchos deportistas son peruanos y bolivianos. 3. La inflacin peruana en el 2009 ser menor a 4%. 4. Es probable que la suma de dos nmeros sea menor a 20. 5. Es posible que la seleccin clasifique al mundial 2010. 6. Mancora es una playa nortea que tiene bastante acogida por los turistas nacionales. 7. El oro es un metal slido cuyo smbolo segn la tabla peridica es Ag. 8. El pasaje urbano cuesta 1,20 soles a pesar que la gasolina ha bajado su precio. 9. Alejandro Toledo fue el presidente del Per. 10. Cristbal Coln descubri el continente Americano y fue de nacionalidad italiana. 2. Indica si las siguientes expresiones son proposiciones compuestas. Explique. Por qu? 1. Chocano fue un poeta espaol sin embargo vivi en Cajamarca. 2. El bosque de Pmac es uno de los ms importantes de Piura sin embargo Huaca Rajada es reconocido a nivel internacional. 3. El nmero 16 es divisible por 4 si y solo si tiene raz cuadrada. 4. Chiclayo es una ciudad calurosa y acogedora. 5. Ana y Bruno estudian msica en el Conservatorio. 3. Indica el valor de verdad de las siguientes proposiciones 1. Ningn Diplomtico es extremista. 2. El oro es maleable sin embargo el acero es inoxidable. 3. Ama a tu prjimo como a ti mismo. 4. No es cierto que el Amazonas es un ro. 5. El creador de la Relatividad fue americano. 2.1. Conectivos Lgicos Se denominan conectivos lgicos a aquellas palabras o trminos funcionales que ligan, juntan, unen o enlazan las proposiciones simples formando proposiciones compuestas. Los operadores o conectores bsicos son: CONECTIVO No Y o o. . . o. . . Si entonces... si y slo si
Orlando Gonzales Caicedo

SMBOLO NOMBRE DE LA PROPOSICIN ~ Negacin ^ Conjuncin Disyuntiva inclusiva Disyuntiva exclusiva Condicional Bicondicional
Walter

www.goncaiwo.wordpress.com

2.2.1. Negacin (~): Es un conectivo singular. Se denomina proposicin negativa aquella que cambia el valor de la proposicin original. Se denota por: ~p, -p, p y se lee: no p. Existen dos tipos de negadores: La negacin, puede traducirse como: No es cierto que ... Es falso que... Nunca ... No ocurre que... Es mentira que ... No es el caso que Es refutable que Ejemplos: p : La luna es de queso. ~p : La luna no es de queso. Su tabla de verdad es como sigue: p V F ~p F V Nadie que sea ... No es el caso que ... No es verdad que Es absurdo que No acaece que... Es inadmisible que Es falaz que Jams ... Es inconcebible que... Es imposible que ... Es errneo que ... De ningn modo Es incierto que En modo alguno

2.2.2. Conjuncin: Dadas las proposiciones p, q. La conjuncin es el resultado de unir estas proposiciones con el conectivo lgico y. Se denota con el smbolo: , &, se escribe p q, p & q y se lee: p y q. La proposicin conjuntiva es verdadera. Cuando las dos proposiciones son verdaderas. En nuestro lenguaje podemos emplear:

Pero Sin embargo Adems A la vez Incluso As como Del mismo modo

An cuando Al igual que Tanto . como . Siempre ambos. con.. No slo.sino tambin. A pesar de .con . los dos a la vez

No obstante Aunque Ms an Tambin Es compatible con As mismo De la misma forma que

Ejemplo: Consideremos las siguientes proposiciones: p: La camioneta enciende cuando tiene gasolina en el tanque q: Tiene corriente la batera De tal manera que la representacin del enunciado anterior usando simbologa lgica queda indicado por:

www.goncaiwo.wordpress.com
Orlando Gonzales Caicedo

Walter

p q: La camioneta enciende cuando tiene gasolina en el tanque y tiene corriente la batera Su tabla de verdad es como sigue: p q pq V V V V F F F V F F F F

2.2.3. Disyuncin: Es una proposicin compuesta formada por p y por q relacionadas por el conectivo lgico o. Segn el sentido del conectivo o, se puede interpretar de dos maneras: inclusiva o exclusiva. 2.2.3.1. Disyuncin Inclusiva o Dbil: Se denota por p q, p + q y se lee: p o q. La disyuncin inclusiva es falsa slo en el caso que ambas proporciones sean falsas. Se conoce como la suma lgica. Otras formas de conexin que nos indican una disyuncin inclusiva son: A menos que Excepto que Salvo que A no ser que Y bien o tambin O sino Ejemplo: Consideremos: p: La Universidad Seor de Sipn es privada q: La Universidad Seor de Sipn es estatal De tal manera que la representacin del enunciado anterior usando simbologa lgica queda indicado por: p q: La Universidad Seor de Sipn es privada o en todo caso la Universidad Seor de Sipn es estatal Su tabla de verdad es como sigue: O en todo caso O tambin O incluso O bien Al menos uno de los dos . o . Alternativamente

p q V V V F F V F F

pq V V V F

2.2.3.2. Disyuncin Exclusiva o Fuerte: Se denota por: p q, p V q, p q, p / q y se lee: p o q pero no ambos. La disyuncin exclusiva es / q, p

www.goncaiwo.wordpress.com
Orlando Gonzales Caicedo

Walter

verdadera slo cuando una de las proposiciones es verdadera. Alguna formas de conectivos a emplear son:

O ... o ... O bien ... o bien ... No es equivalente ... con ... ....a menos que solamente... ....excepto que slo.... ....o exclusivamente.... ....no es lo mismo que... Ejemplo: Consideremos:

... no equivale a ... No es cierto que...equivale a... O solo .... o solo .... ...salvo que nicamente... ....o bien necesariamente.... ....no es idntico a.... Salvo que .... o ....

p: viajo a Espaa q: viajo a Brasil De tal manera que la representacin del enunciado anterior usando simbologa lgica queda indicado por: p q: O viajo a Espaa o viajo a Brasil Por lo tanto su tabla de verdad es: p q V V V F F V F F p q F V V F

2.2.4. Condicional: Proposicin compuesta que resulta de la combinacin de dos proposiciones simples, a travs del conectivo: Si ..., entonces ... y su smbolo es : , . La notacin p q, p q se lee Si p , entonces q ; proposicin p se llama antecedente o hiptesis y la proposicin q se llama consecuente o conclusin. La manera de expresar la condicional en el orden antecedenteconsecuente (p q Implicacin directa), son las siguientes: Si p, entonces q Siempre que p entonces q p es suficiente para q p implica q Ya que p bien se ve que q En cuanto p por tanto q p por tanto q p por consiguiente q p por ende q p por conclusin q Dado que p por eso q Porque p por eso q

Puede tambin expresarse en el orden consecuente-antecedente (q p Implicacin inversa), son:

www.goncaiwo.wordpress.com
Orlando Gonzales Caicedo

Walter

Eje mplo: consideremos: p: Llueva

q si p q siempre que p q es necesario para p Slo si p, q q dado que p q a condicin de que p q supone que p

q es implicada para p q cada vez que p q en vista que p Slo cuando p, q q ya que p q dado que p q sigue de p

q de modo que p q puesto que p q porque p Solamente porque p, q q cada vez que p q se concluye de p nicamente si p, q

q: Mejorarn las cosechas De tal manera que la representacin del enunciado anterior usando simbologa lgica queda indicado por: p q: Siempre que llueva entonces mejoraran las cosechas q p: Mejoraran las cosechas siempre que llueva Su tabla de verdad queda de la siguiente manera: p q V V V F F V F F p q V F V V

2.2.5. Bicondicional: Cuando dos proposiciones estn unidas por el conectivo lgico ... si y slo si ..., cuyo smbolo es: , , . La proposicin compuesta se denota por: p q, p q, p q y se lee: p si y slo si q. La proposicin bicondicional solamente es verdadera si tanto p como q son falsas o bien ambas verdaderas. Tambin se suele emplear expresiones como: siempre y cuando es equivalente a es lo mismo que cuando y slo cuando Si y slo si p, q siempre que y slo cuando es idntico a Ejemplo: Consideremos: p: Los cuerpos chocan Es suficiente para que suficiente sea Es condicin necesaria y suficiente para por lo cual y segn lo cual cada vez que y slo si si de la forma implica y est implicado por Siempre que y siempre que

www.goncaiwo.wordpress.com
Orlando Gonzales Caicedo

Walter

q: Existe una fuerza que los atrae De tal manera que la representacin del enunciado anterior usando simbologa lgica queda indicado por: p q: Los cuerpos chocan porque y solo porque existe una fuerza que los atrae. Su tabla de verdad queda de la siguiente manera: p q V V V F F V F F pq V F F V

www.goncaiwo.wordpress.com
Orlando Gonzales Caicedo

Walter