Fundamentos De Matemticas

UNIVERSIDAD DEL ATLNTICO FACULTAD DE CIENCIAS BSICAS DEPARTAMENTO DE MATEMTICAS Y ESTADSTICA Esp. ANTALCIDES OLIVO

ndice general

1. Introduccin a la Lgica 1.1 Introduccin

1 2

1.2

Sistema axiomtico

1.2.1 Modelos para un sistema axiomtico formal

1.2.2 Concepto de lgica matemtica

1.3

Enunciados y proposiciones

1.3.1 Enunciados

1.3.2 Proposicin lgica

14

1.4

Conjunto y operaciones con proposiciones

18

1.4.1 Proposiciones abiertas

19

1.4.2 Conjuntos especiales

21

1.4.3 Operaciones entre proposiciones

26

1.4.4 Relaciones entre proposiciones

31

1.4.5 Cuanticadores y otras formas de expresar la implicacin

35

1.5

Inferencia y esquemas de razonamiento

37

1.5.1 Principales leyes lgicas o tautolgicas

37

1.5.2 Esquemas de razonamiento

41

1.6

Problemas

48

1 Introduccin a la Lgica

Contenido
1.1 Introduccin

Captulo 1

Pgina
2

1.2

Sistema axiomtico

1.2.1 Modelos para un sistema axiomtico formal

1.2.2 Concepto de lgica matemtica

1.3

Enunciados y proposiciones

1.3.1 Enunciados

1.3.2 Proposicin lgica

14

1.4

Conjunto y operaciones con proposiciones

18

1.4.1 Proposiciones abiertas

19

1.4.2 Conjuntos especiales

21

1.4.3 Operaciones entre proposiciones

26

1.4.4 Relaciones entre proposiciones

31

1.4.5 Cuanticadores y otras formas de expresar la implicacin

35

1.5

Inferencia y esquemas de razonamiento

37

1.5.1 Principales leyes lgicas o tautolgicas

37

1.5.2 Esquemas de razonamiento

41

1.1. Introduccin

1.6

Problemas

48

Objetivos
   Interpreta correctamente las proposiciones. Clasica correctamente las condiciones. Argumenta los diferentes mtodos de demostracin.

Indicadores de Logros
   Identica proposiciones. Diferencia entre demostraciones directas e indirectas. Argumenta los distintos tipos de demostracin indirectas.

Introduccin 1.1
Este primer captulo es una breve introduccin a la lgica, que es la herramienta que usan las matemticas para desarrollarse. El objetivo del mismo es describir en que consiste una teora matemtica. Para lograrlo, primero hay que exponer sucintamente las reglas de la lgica de proposiciones, denir con precisin que es un razonamiento lgico y, por ultimo, explicar en que consiste una teora matemtica (brevemente, una serie de axiomas, deniciones y teoremas relacionados entre s mediante argumentos lgicos, como veremos mas adelante). La lgica es un esquema de reglas que permite deducir verdades a partir de o otras verdades. El medio que lleva de las primeras verdades a las otras deducidas se llama razonamiento lgico. La lgica estudia, precisamente, los razonamientos lgicos, estableciendo cundo un razonamiento es valido, independientemente del contenido de las verdades que se enuncien. Slo le interesan las manipulaciones que se hacen con los enunciados, no su contenido. Todos los resultados mostrados en este captulo se prueban rigurosamente. Sin embargo, no se usa para ello el razonamiento lgico, que que se utiliza en un curso de lgica matemtica sino el simple y ecaz camino de las tablas introducidas en la seccin 1.4.4 . Por supuesto, algunos resultados si se podrn demostrar a partir de otros anteriores mediante las leyes del lgebra de proposiciones, que se exponen en la a seccin 1.4.3. Pero hemos preferido dejar todo el captulo en manos de las tablas. Por otra parte Uno de los aspectos fundamentales en cualquier interpretacin rigurosa de la realidad es la coherencia interna de la explicacin. Es conveniente atender a este aspecto con toda la claridad que sea

Antalcides Olivo

1.2. Sistema axiomtico

posible. y a aqu es donde echamos mano de la lgica que es la que se ocupa del estudio de las formas correctas de pensar y sirve, por tanto, no slo para comprobar la validez formal de los argumentos, sino que permite tambin la elaboracin formalmente rigurosa de las explicaciones tericas. En la medida en que las ciencias procuran interpretar la realidad fsica sin depender excesivamente de implcitos no controlables, y en que la realidad que estudian es compleja y difcil de comprender intelectualmente; necesitan aumentar el control sobre las propias formulaciones tericas. Este dominio debe ejercerse en dos campos principales: El signicado estricto de las nociones que emplea. La validez formal de las teoras y leyes en que las ordena. El mtodo que permite dar cumplimiento a estas necesidades es el de la axiomatizacin. El cual es aplicable en toda su pureza en las llamadas ciencias formales como, lgica y las matemticas, pero proporciona grandes ventajas en la ciencias, y sigue siendo el ideal en otras ramas del saber. No es posible alcanzar un control objetivo absoluto acerca del saber. es decir tenerlo todo explicitado sin presupuestos. No cabe alcanzar un dominio total de la objetividad. Pero s merece la pena que lo objetivable se exprese del modo ms claro y formalmente riguroso que pueda alcanzarse, conscientes de las limitaciones inherentes al intento y de la necesidad de presupuestos no sistematizables para que el conocimiento pueda cumplirse. El conocimiento humano puede dividirse en inmediato y mediato. Todo posible conocimiento debe alcanzarse desde aquel que ya se posee, y el modo de poseer con claridad objetiva lo que se sabe se apoya en la posibilidad de expresarlo mediante enunciados con sentido. As pues, lo que se desconoce directamente habr de poderse concluir desde los enunciados conocidos, con la ayuda de una regla que nos permita comprender su validez. El proceso avanza desde las premisas hacia la conclusin, segn las reglas vlidas de la demostracin y de la lgica .

Sistema axiomtico 1.2

Toda teora matemtica tiene una estructura que la diferencia de las teoras presentadas en las otras disciplinas. A sta estructura se le llama sistema axiomtico. Un sistema axiomtico formal consta de los siguientes elementos:  Un alfabeto S para construir expresiones formales que incluye: * Un conjunto mnimo de elementos o trminos propios de la teora que no se pueden construir a partir de otros. ( Es decir no se pueden denir). * Un conjunto de trminos construidos a partir de los elementos del conjunto anterior. (Deniciones)

Antalcides Olivo

1.2. Sistema axiomtico

* Un conjunto de smbolos para conectivas lgicas y cuanticadores. (operaciones) * Un conjunto de smbolos para designar variables. * Un conjunto de smbolos para constantes (que tendrn en un modelo una interpretacin ja). * Un conjunto de smbolos que sern interpretados como funciones. * Un conjunto de smbolos que sern interpretados como relaciones.  Una gramtica formal que incluir: * Reglas de buena formacin, que reproducen la "morfologa" del lenguaje formal. * Reglas de inferencia que permitirn deducir unas proposiciones de otras, estas reglas reproducen la "sintaxis" del lengua formal.  Un conjunto de axiomas inicial, o expresiones bien formadas, que son el punto de partida de cualquier deduccin. Para el conjunto de expresiones bien formadas expresadas en el lenguaje formal anterior puede denirse una S estructura en la que a cada variable constante o cada ocurrencia libre de una variable reciba un valor dentro del modelo (es decir, las constantes y variables libres sern conjuntos preasignados de la S estructura). Las funciones y relaciones sern denidas como funciones y relaciones matemticas dentro de la S estructura. Una vez denidas las constantes, variables libres, funciones y relaciones resulta trivial atribuir un signicado concreto a las expresiones del lenguaje formal en la S estructura.

1.2.1.

Modelos para un sistema axiomtico formal

Si un conjunto de proposiciones (frmulas bien formadas) de un sistema axiomtico formal admiten una S estructura donde se satisfacen, entonces se dice que dicha estructura es un modelo para el conjunto de proposiciones. Un sistema de axiomas que admite un modelo es un sistema de axiomas consistente. Un sistema formal bien construido satisface "teorema de validez" que viene a armar que cualquier proposicin deducible de los axiomas o teorema del sistema axiomtico, se satisface tambin, en todos los modelo que sean un modelo en el que se satisfacen los axiomas. La propiedad recproca no siempre se cumple, una proposicin que se satisface en todos los modelos de una teora no tiene porqu ser deducible del sistema de axiomas. Este ltimo punto es ilustrado por los teoremas de incompletitud de Gdel, que viene a armar que una sistema formal de ciertos sistemas matemticos con un conjunto de axiomas que satisface determinada propiedad formal (ser un recursivamente enumerables ) admitir un modelo en el que algunas proposiciones sern ciertas pero no sern deducibles. Es decir, la teora asociada al sistema axiomtico formal ser esencialmente incompleta.

1.2.2.

Concepto de lgica matemtica

La lgica matemtica estudia los sistemas formales en relacin con el modo en el que codican conceptos intuitivos de objetos matemticos como conjuntos, nmeros, demostraciones y computacin. Antalcides Olivo
4

1.3. Enunciados y proposiciones

La lgica estudia las reglas de deduccin formales, las capacidades expresivas de los diferentes lenguajes formales y las propiedades metalgicas de los mismos. En un nivel elemental, la lgica proporciona reglas y tcnicas para determinar si es o no vlido un argumento dado dentro de un determinado sistema formal. En un nivel avanzado, la lgica matemtica se ocupa de la posibilidad de axiomatizar las teoras matemticas, de clasicar su capacidad expresiva, y desarrollar mtodos computacionales tiles en sistemas formales. La teora de la demostracin y la matemtica inversa son dos de los razonamientos ms recientes de la lgica matemtica abstracta. Debe sealarse que la lgica matemtica se ocupa de sistemas formales que pueden no ser equivalentes en todos sus aspectos, por lo que la lgica matemtica no es mtodo de descubrir verdades del mundo fsico real, sino slo una fuente posible de modelos lgicos aplicables a teoras cientcas, muy especialmente a la matemtica convencional. La lgica matemtica no se encarga por otra parte del concepto de razonamiento humano general o del proceso creativo de construccin de demostraciones matemticas mediante argumentos rigurosos pero hechas usando lenguaje informal con algunos signos o diagramas, sino slo de demostraciones y razonamientos que pueden ser completamente formalizados en todos sus aspectos.

Enunciados y proposiciones 1.3

Empezaremos el estudio de la lgica construyndola como expondremos a continuacin: Lo primero es establecer un conjunto mnimo de trminos, los cuales no se pueden denir, pero que de forma natural se pueden conocer sus caractersticas o propiedades. A partir de los elementos anteriores se construyen otros usando proposiciones en forma de equivalencia. estas proposiciones se llaman deniciones. Un conjunto de operaciones y relaciones. Luego se establecen un conjunto de propiedades independientes, los cuales son ciertos por si solos , es decir su validez es evidente. A este conjunto de propiedades se llaman axiomas y/o postulados. Para terminar se construyen a partir de todo lo anterior un conjunto ilimitado de propiedades, las cuales no son evidentes por si solas y por lo tanto es necesario demostrarlas a partir de proposiciones verdaderas usando los mtodos de demostracin establecidos por la lgica. Antes de empezar la construccin de la lgica estableceremos alguna ideas generales. Por ejemplo:

Antalcides Olivo

1.3. Enunciados y proposiciones

Trmino. 1.3. 1 Trmino Es una palabra o propiedad que representa a un objeto o la relacin entre varios objetos.

En el lenguaje comn existen conceptos como son los enunciados, oraciones y proposiciones que ayudan construir la sintaxis del un idioma en particular, pero estos conceptos son muy amplios y permiten que una expresin o termino pueda tener varios signicados, lo cual es un problema para utilizarlo en la ciencia donde cada termino debe tener una y solo una interpretacin. A continuacin expondremos estos conceptos de acuerdo con el idioma Espaol.

1.3.1.

Enunciados

Los enunciados estn constituidos de manera diversa, segn las palabras que lo forman y las relaciones que se establecen entre ellas. Llamamos enunciado a cada secuencia delimitada entre dos silencios, marcada por una determinada curva entonativa, y que constituye un mensaje que ofrece sentido completo en una situacin dada. El enunciado es, por tanto, una unidad mnima de comunicacin. Existen varios tipos de enunciados  Enunciativos: este tipo de enunciados informan acciones que han ocurrido en el pasado, estn ocurriendo en ese preciso momento o pasarn en el futuro. Algunos ejemplos son:

Ejemplos. 1.3. 1 1. Ayer estuve de visita en la casa de Jos. 2. Me estoy comiendo un helado de chocolate y vainilla. 3. Maana mi ta entra al trabajo ms tarde. 4. Miguel est enfermo desde la semana pasada. El viernes voy al cine con mis primas.

Dubitativos: en este caso las ideas expresadas tienen un carcter dudoso o solo existe la posibilidad de que se hagan realidad. Algunos ejemplos de estos enunciados son:

Ejemplos. 1.3. 2 1. Quiz llueva esta noche. 2. Es probable que maana me levante muy temprano para hacer compras Posiblemente Romina llegue tarde.

Antalcides Olivo

1.3. Enunciados y proposiciones

Ejemplos. 1.3. 2 3. Tal vez el viernes vamos a comer a la casa de Agustn. 4. Puede ser que salgamos en veinte minutos.

(Continuacin)

Interrogativos: estos enunciados son utilizados para formular preguntas. Algunos ejemplos son:

Ejemplos. 1.3. 3 1. Qu hora es? Cmo ests? 2. Falta mucho para llegar? 3. Has hablado con Esteban en los ltimos das? 4. Entendiste la ltima pregunta del examen de matemtica?

Exhortativos: en este caso los enunciados son utilizados para dar rdenes, peticiones, consejos o ruegos. Algunos ejemplos son:

Ejemplos. 1.3. 4 1. Podras traerme un vaso de agua? 2. No vayas por all! Trata de no llegar tarde esta noche. 3. Me alcanzaras los papeles que estn sobre la mesa por favor. 4. Cierra las ventanas de tu cuarto.

Exclamativos: estos enunciados son utilizados para expresar emociones, como alegra, dolor, nostalgia, ira, etc. Por ejemplo:

Ejemplos. 1.3. 5 1. Cunto me alegra que hayas podido venir! 2. Estoy muy enojada con tu primo! 3. Es un da precioso! 4. Estoy muy feliz! Siento mucho la muerte de tu gato!

Antalcides Olivo

1.3. Enunciados y proposiciones

1.3.1.1.

Oracin

Llamamos oracin a un tipo particular de enunciados caracterizado por la presencia de una forma verbal: Si el verbo establece con el sujeto una relacin predicativa basada en la concordancia de persona y nmero, se trata de una oracin personal. Si la relacin predicativa no es posible, la oracin es impersonal. En la escritura, una oracin se reconoce porque comienza con grafa inicial mayscula y termina con un punto. La oracin es una unidad: semntica, con sentido completo en s misma; fontica, con pausas orales delimitadas y marcadas; y sintcticamente independiente. Cuando una oracin incluye uno o ms enunciados pasa a ser compuesta. Si no es as, se trata de una oracin simple. Es decir la oracin es la unidad lingstica ms pequea que tiene sentido propio (sujeto y predicado), sintcticamente independiente, donde : Sujeto : Es la persona, animal o cosa de la que se dice algo. Para localizarlo se pregunta Quin?, Quines? o Qu cosa?, Qu cosas? al verbo. El sujeto concuerda siempre en persona y nmero con el verbo: A Luis le gustan las canciones de Bisbal. Las canciones de Bisbal es el Sujeto porque responde a la pregunta qu cosas le gustan a Luis? Y porque concuerda en persona y nmero (ellos/ellas) con el verbo. Predicado : Es lo que se dice del sujeto. Para localizarlo es fcil: "Lo que no es sujeto". Clases de sujetos. Sujeto expreso . Es el que aparece en la oracin y lo llamaremos Sujeto Sujeto omitido o elptico . Es el sujeto que no aparece pero que nos descubre el verbo. Ejemplos. 1.3. 6

1.

Alfonso Sujeto

corre mucho. Predicado (Ellos/as) Sujeto omitido

2.

Corren mucho. Predicado

Antalcides Olivo

1.3. Enunciados y proposiciones

1.3.1.2.

Frase

Los enunciados que carecen de una forma verbal personal son las denominadas frases . Los constituyentes de las frases son siempre palabras de ndole nominal, esto es, sustantivos, adjetivos o adverbios. Al no existir un ncleo verbal del que dependan sus dems componentes, las relaciones internas no son idnticas a las que se establecen en la oracin. Por ello, las frases no deben clasicarse por analoga con las oraciones a las que pudieran ser semnticamente equivalentes. Las frases pueden ser constituidas por una sola palabra (Lstima!, gracias!, vaya!), (Mi alma!, buenas tardes!, a estudiar mucho!, gajes del ocio!). Por ejemplo: Ejemplos. 1.3. 7

1. Perro ladrador, poco mordedor. 2. Prohibida la entrada. 3. Qu tiempos aquellos! 4. A mal tiempo, buena cara. 5. A mi edad, hacer estas cosas! 6. De tal palo, tal astilla. 7. En casa del herrero, cuchillo de palo. 8. Vivir para ver.

1.3.1.3.

Proposicin:

Es parecida a la oracin, pero carece de un elemento y se puede interpretar como la unidad de lenguaje que tiene sujeto y predicado, verbo en modo personal, pero cuyo sentido es incompleto. Esta unidad de lenguaje depende de otra con sentido completo. Tambin recibe el nombre de oracin subordinada, es decir. La proposicin es un sintagma ms reducido que la oracin. Y por lo tanto, cualquiera que sea su estructura, estar siempre incluida en la oracin. Tanto la oracin como la proposicin son unidades semnticas, sintcticas y fonticas. La diferencia estriba en que la proposicin es una unidad menor y formante de la oracin compuesta, ya sea por coordinacin o por subordinacin. Por lo tanto, la proposicin es tambin una unidad:

Antalcides Olivo

1.3. Enunciados y proposiciones

semntica, sin sentido completo en s misma o si lo tiene, por ser un miembro de la oracin a que pertenece, ser un sentido ms restringido;

fontica, sin pausas tan delimitadas, marcadas grcamente por la coma o el punto y coma; y sintctica, con enlaces gramaticales que la hacen dependiente de una oracin principal o la relacionan con otra u otras proposiciones. Podemos clasicar las proposiciones de la siguiente forma:

Proposicin Sustantiva: Equivale a un sustantivo y funciona como tal en la oracin compuesta. Funciona sintcticamente como:

Ejemplos. 1.3. 8 Sujeto: 1. Es necesario que te levantes temprano. 2. Lo racional es que contines trabajando. 3. Pareca injusto que se olvidara de m.

Ejemplos. 1.3. 9 Complemento directo: 1. Veo lo que dices. 2. Pide lo que quieras. 3. Olvid decirle a Carlos lo que me habas encargado. 4. Dijeron que vendran hoy.

Ejemplos. 1.3. 10 Complemento de un adjetivo: 1. Pedro est arrepentido de lo que hizo. 2. El jurado est convencido de que el reo es inocente. 3. El nio est cansado de que no lo tomen en serio.

Antalcides Olivo

10

1.3. Enunciados y proposiciones

Ejemplos. 1.3. 11 Complemento de un adverbio: 1. Ella est muy lejos de que la inviten. 2. El pueblo est ms cerca de lo que imaginan.

Proposicin Adjetiva: Equivale a un adjetivo. Cumple sus mismas funciones. Nada ms que en lugar de ser una sola palabra constituyen una oracin subordinada. Hay proposiciones adjetivas de sujeto y en el complemento indirecto. Cabe mencionar que el subordinante "Que" es el ms empleado en las proposiciones adjetivas.

Proposicin Adjetiva de sujeto: Modican directamente al ncleo del sujeto. Fjate en las siguientes oraciones:

Ejemplos. 1.3. 12 1. El marido que respeta a su mujer cumple con su deber. 2. El cuadro que adquirieron ayer no vale lo que pagaron. 3. Ese club, al cual se adhirieron ayer, cumple bien sus funciones. 4. El peridico cuyo director renunci, subir de prestigio. 5. La silla donde te sentaste est rota.

Est muy clara la funcin desempeada por las proposiciones resaltadas: modican al sustantivo, ncleo del sujeto, que es su antecedente.  Proposicin Adjetiva en el complemento directo: Modican directamente al ncleo del complemento directo (El complemento directo es el nombre del objeto que se ve afectado por la accin del verbo). Nota que inmediatamente despus del sustantivo viene la proposicin que se convierte en el complemento directo. Ejemplos. 1.3. 13 1. Te escrib una carta en la que te informaba sobre el nuevo carro. 2. Deberas apreciar el regalo que te hizo Bertha. 3. Algn da visitars la casa que tengo en El Valle.

Antalcides Olivo

11

1.3. Enunciados y proposiciones

Ejemplos. 1.3. 13 4. Todava estoy esperando la cena que me prometiste. 5. Me sacaron la muela que me dola mucho.

(Continuacin)

Proposicin Adjetiva en el complemento indirecto: Modican directamente al ncleo del complemento indirecto (El complemento indirecto siempre va precedido de las preposiciones a y para). Analiza las siguientes oraciones compuestas:

Ejemplos. 1.3. 14 1. Regal ropa y cobijas a la Cruz Roja, que necesita de todos nosotros. 2. Escogieron una bellsima canastilla para la joven que va a cumplir quince aos. 3. Los distintos clubes sociales de la ciudad dieron su aportacin para los nios que sufren poliomielitis. 4. Trajeron la tarjeta de crdito para el seor que vive al lado. 5. Lleg un telegrama para el hombre cuyo padre vive en Europa.

Las proposiciones estn modicando al sustantivo que es ncleo del complemento indirecto.  Proposicin Adjetivas en el complemento circunstancial: Modican directamente al ncleo del complemento circunstancial. Ejemplos. 1.3. 15 1. Juan est en la casa donde encontraron oro. 2. Te espero en el caf que est en la calle Morelos. 3. Escuch la conferencia de Raiza en Pedas, cuyas playas son formidables. 4. Me quedo con la carretilla que tiene ms espacio. 5. No voy al cine que exhibe pelculas de guerra.

Proposiciones Adjetivas en el predicado nominal: Modican al ncleo del predicado nominal, cuando es un sustantivo o equivalente. Como en las siguientes oraciones:

Antalcides Olivo

12

1.3. Enunciados y proposiciones

Ejemplos. 1.3. 16 1. Hortensia es la persona a quien he estado buscando. 2. Los nios son los seres que tienen mayor inocencia. 3. Apreciar esta pintura es la forma como se concilia uno con el mundo. 4. Estos son los poemas cuyos autores no los hubieran escrito sin sentirse realmente desolados en el universo.

En estos casos las proposiciones adjetivas estn modicando directamente a los sustantivos que estn funcionando como ncleos del predicado nominal. 1. persona; 2. seres; 3. forma; 4. poemas. Los subordinantes son respectivamente: quien, que, como, cuyos.  Proposiciones Adjetivas explicativas: Aaden una cualidad al sustantivo que estn modicando directamente, van entre comas. De hecho las comas son la principal forma de diferenciarlas de las especicativas. La proposicin en s no es indispensable para dar sentido cabal a la oracin. Ejemplos. 1.3. 17 1. Socorrimos a la madre, que estaba gritando. 2. Escoge la corbata roja, que es la ms na de todas. 3. Los nios, que iniciaron el juego, llegaron primero.

Proposiciones Adjetivas especicativas: Limitan al sustantivo al cual estn determinando; restringen el sentido de lo enunciado. La proposicin en si es indispensable para dar sentido cabal a la oracin. Ejemplos:

Ejemplos. 1.3. 18 1. Los nios que iniciaron el juego llegaron primero.

Antalcides Olivo

13

1.3. Enunciados y proposiciones

Ejemplos. 1.3. 18 2. Adquirimos los libros que estaban en oferta. 3. La alberca que estaba recin pintada fue inaugurada.

(Continuacin)

Ejemplo. 1.3. 1 La madre crey que el nio dorma en su cuna.

Oracin compuesta (por una proposicin subordinada)

Oracin compuesta en donde encontramos una frase subordinada: que el nio dorma en su cuna. El sujeto de la oracin es La madre y el predicado es crey que el nio dorma en su cuna. El nio es el sujeto de la proposicin y dorma en su cuna es el predicado de la proposicin.

1.3.2.

Proposicin lgica

De acuerdo con lo expuesto anteriormente vemos la necesidad de establecer un concepto menos amplio de enunciado y de proposicin por lo que estableceremos un nuevo concepto determinado como Trmino no defnido. 1.3. 1 Un enunciado lgico es una oracin o conjunto de oraciones con sentido completo. Enunciado lgico

En este concepto usaremos el concepto de oracin en toda su dimensin, pero no as el de enunciado. Presentaremos dos ejemplos de Enunciados lgicos   Escuch la conferencia de Raiza en Pedas, cuyas playas son formidables. Estos son los poemas cuyos autores no los hubieran escrito sin sentirse realmente desolados en el universo. Ahora presentaremos un nuevo concepto como un trmino que se construye a partir de uno ya conocido. Denicin. 1.3. 1 Proposicin lgica

Una proposicin lgica es un enunciado lgico al cual se le puede asignar un valor de verdad, es decir puede ser falso o verdadero, pero no ambas.

Nota: De aqu en adelante a las proposiciones lgicas y a los enunciodos lgicos los llamaremos simplemente proposiciones y enunciados, a no ser que no estemos en el contexto de la lgica matemtica, por que en ese caso debemos hacer la aclaracin Por ejemplo: Antalcides Olivo
14

1.3. Enunciados y proposiciones

3 + 2 = 5. De acuerdo con la denicin de adicin entre naturales, este enunciado es verdadero, por lo tanto es una proposicin.

Maana llueve. esto es algo que no se puede saber antes de termine el da, por lo tanto no se le puede asignar un valor de verdad, es decir este enunciado no es una proposicin. Notacin: Las proposiciones lgicas sern denotadas generalmente con letras minsculas p, q , r , t, etc.

A la veracidad o falsedad de una proposicin se denomina valor de verdad. Denicin. 1.3. 2 Valor de verdad

Se llama valores de verdad de una proposicin a sus dos valores posibles; verdadero o falso.

Estos posibles valores se puede esquematizar en una tabla, llamada tabla de verdad, en la forma. Tabla 1.1: Tabla de verdad

p f v

1.3.2.1.

Tipos de proposiciones

Trmino. 1.3. 2 Una tautologa es una proposicin que siempre es verdadera.

Tautologa

A las tautologas a veces en matemticas se les llama verdades o armaciones. Las verdades generales de las matemticas se deducen a partir del razonamiento lgico, siendo las premisas o armaciones, las deniciones, postulados o principios previamente establecidos. El razonamiento utilizado para establecer cualquier verdad o principio es llamado una demostracin. Trmino. 1.3. 3 Una falacia o contradiccin es una proposicin que siempre es falsa. Falacia

Antalcides Olivo

15

1.3. Enunciados y proposiciones

Trmino. 1.3. 4

Contingencia

Las contingencia son proporciones compuestas que no son ni tautologa ni contradicciones, es decir, son proposiciones que en algunos casos es f , y en otros es v .

1.3.2.2.

Tipos de tautologas

Los siguientes trminos son siempre tautologas Trmino. 1.3. 5 Denicin

Una denicin es una armacin que explica el signicado de un trmino o una palabra, en funcin de palabras o trminos conocidos.

En caso de que un trmino no se pueda expresar en funcin de otros trminos ya establecidos, se dice que es un trmino no denido. Trmino. 1.3. 6 Un teorema es una verdad que requiere demostracin. Teorema

Trmino. 1.3. 7 Un axioma es una verdad auto-evidente.

Axioma

Un PROBLEMA es una situacin o proposicin que requiere solucin. Trmino. 1.3. 8 Un Postulado es un problema auto-evidente. Postulado

Trmino. 1.3. 9

Hiptesis

Una hiptesis es una suposicin hecha, bien en el texto de una proposicin, o en el curso de una demostracin.

Antalcides Olivo

16

1.3. Enunciados y proposiciones

1.3.2.3.

Tipos de proposiciones

Cuando las proposiciones costan de una nica oracin es fcil especicar su valor de verdad, pero cuando consta de varias oraciones, no lo es tanto; adems debemos establecer la forma de conectar las oraciones para que tengan sentido, completo, por lo que se hace necesario establecer una serie de trminos para este n, estos trminos son los llamados conectivos lgicos. Conectivos lgicos Son expresiones que sirven para unir dos o ms proposiciones, entre los ms importantes conectivos lgicos tenemos. La conjuncin, disyuncin, condicional, bicondicional, negacin, esto mostraremos en la siguiente tabla: Tabla 1.2: Tabla de los conectivos lgicos Smbolo lgico o Expresin pyq opoq pq Si p, entonces q p si y slo si q ni p, no p

Nota: Generalmente usamos el conectivo de la siguiente forma 2 es par o 3 es impar, en vez de o 2 es par o 3 es impar. tambin se puede usar: 2 es par o/y 3es impar.  Las proposiciones atmicas simples, son las proposiciones que no utiliza conectivos lgicos.

Ejemplos. 1.3. 19 1. 6 es par. 2. 2+5=7. 3. 2 es un nmero real.

Las proposiciones compuestas moleculares, son aquellas que utilizan al menos un conectivo lgico.

Ejemplos. 1.3. 20 1. 6 es par y 5 es primo. 2. Si 3+5=8, entonces la suma de primos no es primo. 3. o 2 no es un nmero real o 2 es real.

Antalcides Olivo

17

1.4. Conjunto y operaciones con proposiciones

Conjunto y operaciones con proposiciones 1.4

Antes de seguir con la construccin de la lgica matemtica debemos conocer los conceptos de conjunto, producto cruz, relacin y funcin. Trmino no defnido. 1.4. 1 Conjunto

Un conjunto es o la existencia o agrupacin de objetos que poseen varias caractersticas en comn, la ausencia de objetos.

Realmente un conjunto es una estructura mental con alguna de las siguientes caractersticas :     No posee objetos. Posee slo un objeto. Posee muchos objetos. Posee innitos objetos Nota: Los objetos que se encuentran en un conjunto se les llama elementos Hasta ahora no hemos explicado como se representan los conjuntos , ya que recordemos que los conjuntos son estructuras abstractas. Los conjuntos se pueden representar de dos maneras por extensin y por comprensin. Trmino. 1.4. 1 Conjuntos por extensin

Un conjunto esta representado por extensin cuando los elementos del conjunto se listan entre llaves.

Por ejemplo A = {1, 2, 3, 4, 5, 6, } Trmino. 1.4. 2 Conjuntos por compresin

Un conjunto esta representado por comprensin cuando los elementos del conjunto se clasican especicando una o varias propiedades que los identica.

Antalcides Olivo

18

1.4. Conjunto y operaciones con proposiciones

Ejemplo. 1.4. 1 * Los nmeros pares. * Los carros marca Ford.

representacin de conjuntos

Notacin: A los conjuntos se les representa con letras maysculas A, B C , . . . , etc. Y a los elementos se les representa con lestras minsculas a, b, c . . . etc. Cuando un elemento a se encuentra en un conjunto B se denota a B . Se lee a pertenece a B . Ejemplo. 1.4. 2 Dados los conjuntos A = {1, 2, 3} y B = {3, 4, 5,6} tenemos. * 3 A, se lee 3 pertenece al conjunto A. * 5 / A, se lee 2 no pertenece al conjunto A. Notacin de conjuntos

Nota: Se dice que dos conjuntos son iguales si tienen los mismos elementos

1.4.1.

Proposiciones abiertas

Regresando al concepto de proposicin lgica, donde las expresiones solo pueden ser falsas o verdaderas, nos encontramos regularmente en matemticas con expresiones como     x2 5x + 6 = 0. x + 1 = 3. x2 9 = ( x 3 ) ( x + 3 ) . x2 = 25 x + 1 = 6. En estos enunciados no es posible deducir el valor de verdad, porque no conocemos el valor de x, pero si por ejemplo en la expresin x + 1 = 3 decimos que x = 3 entonces el enunciado es verdadero y es falso si x = 3, por lo tanto la expresin es una proposicin. Para poder trabajar con este tipo de expresiones es necesario especicar que es x, lo que estudiaremos a continuacin.

Antalcides Olivo

19

1.4. Conjunto y operaciones con proposiciones

Denicin. 1.4. 1

Variable

Una variable es un termino que representa cualquier elemento de un conjunto en particular y puede ser sustituido por cualquier elemento del conjunto.

Ejemplo. 1.4. 3 Sea A = {1, 2, 3, 4, 5}. x es par, para algnx A. En este caso la variable es x y la proposicin es cierta si x = 2, ya que 2 A.

Variable

Denicin. 1.4. 2 Una constante es un termino que representa a un elemento jo de un conjunto.

Constante

Notacin: Las variables se representan generalmenta con las letras minsculas l, , u, v , w x, y , z y las constantes generalmente con las letras minsculas a, b c, , k . Nota: Las letras i, j , k , n y m, como variables, generalmente representan nmeros naturales. Denicin. 1.4. 3 Proposiciones abiertas

Una proposicin abierta es aquella donde el sujeto o los sujetos son representados por variables

Ejemplos. 1.4. 1

Proposiciones abiertas

x2 5x + 6 = 0, x I R. x + 1 = 3, x I R. x2 9 = ( x 3 ) ( x + 3 ) , x I R. x2 = 25 x + 1 = 6, x I R.

Denicin. 1.4. 4

Dominio de una proposicin abierta

El dominio de una proposicin abierta o una variable, es el conjunto de valores que puede tomar una variable.

Antalcides Olivo

20

1.4. Conjunto y operaciones con proposiciones

En los ejemplos 1 el dominio de las proposiciones o de la variable es el conjunto de los nmeros reales. Denicin. 1.4. 5 Conjunto solucin

El conjunto solucin de una proposicin abierta el el conjunto de valores del dominio de una variable que hacen que la proposicin sea verdadera.

Ejemplo. 1.4. 4 Dada la proposicin x2 5x + 6 = 0, x I R encuentre el conjunto solucin.

Conjuto solucin

Solucin: Tenemos que el conjunto solucin es {3, 2} ya que *(3)2 5 (3) + 6 = 0 y, * (2)2 5 (2) + 6 = 0. Adems 3, 2 I R. Notacin: Las proposiciones abiertas se denotan p (x) p(x, y , , z ) para indicar cuales son las variables. Esta notacin nos ayuda a representar mejor los conjuntos por extensin usando la estructura: A = {x : p ( x ) , x A} Como por ejemplo A = {x : x es impar, x I N}

1.4.2.
1.4.2.1.

Conjuntos especiales
Conjunto vaco

Denicin. 1.4. 6 El conjunto vaco es aquel que no tiene elementos

Conjunto vaco

Notacin: El conjunto vaco es nico y se representa con los smbolos {}. 1.4.2.2. Conjunto unitario

Denicin. 1.4. 7 Un conjunto unitario es aquel que posee un solo elemento.

Conjunto unitario

Antalcides Olivo

21

1.4. Conjunto y operaciones con proposiciones

Ejemplos. 1.4. 2

Conjuntos unitarios

* {1} * {a} * {}

1.4.2.3.

Conjunto universal

Denicin. 1.4. 8

Conjunto universal

Un conjunto es universal cuando es el conjunto referencia, es decir es el conjunto que contiene a todos los elementos con las mismas propiedades.

Notacin: Al conjunto universal se le representa con la letra U . Ejemplos. 1.4. 3 Conjuntos universales

* El conjunto de los nmeros naturales. * El conjunto de las letras del alfabeto. * El conjunto de todos los alumnos de la Universidad Del Atlntico.

1.4.2.4.

Subconjunto

Denicin. 1.4. 9

Subconjunto

Se dice que un conjunto A es un subconjunto de un conjunto B no vaco. Si A contiene slo elementos de B ningn elemento.

Esta denicin nos asegura que el vaco es subconjunto de cualquier conjunto. Notacin: Si A es subconjunto de B se denota A B B A.

Antalcides Olivo

22

1.4. Conjunto y operaciones con proposiciones

Ejemplo. 1.4. 5

Subconjunto

Sea A = {x : x es una letra del alfabeto espaol} Cuales de los siguientes conjuntos son subconjunto de A 1. B = {a, b, c, d}. 2. C = {}. 3. D = . 4. E = {, a, b}.

Solucin: B y D ya que C A porque no es un elemento de A sino un subconjunto y D A porque no es una letra del alfabeto espaol. Diagramas de Venn anteriormente dijimos que los conjuntos podamos representarlos por extensin y por comprensin, pero en algunas ocasiones es mejor representarlos grcamente, utilizando un rectngulo para el conjunto universal y los conjuntos con guras geomtricas en su interior. por ejemplo sea U el conjunto referencia de los conjuntos A, B y C entonces podemos representarlos as. 1.4.2.5. Producto cruz

Denicin. 1.4. 10

Producto cruz

Sean A y B conjuntos no vacos, se llama producto cruz al conjunto de elementos que tienen la forma (x, y ) de tal forma que x A y y B . Es decir los elementos de A estn en la primera posicin y los elementos de B estn en la segunda posicin del elemento (x, y ) .

Notacin: Sean A y B dos conjuntos diferentes del vaco, el producto cruz entre los conjuntos A y B se denota A B . Nota: Al elemento (x, y ) se le llama pareja ordenada y a x se le llama primera componente y a y segunda componente. Ejemplo. 1.4. 6 Sean A = {1, 2, 3} y B = {4, 5, 6} hallar a. b. c. A B. B A. AA

Antalcides Olivo

23

1.4. Conjunto y operaciones con proposiciones

Solucin: a. b. c. A B = {(1, 4) , (1, 5) , (1, 6) , (2, 4) , (2, 5) , (2, 6) , (3, 4) , (3, 5) , (3, 6)}. B A = {(4, 1) , (5, 1) , (6, 1) , (4, 2) , (5, 2) , (6, 2) , (4, 3) , (5, 3) , (6, 3)}. A A = {(1, 1) , (1, 2) , (1, 3) , (2, 1) , (2, 2) , (2, 3) , (3, 1) , (3, 2) , (3, 3)}.

Observe que A B = B A. 1.4.2.6. Relacin binaria

Denicin. 1.4. 11 Una relacin binaria es un subconjunto del producto cruz diferente del vacio .

Relacin binaria

Notacin: Si una pareja (x, y )pertenece a una relacin binaria R se denota xRy . Que se lee x est relacionada con y . Ejemplo. 1.4. 7 Relacin binaria

Sean A = {2, 4, 6, 8, 10} y B = {1, 2, 3, 4, 5}, indique cuales conjuntos son relaciones binarias, 1. R1 = {(x, y ) : x = y , x A, y B }. 2. R2 = {(x, y ) : x < y , x A, y B }. 3. R3 = {(2, 1) , (4, 1) , (6, 1) , (8, 1) , (10, 1)}. 4. R4 = {(1, 2) , (4, 5) }.

Solucin: 1. R1 = {(2, 2) , (4, 4)} A B , entonces R1 es relacin binaria . 2. R2 = {(2, 3) , (2, 4) , (2, 5) , (4, 5)} A B , entonces R2 es relacin binaria. 3. R3 = {(x, y ) : y = 1, x A, y B } A B , entonces R3 es relacin binaria. 4. R4 no es relacin binaria ya que (1, 2) / A B. Nota: De aqu en adelante a las relaciones binarias las nombraremos slo relaciones.

Antalcides Olivo

24

1.4. Conjunto y operaciones con proposiciones

1.4.2.7.

Funcin

Se va a introducir el concepto de funcin, hablando libremente una funcin f de un conjunto A en un conjunto B es una regla (procedimiento o mecanismo) que nos transporta de un conjunto a otro de manera que asociamos cada elemento de A un nico elemento en B . Denicin. 1.4. 12 Funcin

Consideremos dos conjuntos cualquiera A y B no vacos, a la relacin binaria f de A en B le llamaremos funcin de A en B , si y slo si, verica: i) ii) f AB Si (x, y1 ) f y (x, y2 ) f , entonces y1 = y2 .

Nota: La segunda condicin indica, que dos parejas ordenadas distintas no pueden tener la misma primera componente. Observaciones  A una funcin f de A en B la denotaremos por f : A B A B y se lee f es una
f

x y funcin de A en B , donde el conjunto A le llamamos conjunto de partida y el conjunto B le llamaremos conjunto de llegada.

Si el par (x, y ) f , escribimos y = f (x) y se dice que y es imagen de x por f tambin, que y = f (x) es el valor de f en x.

Tambin se puede decir que y = f (x) si y slo si (x, y ) f . Otra forma de representar una funcin es f = {(x, y ) A B : y = f (x)} Una consecuencia inmediata de la denicin es que toda funcin es una relacin pero no toda relacin es una funcin.

Ejemplo. 1.4. 8 Dada la relacin R = {(1, 2) , (2, 3) , (3, 4) , (2, 5)} indicar si R es una funcin.

Funcin

Solucin: R no es una funcin, puesto que para la componente 2 existen dos componentes 3 y 5 tales que

(2, 3) y (2, 5) R, lo que contradice la segunda condicin de la denicin de funcin.

Nota: Sea f : A B una funcin de A en B , llamaremos dominio de la funcin f , al conjunto de todas las primeras componentes, el cual denotaremos por Df , es decir: Antalcides Olivo
25
f

1.4. Conjunto y operaciones con proposiciones

Df = {x A : tal que existe un y B (x, y ) f } A. Llamaremos rango de la funcin f al conjunto de las imgenes de todos los elementos de A, mediante f al cual denotaremos por Rf es decir: Rf = {y B : tal que existe un x A (x, y ) f } B .

Ejemplo. 1.4. 9 Sea f = (1, 2), (3, 4), (5, 6).(7, 8) su dominio y rango es: Df = 1, 3, 5, 7; Rf = 2, 4, 6, 8.

Nota: A una funcin f , le llamaremos aplicacin de A en B , si y slo si: Df = A. Ejemplo. 1.4. 10 Sean A = 1, 3, 5, B = 2, 4, 6, calcule A B a) El conjunto f = (1, 4), (3, 2) es funcin donde Df = 1, 3 y Rf = 4, 2 pero f no es una aplicacin de A en B puesto que Df = A. b) El conjunto f = (1, 2), (3, 4), (5, 6) es una funcin donde: Df = 1, 3, 5 y Rf = 2, 4, 6, como Df = A entonces f es una aplicacin de A en B .

1.4.3.

Operaciones entre proposiciones

En en sistema axiomtico son importantes las operaciones que se pueden realizar con sus elementos, pero en este punto es necesario denir lo que es una operacin. Denicin. 1.4. 13 Operacin binaria

Dados tres conjuntos A, B y C no vacos, una operacin binaria es una aplicacin de la forma : : AB C z

( x, y )

Notacin: Si ((x, y ) , z ) se denota x y = z .

Antalcides Olivo

26

1.4. Conjunto y operaciones con proposiciones

Si convenimos en considerar el conjunto U de todas las posibles proposiciones del lenguaje como conjunto universo, y adems el conjunto V = {v , f } el conjunto de los valores de verdad de una proposicin. Entonces podemos denir las siguientes aplicaciones : P: U p  V x , : V V V z y : U U U r

( x, y )

(p, q )

La aplicacin P establece que a cada proposicin se le puede asignar un valor y slo un valor de verdad, lo que est de acuerdo con la denicin, y que cada proposicin tiene asignado un valor de verdad.

La operacin establece que dados dos valores de verdad estos se pueden operar y obtener un nico valor de verdad

La operacin establece que dadas dos proposiciones se pueden operar y obtener una nica proposicin. Teniendo en cuenta las aplicaciones denidas podemos establecer la siguiente estructura U U V V V de tal forma que dadas dos proposiciones se pueden operar sus valores de verdad bajo la operacin . Usando sta estructura podemos denir las siguientes operaciones entre proposiciones. Nota: En este curso no demostraremos que las operaciones estn bien denidas, es decir que es una
R

funcin y el conjunto de partida es igual al conjunto de llegada. 1.4.3.1. Conjuncin O : U U U pq V z , obtenemos una estructura de de tal forma que se pueden

La conjuncin es la operacin de la forma

(p, q )
operar sus valores de verdad usando la denicin
la forma: U U V V V.

V V

( x, y )
O

Denicin. 1.4. 14

Conjuncin

La ley que establece la conjuncin es la siguiente: la conjuncin es verdadera, slo si las dos proposiciones son verdaderas.

Tabla 1.3: Tabla de verdad de la conjuncin p v v f f q v f v f pq v f f f

27

Antalcides Olivo

1.4. Conjunto y operaciones con proposiciones

Ejemplo. 1.4. 11 S p : 4 < 7 y q : 6 es nmero par. Calcular el valor de verdad de p q .

Conjuncin

Solucin: Tabla 1.4: Tabla de verdad p v q v pq v

1.4.3.2.

Disyuncin O : U U U pq V z , obtenemos una estructura de de tal forma que se pueden

La disyuncin es la operacin de la forma

( p, q )
operar sus valores de verdad usando la denicin
la forma: U U V V V.

V V

( x, y )
O

Denicin. 1.4. 15

Conjuncin

La ley que establece la disyuncin es la siguiente: la disyuncin es falsa, slo si las dos proposiciones son falsas.

Tabla 1.5: Tabla de verdad de la disyuncin p v v f f q v f v f pq v v v f

Ejemplo. 1.4. 12 S p : 7 > 9 y q : 4 < 5. Calcular el valor de verdad de p q .

Disyuncin

Solucin: Tabla 1.6: Tabla de verdad p f q v pq v

Antalcides Olivo

28

1.4. Conjunto y operaciones con proposiciones

1.4.3.3.

Condicional O : U U U pq V z , obtenemos una estructura de de tal forma que se pueden

La condicional es la operacin de la forma

( p, q )
operar sus valores de verdad usando la denicin
la forma: U U V V V.

V V

( x, y )
O

Nota: En la condicional a la proposicin p se le llama antecedente y a q consecuente. Denicin. 1.4. 16 Condicional

La ley que establece la condicional es la siguiente: la bicondicional es verdadera cuando las dos proposiciones tienen el mismo valor de verdad.

Tabla 1.7: Tabla de verdad de la bicondicional p v v f f q v f v f p q v f f v

Ejemplo. 1.4. 13

Condicional

Sea p : Cristbal Coln descubri Amrica. ; q : 6 + 3 = 8 Hallar el valor de verdad de p q

Solucin: Tabla 1.8: Tabla de verdad p v q f pq f

1.4.3.4.

Bicondicional O : U U U pq V z , obtenemos una estructura de de tal forma que se pueden

La bicondicional es la operacin de la forma

( p, q )
operar sus valores de verdad usando la denicin
la forma: U U V V V.

V V

( x, y )
O

Antalcides Olivo

29

1.4. Conjunto y operaciones con proposiciones

Denicin. 1.4. 17

Bicondicional

La ley que establece la bicondicional es la siguiente: la bicondicional es verdadera cuando las dos proposiciones tienen el mismo valor de verdad.

Tabla 1.9: Tabla de verdad de la bicondicional p v v f f q v f v f p q v f f v

Ejemplo. 1.4. 14

Bicondicional

Sea p : Cristbal Coln descubri Amrica. ; q : 6 + 3 = 8 Hallar el valor de verdad de p q

Solucin: Tabla 1.10: Tabla de verdad p v q f pq f

1.4.3.5.

Disyuncin exclusiva O : U U p U q V z , obtenemos una de tal forma que

La disyuncin exclusiva es la operacin de la forma

( p, q )
se pueden operar sus valores de verdad usando la denicin estructura de la forma: U U V V V . Denicin. 1.4. 18
O

V V

( x, y )

Disyuncin exclusiva

La ley que establece la disyuncin exclusiva es la siguiente: la disyuncin exclusiva es falsa cuando las dos proposiciones tienen el mismo valor de verdad.

Antalcides Olivo

30

1.4. Conjunto y operaciones con proposiciones

Tabla 1.11: Tabla de verdad de la bicondicional p v v f f q v f v f p f v v f q

Ejemplo. 1.4. 15

Disyuncin exclusiva q

Sea p : Cristbal Coln descubri Amrica. ; q : 6 + 3 = 8 Hallar el valor de verdad de p

Nota: sta operacin se llama excluyente porque porque slo se puede dar ambas pero no una sola. Solucin: Tabla 1.12: Tabla de verdad p v q f p v q

1.4.3.6.

Negacin O : U p V z Negacin . U q de tal forma que se pueden operar su

La negacin es la operacin de la forma :

valor de verdad usando la denicin

V x

Denicin. 1.4. 19

La ley que establece la negacin es la siguiente: La negacin cambia el valor de verdad de una proposicin.

Tabla 1.13: Tabla de verdad de la negacin. p v f p f v

1.4.4.

Relaciones entre proposiciones

En esta seccin trabajaremos con tautologas y falacias por lo que presentaremos algunos ejemplos para aprender a determinar cuando una proposicin es una tautologa, contingencia falacia.

Antalcides Olivo

31

1.4. Conjunto y operaciones con proposiciones

Ejemplos. 1.4. 4

Tautolgias

1. p p (principio del tercio excluido) 2. [(p q ) p] q 3. (p p)

Solucin: 1. Vemos que en la ltima columna de la tabla de verdad (1.14) nos muestra que p p es una tautologa. Tabla 1.14: Tabla de verdad. p v f p f v p p v v

2. Si observamos en la tabla de verdad (1.15) nos queda demostrado que [(p q ) p] q es una tautologa. Tabla 1.15: Tabla de verdad. p v v f f q v f v f pq v f v v

(p q ) p v f f f

[(p p) p] q v v v v

3. Este queda de ejercicio al lector. Ejemplos. 1.4. 5 Falacias

1. p p (principio de contradiccin) 2. (p q ) (p q ) 3. (p p)

Solucin: 1. Vemos que en la ltima columna de la tabla de verdad (1.16) nos muestra que p p es una falacia.

Antalcides Olivo

32

1.4. Conjunto y operaciones con proposiciones

Tabla 1.16: Tabla de verdad. p v f p f v p p f f

2. Si observamos en la tabla de verdad (1.17) nos queda demostrado que (p q ) (p q ) es una falacia. Tabla 1.17: Tabla de verdad. p v v f f q v f v f pq v f v v p q f v f f

(p q ) (p q ) f f f f

3. Este queda de ejercicio al lector 1.4.4.1. Implicacin

Denicin. 1.4. 20

Implicacin

Se dice que una proposicin q se deduce de p o que una proposicin p implica una proposicin q cuando p q es una tautologa.

Notacin: Si una proposicin p implica a una proposicin q se denota p q . Ejemplo. 1.4. 16 Determinar si [( p q ) q ] p Implicacin

Solucin: Tabla 1.18: Tabla de verdad. p v v f f q v f v f p f f v v pq f f f f q v v v v

( p q ) q v f v v

[( p q ) q ] p v v v v

Ejemplo. 1.4. 17 Determinar si (p p) q

Implicacin

Antalcides Olivo

33

1.4. Conjunto y operaciones con proposiciones

Solucin: Tabla 1.19: Tabla de verdad. p v v f f q v f v f p f f v v p p f f f f

( p p ) q v v v v

1.4.4.2.

Equivalencia lgica

Denicin. 1.4. 21 Se dice que una proposicin q es equivalente a p, cuando p q es una tautologa.

Equivalencia lgica

Notacin: Si una proposicin p es equivalente a una proposicin q se denota p q p q . Ejemplo. 1.4. 18 Analice el valor de verdad de la proposicin compuesta (p q ) ( q p) Equivalencia lgica

Solucin: p V V F q V F V pq V F V q F V F p F F V q p V F V

(p q ) ( q p)
V V V

F F V V V V V Es decir las proposiciones: p q y q p son equivalentes. Ejemplo. 1.4. 19 Equivalencia lgica

Probar usando las tablas de verdad que las proposiciones (p q ) y ( q p), son lgicamente equivalentes.

Solucin: Para probar que las proposiciones (p q ) y ( q p) son lgicamente equivalentes debemos probar que (p q ) ( q p) es una tautologa.

Antalcides Olivo

34

1.4. Conjunto y operaciones con proposiciones

Tabla 1.20: Tabla de verdad. p v v f f q v f v f p f f v v q f v f v pq v f v v q p v f v v

(p q ) ( q p) v v v v

Nota: Para vericar si dos proposiciones son lgicamente equivalentes basta comprobar que las dos proposiciones tienen la misma tabla de verdad. Como se observa en la tabla (1.20) al comparar las columnas 5 y 6.

1.4.5.

Cuanticadores y otras formas de expresar la implicacin

En algunos casos las condicionales, vienen expresadas de tal forma que cada proposicin simple se puede representar como un conjunto, por ejemplo Los polgonos de cuatro lados son cuadrilteros. En este caso llamaremos Px = {x : x es un polgono} y Qx = {x : x es un cuadriltero}
1

(1.1) y representamos

la proposicin (??) como Px Qx , pero a nosotros nos interesan son las implicaciones, por tanto veamos cuando est proposicin es verdadera. Para ello tomaremos otro conjunto Ux = {x : x es una gura plana}, a este conjunto lo llamaremos universal o de referencia. Ahora realizaremos un diagrama de Venn mostrado en la gura(1.1)
Ux Px Qx x1 Px Qx x2 Ux

Diagrama 1

Diagrama 2

Figura 1.1: Proposiciones abiertas Si tomamos un polgono, el cual representaremos con el smbolo x1 , observamos en el diagrama 1 que x2 no est en el conjunto de los cuadrilteros, por tanto en este caso Px Qx es falsa, mientras en el diagrama 2 tomaremos un polgono representado por x2 el cual est en Qx , por tanto Px Qx es verdadera, de lo que podemos concluir que para que Px Qx sea una tautologa debe cumplirse la relacin. Qx Px Para indicar que Px Qx es una tautologa utilizamos unos operadores lgicos de existencia, los cuales son:
1 A las proposiciones que dependen de una variable y de un conjunto referencia, como es el caso de P y Q se llaman x x proposiciones abiertas.

Antalcides Olivo

35

1.4. Conjunto y operaciones con proposiciones

Existe algn: Se representa x y se lee existe algn x. Para todo: se representa x y se lee para todo x. Existe un nico: Se representa !x y se lee existe uno y slo un x. Ningn: Se representa x y se lee no existe ningn x.

En nuestro caso la proposicin quedara: x U , (px = qx ) De aqu en adelante el conjunto que representa a la proposicin se representar con letras maysculas y las proposiciones con letras minsculas con la variable como subndice: Analicemos nuevamente el diagrama 2 de la gura (1.1) Como, x2 est en el conjunto, entonces podemos decir que P es condicin suciente para que x2 est en el conjunto Q. En este sentido, se dice que px es condicin suciente para qx . Adems es claro que para que un elemento x2 est en P se necesita que x2 est en en Q. De aqu que se diga que qx es condicin necesaria para px . Tambin se observa que un elemento x2 est en el conjunto Q si est en el conjunto P . Este anlisis precedente sugiere otras maneras de expresar la implicacin px = qx stas son: 1. px implica a qx 2. px es condicin suciente para qx 3. qx es condicin necesaria para px 4. qx , si px 1.4.5.1. Negacin de los cuanticadores

La regla general para construir la negacin de una proposicin abierta es la siguiente: Los se cambian por o y los se cambian por y despus se niega la proposicin abierta. La negacin de la proposicin se construye mecnicamente del mismo modo como se o a realiza la negacin de una proposicin .

Antalcides Olivo

36

1.5. Inferencia y esquemas de razonamiento

Inferencia y esquemas de razonamiento 1.5

1.5.1. Principales leyes lgicas o tautolgicas

Siguiendo las construccin axiomtica de la lgica nos queda establecer los axiomas y los teoremas, cual estableceremos en sta seccin. Trmino. 1.5. 1 Dadas dos proposiciones p y q al trmino p q se le llama ley de inferencia. Leyes de inferencia lgica

En la lgica los teoremas son leyes de inferencia. 1.5.1.1. Axiomas

Estableceremos tres axiomas, Axioma.1.0 Identidad Toda proposicin es idntica a si misma, es decir p p

Axioma.1.0 Contradiccin una proposicin no puede ser cierta y falsa a la vez, es decir (p p) v .

Axioma.1.0 Tercer excluido Toda proposicin es cierta es falsa , es decir p p v .

1.5.1.2.

Leyes de inferencia

Leyes de inferencia. 1.5. 1 ( p) p

Involutiva

Leyes de inferencia. 1.5. 2 1. p p p 2. p p p

Indempotencia

Antalcides Olivo

37

1.5. Inferencia y esquemas de razonamiento

Leyes de inferencia. 1.5. 3

Comutativas

1. (p q ) (q p) 2. (p q ) (q p) 3. p q q p

Leyes de inferencia. 1.5. 4

Asociativas

1. p (q r ) (p q ) r 2. p (q r ) (p q ) r 3. p (q r ) (p q ) r

Leyes de inferencia. 1.5. 5

Distributivas

1. p (q r ) (p q ) (p r ) 2. p (q r ) (p q ) (p r ) 3. p (q r ) (p q ) (p r ) 4. p (q r ) (p q ) (p r )

Leyes de inferencia. 1.5. 6

Morgan

1. (p q ) p q 2. (p q ) p q

Antalcides Olivo

38

1.5. Inferencia y esquemas de razonamiento

Leyes de inferencia. 1.5. 7

Del condicional

1. p q p q 2. (p q ) p q

Leyes de inferencia. 1.5. 8

Del bicondicional

1. p q (p q ) (q p) 2. p q (p q ) ( p q )

Leyes de inferencia. 1.5. 9

De la absorcin

1. p (pq ) p 2. p ( p q ) p q 3. p (p q ) p 4. p ( p q ) p q

Leyes de inferencia. 1.5. 10

De transposicin

1. (p q ) q p contrareciproco 2. p q q p

Leyes de inferencia. 1.5. 11

De exportacin

1. (p q ) r p (q r ) 2. (p1 p2 p3 pn ) r (p1 p2 p3 pn1 ) (pn r )

Antalcides Olivo

39

1.5. Inferencia y esquemas de razonamiento

Leyes de inferencia. 1.5. 12

De los modulos

1. p v p 2. p f p

Leyes de inferencia. 1.5. 13

De la simplicacin

1. (p q ) (p q ) p 2. (p q ) (p q ) p

Nota: Estas Leyes son muy tiles para simplicar los problemas, puesto que es vlido reemplazar una proposicin por su equivalente sin alterar el resultado. Ejemplos. 1.5. 1 Simplicar las proposiciones siguientes aplicando las leyes lgicas 1. [(p q ) q ] p 2. [ (p q ) q ] q 3. [( p q ) (r r )] q

Solucin:

Antalcides Olivo

40

1.5. Inferencia y esquemas de razonamiento

1. Apliquemos las leyes de inferencia

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

[ (p q ) q ] p [ (p q )] (p q ) ( ( p q ) p ) q ([ p q ] p) q [( p p) ( q p)] q [v ( q p)] q ( q p) q ( p q ) q

p ( q q ) p q

2. Apliquemos las leyes de inferencia [ (p q ) q ] q

[ (p q ) ( q )] q [( p q ) q ] q [( p q ) ( q q )] q [( p q ) f ] q ( p q ) q (( p q ) ( q q )) ( p q ) v
pq

3. Queda de tarea al lector.

1.5.2.
1.5.2.1.

Esquemas de razonamiento
Mtodo inductivo

El razonamiento inductivo es el proceso mediante el cual se obtienen conclusiones a partir de nuestras propias observaciones o a partir de ejemplos particulares, es decir al observar que una accin o propiedad se repite se concluye en general que esa accin o propiedad siempre es cierta

Antalcides Olivo

41

1.5. Inferencia y esquemas de razonamiento

Trmino. 1.5. 2 Es la conclusin que se obtiene a partir de un proceso inductivo

Conjetura

Nota: Al utilizar el razonamiento inductivo debemos tener cuidado de no construir conjeturas o generalizaciones falsas, por lo siempre hay que tratar de encontrar casos donde no se cumpla la conjetura, en caso de que no se consiga, no quiere decir que la conjetura es cierta, slo nos indica que no hemos encontrado un caso donde no se cumple. A continuacin mostraremos un ejemplo para explicar paso a paso como podemos obtener una conjetura a partir de una secuencia de casos o fenmenos. Aunque en ese ejemplo no trataremos de vericar si la conjetura es siempre cierta, el objetivo es de aprender a construir conjeturas. Ejemplo. 1.5. 1 Suponga que una persona mide los lados de cuatro tringulos como muestra la gura(1.2). Establezca una conjetura sobre los lados de un tringulo

Figura 1.2: Desigualdad triangular

C 0,77 0,59 A 0,77 B E 0,76

D 0,75 F 0,58

I 1,08 0,61 G 0,61 H 0,62 K

J 0,88 L 0,62

De acuerdo con la gura 1.2 tenemos que en AC + AB AB + BC En el DEF se tiene que DE + DF DE + EF

ABC se tiene:

= 1,54 > BC = 0,31 = 1,36 > AC = 0,77

(1.2) (1.3)

= 1,51 > EF = 0,58 = 1,48 > AC = 0,75

(1.4) (1.5)

Antalcides Olivo

42

1.5. Inferencia y esquemas de razonamiento

En el

IGH se tiene que IG + GH IG + IH

= 1,22 > HI = 1,08 = 1,69 > GH = 0,61

(1.6) (1.7)

En el

JKL se tiene que JK + KL JK + JL

= 1,29 > JL = 0,88 = 1,50 > KL = 0,75

(1.8) (1.9)

De los anteriores resultados , a pesar que los tringulos ABC , HIG y JKL son issceles, podemos concluir. " Que la suma de las longitudes de dos lados de un tringulo siempre es menor que la longitud de su tercer lado" 1.5.2.2. Mtodo del contraejemplo

Hay ocasiones donde despus de un razonamiento inductivo obtenemos una conjetura que no se cumple para todos los casos, es decir obtenemos una generalizacin falsa, entonces para indicar que esa generalizacin es falsa buscamos un ejemplo donde no se cumpla la accin o la propiedad. Trmino. 1.5. 3 Contraejemplo

Es el mtodo que se usa para demostrar que una generalizacin es falsa, utilizando un ejemplo que la contradiga.

Nota: Los ejemplos slo son validos para demostrar que una proposicin es falsa, nunca demuestra que una proposicin es verdadera. Ejemplo. 1.5. 2 Si un cuadriltero tiene sus diagonales perpendiculares, entonces es un rombo. Contraejemplo

Antalcides Olivo

43

1.5. Inferencia y esquemas de razonamiento

Figura 1.3: Cometa

A

4,27

3,49

90 D E C

En el cuadriltero podemos observar que AD = 6,29 y AC = 6 y por denicin de rombo el cuadriltero ABCD no puede ser un rombo porque no tiene sus lados congruentes. 1.5.2.3. Razonamiento deductivo

El mtodo deductivo consiste en partir de un nmero reducido de informacin (hiptesis) y mediante un proceso lgico deducir otros conocimientos o proposiciones nuevas. Para profundizar y entender este mtodo explicaremos a continuacin cuales son los procesos lgicos. 1.5.2.4. Prueba indirecta (Tollendo-tollens)

Es un razonamiento de la forma: p q q

p Ejemplo. 1.5. 3

pq: q:

Si dos rectas son paralelas, entonces no tienen puntos en comn. Las rectas l1 y l2 tienen un punto en comn.

p:

Las rectas l1 y l2 no son paralelas. Antalcides Olivo

44

1.5. Inferencia y esquemas de razonamiento

Ejemplo. 1.5. 3

(Continuacin)

Como la condicional debe ser una implicacin, entonces tenemos que para que ella sea una tautologa, solo existen dos posibilidades, que las dos proposiciones p y q tengan el mismo valor de verdad. Por tanto si q es falsa se deduce que p tambin es falsa. 1.5.2.5. Modus ponendus ponens (Directa)

Este es un razonamiento de la forma: p q p

p La argumentacin es la misma de la prueba indirectas decir para que p q sea una implicacin si p es verdadera, se tiene que q tambin lo es. Ejemplo. 1.5. 4

pq: p:

Si un tringulo tiene tres ngulos congruentes, entonces es equiltero. El tringulo ABC tiene tres ngulos congruentes

q:

El triangulo

ABC es equiltero.

1.5.2.6.

Regla de la cadena

Este razonamiento es el ms usado en matemticas consiste en construir una cadena de implicaciones partiendo de la hiptesis hasta obtener la conclusin y es de la forma: p r r q

p q .

Antalcides Olivo

45

1.5. Inferencia y esquemas de razonamiento

Ejemplo. 1.5. 5

pq: qr:

Si dos rectas son perpendiculares, entonces se intersecan. Si dos rectas se intersecan, entonces no son paralelas.

pr:

Si dos rectas son perpendiculares, entonces no son paralelas.

Otra forma de interpretar este razonamiento es:

(p r r q ) (p q ) ,
mirndola de esta forma el razonamiento es equivalente si la conjuncin es cierta entonces la conclusin tambin lo es decir p q es una tautologa. Ejemplo. 1.5. 6 Sea ED una mediatriz del segmento AB en el F B. mediatriz, entonces AF =
b

ABC , si el punto F es la interseccin de lado AB y la

Figura 1.4: Regla de la cadena

E C c A F D d B

Solucin: Para demostrar que sta proposicin es una implicacin vamos a utilizar el mtodo de razonamiento deductivo, de la siguiente manera:

Antalcides Olivo

46

1.5. Inferencia y esquemas de razonamiento

Figura 1.5: Solucin

Dato

Denicin de mediatrz

ED es mediatriz de AB

F es el punto medio de AB

AF = FB

Denicin de punto medio

La estructura para redactar una demostracin que usaremos es la siguiente. Prueba:

Armaciones 1. 2. 3. ED es la mediatriz de AB F es punto medio de AB FB AF =

Razones Dado Denicin de punto mediatriz Denicin de punto medio

Es decir en este ejemplo usamos la regla de la cadena. 1.5.2.7. Ley modus tollendo-ponens

Este razonamiento es de la forma: pq p

q. 1.5.2.8. Ley del silogismo disyuntivo

Es un razonamiento con la siguiente estructura Antalcides Olivo

47

1.6. Problemas

pq p r q s

r s. Nota: Existen tres reglas bsicas de validez que se aplican continuamente en una demostracin. Regla 1: las deniciones, los postulados y los teoremas demostrados pueden aparecer en cualquier paso de la demostracin. Regla 2: las proposiciones equivalentes se pueden sustituir entre s en cualquier parte de una demostracin. Regla 3: una proposicin verdadera se puede introducir en cualquier punto de la demostracin.

Nota:

Antes de terminar la seccin mostraremos, en la gura 1.6, como es el esquema que se debe

emplear en una demostracin sin importar como la redactemos. Figura 1.6: Esquema de una demostracin

Hiptesis

Razonamieto lgico

Tesis

Trminos no denidos Deniciones Postulados Otros teoremas

Esquema de razonamiento

Conclusin

Problemas 1.6
e ) Hiptesis p : Dos ngulos tienen la misma me1. En los incisos del a) al e), escriba las proposiciones como implicaciones, luego decida si es falso o verdadero a ) Hiptesis p : Un hombre vive en Barranquilla, Conclusin q : Vive en Antioqua. b) Hiptesis p : Algunas manzanas son rojas, Conclusin q : Los caballos tienen cuatro patas. c ) Hiptesis p : Dos rectas se intersecan, Conclusin q : Las dos rectas no son paralelas. d ) Conclusin q : Dos rectas son perpendiculares, Hiptesis p : Las rectas se intersecan. 4. En los incisos del a) al e) identique la hiptesis y la conclusin y determine si es una implicacin. a ) un nmero es par si termina en 4. 3. Demuestre la siguiente conjetura: Si dos ngulos son congruentes sus complementos son congruentes. dida, Conclusin q : Los ngulos son congruentes. 2. Analice la siguiente conjetura: Si un tringulo tiene un ngulo recto, tiene dos lados congruentes. Comentario: Para demostrar que la conjetura es falsa, debe presentar un contraejemplo, para explicar que es verdadera use las deniciones.

Antalcides Olivo

48

1.6. Problemas

b) Dos rectas son perpendiculares si forman un ngulo recto. c ) Un tringulo con dos lados congruentes, tiene los tres ngulos congruentes, d ) Si Un nmero es impar, termina en cinco. e ) Una recta que biseca un segmento contiene su punto medio. b)

p = q :

Si dos rectas son paralelas no se intersecan.

q:

Las rectas no se intersecan.

p = q :

Si un punto est en la mediatriz de un segmento, entonces equidista de sus

5. Formule la recproca, contraria y contra-reciproca , de las siguientes proposiciones. a ) Si una persona camina se acalora. b) Si dos rectas se intersecan, son paralelas. c ) Si una persona es adinerada, entonces puede viajar. d ) si a = 0 y b = 0, entonces a.b = 0, para todo a y b reales. d)
p:

extremos.

c)
El punto no est en la mediatriz.

ABC mide ms de 90

El ABC es un ngulo obtuso

e ) Si un polinomio es un tringulo, entonces una regin plana. f ) Dos planos paralelos si intersecan. 6. Determine en cada inciso si la proposicin representa una equivalencia, en caso de no ser lo encuentre un contra ejemplo. a ) Un tringulo tiene sus lados congruentes si y slo si tiene sus ngulos interiores congruentes. b) Un ngulo es recto si y slo si es congruente a uno que tiene medida igual a 90 . c ) Dos rectas son paralelas si y solo si no se intersecan. 9. Determine el valor de verdad de la siguiente armad ) Un cuadriltero tiene sus lados opuestos paralelos, si y slo si un par de lados opuestos son congruentes. e ) Dos ngulos son complementarios si y slo si la suma de sus mediadas es igual a 90 7. Incluya la informacin omitida para formular un esquema de razonamiento correcto, adems indique que tipo de prueba se esta realizando.
p = q : q = r : Dos rectas perpendiculares se intersecan. Las rectas no son paralelas ni se intersecan. q: La temperatura aumenta.

e)

No llovi.

8. Probar la veracidad de la implicacin

Si ab = 0, entonces a = 0 b = 0,

es equivalente a probar la veracidad de la implicacin

Si ab = 0 a = 0, entonces b = 0.

cin. Si es falsa, d un contraejemplo: Si AB = BC , entonces B es el punto medio de AC .

10. Ser condicin suciente que x2 = 81 par que x = 9? 11. Dada la proposicin Una condicin necesaria para que B sea el punto medio de AC es que B est entre los punto A y C . a ) Escrbala de la forma si..., entonces... sin alterar su signicado y obtenga su valor de verdad. b) Escrba el condicional en trminos de condicin

a)

suciente. c ) Haga el recproco del condicional y determine su valor de verdad. Si es falsa, d un contraejemplo.

Antalcides Olivo

49

1.6. Problemas

12. Dada la proposicin Si ab = 0, entonces a = 0 o b = 0, escriba su recproca, su contraria y su contrarecproca. Adems determine sus correspondientes valores de verdad. 13. Es posible que existan dos recta que no se intersecan y estn en planos diferentes? Si la respuesta es armativa, d un ejemplo. 14. Tomando como conjunto universal el conjunto de los nmeros reales, determine si las proposiciones px : x2 4 = 0 y qx : (x 2) (x + 2) = 0 son equivalentes. Argumente su respuesta. 15. Complete los siguientes esquemas de razonamiento: a)

suben, escribir en lenguaje corriente las siguientes expresiones simblicas : a) q b) p q c ) p q d ) p q e ) ( p q ) 19. Sean p : tengo un loro y q : tengo un gato, escribir en lenguaje corriente y luego simplicar,

( p q ) ( p )

20. Pruebe que: a ) (p q ) (p q ) : Si un nmero entero termina en dos, entonceses par. : 32 es un entero que termina en dos. b) [p (q r )] [(p q ) r ] 21. Pruebe que: a ) [(a b) (b c)] (a c) b) (a b) [(c a) (c b)] : ...... 22. Siendo p y q proposiciones cualesquiera, la proposicin ,(p q ) [(p q ) q ] , a ) Es siempre verdadera? b) Es verdadera si y slo si p lo es? : Si dos tectas son paralelas, entonces estn en un mismo plano y no se intersecan. : ......... c ) Es verdadera si y slo si q es falsa? d ) Es verdadera si y slo si p y q lo son? 23. Pruebe, sin hacer uso de tablas de verdad, que: a ) p q r p (q r ) b) [(p q ) r ] q (r q ) 24. Cul es la relacin que existe entre las proposiciones : Las rectas l1 y l2 no son paralelas. siguientes?

b)

c)

Dos rectas perpendiculares se intersecan.

p [p (q r )] y p ( q r )

25. Se dene

como la conjuncin negativa, es decir,

Las rectas no son paralelas, si se intersecan.

p q se lee ni p ni o q . a ) Construya la tabla de verdad de p q . b) Pruebe que: 1) p p p

........

16. Demuestre que si x e y son enteros impares, entonces xy tambin es un entero impar. 17. Haga una demostracin por reduccin al absurdo del siguiente teorema: Si x2 es un entero par, entonces x es par. Sugerencia: Utilice el ejercicio anterior. 18. Siendo p : los precios son bajos y q : los precios no

2) p q (p q ) 3) p q (p p)

(p q ) (q q )

4) (p q ) (p q ) p q 26. Simplique la expresin:

[ q ( q p)] q

Antalcides Olivo

50

1.6. Problemas

27. Simplique las siguientes expresiones a ) ( p q ) ( p q ) b) [(p q ) r ] p c ) [(p q ) q ] (p q ) 28. Sea A = 1, 2, 3, 4 el conjunto universal. Determinar el valor de verdad de cada enunciado: a ) x : x + 3 < 6 b) x : x2 10 8 c ) x : d ) x : 2 x2 x2

a ) a) Si ganase mucho dinero o ganara la lotera, hara un viaje. b) El lunes ir a la estaci n de trenes o al terminal de buses. c) x = 3 x = 2 36. Vericar, utilizando tablas de verdad, cules de las siguientes proposiciones son equivalentes: a) p q; b) p q ; c ) ( p q ) ( p q ) ; d ) ( p q ) ( p q ) ; 37. Encuentre el valor de verdad de

+ x = 15

> 1 x+2 = 0

29. Negar los siguientes enunciados a ) [y U : p (y )] [x U : ( q (x))] b) [x U : ( p (x))] [x U : q (x)] c ) xy U :[(p (x, y ) q (x, y ))] 30. Se sabe que: Si Pedro no es alumno de la U.A. o Juan es alumno de la U.A., entonces Juan es alumno de la U. Costa. Si Pedro es alumno de la U.A. y Juan no es alumno de la U. A., entonces Juan es alumno de la U.Costa. Se desea saber en que universidad estudia Juan. 31. Negar la siguiente expresin:

[ (p q ) ( p q )] (r p)
si p : el nmero e es par, q f y r : los gatos tienen 5 patas 38. Construya las tablas de verdad de las siguientes proposiciones: a ) [(p q ) (q p)] (p q ) b) p

(q r )

c ) ( p q ) d ) ( q p) e ) ( p q ) ( p q ) f ) [p ( q p)] [(p q ) (q p)] 39. Pruebe que son tautologas:

( > 0) ( > 0) (0 < |x x0 | < |f (x) l| < )

32. A partir del lgebra proposicional, demostrar la validez del siguiente a argumento: Si 2 es par, entonces 5 no es divisor de 9 por otra parte 11 no es primo o 5 es divisor de 9. Adems, 11 es primo. Por tanto, 2 es impar. 33. Demuestre: a) p q (p q ) (p q )

a ) [p (p q ) p] b) (p q ) ( p q ) c ) q (p q ) d ) (p q ) r (p r ) (q r ) e ) p [q (p q )] f ) ((p (q r ))) ((p q ) (p r )) g ) [p (p q )] p 40. Probar las siguientes equivalencias: a) p

b) [p (q p)] (p q ) 34. Siendo p : Jos es estudioso y q : Juan es estudioso, escribir en forma e simblica: a ) Jos es estudioso y Juan no es estudioso. b) Jos no es estudioso y Juan es estudioso. c ) Jos y Juan, no son estudiosos. d ) No es cierto que Juan o Jos sean estudiosos. 35. En cual de sus signicados est o(no excluyente) en las siguientes a proposiciones:

(q

r ) (p

q)

b ) p (q

r ) (p v ) q)

(p r )

c ) p q (p d) p q p

(p q )

( p q )

e ) p (p q ) p f ) (p q ) p q g ) p (q r ) (p q ) (p r ) 41. Averiguar si son equivalentes las proposiciones: (p q ) r y (p r ) (q r )

Antalcides Olivo

51

1.6. Problemas

42. Encuentre el valor de verdad de: [(p q ) ( p q )]

b) Existe un nico elemento cuyocuadrado es 4. c ) Para todos los elementos de A, sea x el elemento que sumado 1 unidad, siempre es mayor que cero entonces su cuadrado es menor que 35. d ) Para cada elemento existe otro que es menor o igual qu l 48. Si las proposiciones a y b son tales que la proposicin

(r q )si
a ) p es v , q es v , r es f b) p, r son f , q es v c ) p es f , q es f y r es f d ) si todas son verdaderas 43. Simplicar las siguientes proposiciones: a ) p ( q p ) b ) (p q ) p c ) (p q ) p d ) (p q ) q e ) (p q ) p f ) (p q ) p g ) (p q ) q h ) p ( q p ) i ) [p (q p)] q j ) [ (p q ) ( p q )] [r (p r )] k ) p (q p) l ) {p ( p r )} {r p} m ) { (p q ) (q p)} (p q ) 44. Derive a partir de las equivalencias bsicas, las siguientes equivalencias: a ) ((p q ) r ) ((p r ) (q r )) b) ((p q ) q ) p q p 45. Demostrar sin el uso de tablas de verdad: a ) p (p q ) p b ) p (p q ) p c ) (p q ) ( p q ) p d ) (p q ) (p q ) e ) (p q ) r p (q r ) f ) [{(p q ) (p t)} {(r q ) (r t)}]

(a b) (a b) o es verdadera, determinar el valor de verdad de (a b) (a b). 49. Sea A = 1, 2, 3, 4, 5. Negar hallar el valor de verdad de los siguientes enunciados a ) (x A)(x + 3 = 10) b) x A)(x + 3 < 10) c ) (x A)(x + 3 < 5) d ) (x A)(x + 3 7) e ) (!x A)(x23x + 2 = 0) 50. Si el conjunto universal es conjunto de los nmeros naturales. Escribir en smbolos las siguientes expresiones. a ) ) Todo nmero es mayor o igual que s mismo. b) Si el nmero x es menor que y , entonces no es mayor que 9. c ) Cualquier x sumado con algn nmero resulta x. d ) El producto de x con y es mayor que x, y mayor que y . 51. Cules de las siguientes proposiciones son verdaderas? a ) Si p q F entonces [ ( q p) p] es una tautologa. b) Es suciente que p sean equivalentes. c ) No es necesario que p sea verdadera y q sea falsa para que [p (q p)] q sea verdadero. 52. Demuestre las siguientes equivalencias sin uso de tablas de verdad. a ) ( p q ) ( p q ) q b) (p q ) ( p q ) q sea falsa para que p y q

[(p r ) (q t)]
46. Exprese en smbolos lgicos y despus niegue las siguientes oraciones: a ) Todo mltiplo de 4 es nmero primo. b) Si 2 es par entonces todos los nmeros son pares. c ) Todo nmero mayor que 2 es la suma de dos nmeros primos. 47. Sea A = 0, 1, 2, 3, 4, 5, 6. Escribir en smbolos y averiguar el valor de verdad de: a ) Hay un elemento que es mayor que todos.

c ) p (q r ) (p q ) (p r ) d ) (p q ) r (p r ) q e ) p (p (q r )) p ( q r ) f ) [( p q ) ( r p)] (q p) 53. Indique en cules de los siguientes casos p es condicin suciente para q ; y en cules p es condicin necesaria y suciente para q .

Antalcides Olivo

52

a ) p : A es mltiplo de 4, q : Aes nmero par b) p: A y B son pares, q : A + B es par. 54. Si las proposiciones compuestas a ) p ( q r ) y b) p q son siempre verdaderas. Demuestre que la proposicin [ r (p s)] s q es tambin verdadera. 55. Negar las siguientes armaciones: a ) (xy I R ) ( x + y = 5 y = x ) b) (xy I R) [(x + y es impar) (x es impar y es impar)] c ) (xy I R ) ( x < y x2 y ) d ) (z y x I R ) (x < y x + z = y )

58. Dadas las proposiciones abiertas p(x) : x2 x y q (x) : x 0. Determine el valor de verdad de las siguientes proposiciones: a ) [p( 11 ) q (1)] [p(x) q (x)] 2 b) xI R : p ( x ) q ( x ) 59. Si la proposicin (p q ) (r t) es falsa, determine el valor o de verdad de la proposicin

(p t) (r q ) (u v ).
60. Demostrar: a ) Si n es par y m es impar, entonces (n + m) es impar, n, mI N ). b) Si xy = 0 entonces x = 0 y = 0. c ) Si ab es impar, entonces a es par y b es impar.

56. Averiguar el valor de verdad siendo U = I R. 61. Determine el valor de verdad de las siguientes propoa ) (x I R ) (x < 0 x < 3) b) (xI R)(x2 0 x4 = x3) c ) (xI R , y I R ) ( x2 + y 2 = 1 ) d ) (xI R , y I R) (y < x 2y < 10) 57. Dada la proposicin, 8 no es impar divisible por 2, porque 9 no es o mltiplo de 3.Niegue la proposicin y Determine su valor de verdad . a ) xI R : x2 x b) xI R : 2x = x 2x1 = 12 c ) xI R: 4 x2 d ) xI R : x2 + 2 x + 1 0 e ) xI R : x2 + 4x5 > 0 siciones: