Logica

i
i
logica 2014/8/24 20:07 page 1 #1
i
i
i
i
i
i
1 Introduccin a la Lgica
Contenido Captulo 1 Pgina
1.1 Introduccin 2
1.2 Sistema axiomtico 3
1.2.1 Modelos para un sistema axiomtico formal 4
1.2.2 Concepto de lgica matemtica 4
1.3 Enunciados y proposiciones 5
1.3.1 Enunciados 6
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 32
1.4.4 Relaciones entre proposiciones 38
1.5 Inferencia y esquemas de razonamiento 41
1.5.1 Principales leyes lgicas o tautolgicas 41
1.5.2 Esquemas de razonamiento 47
1 i
i
logica 2014/8/24 20:07 page 2 #2
i
i
i
i
i
i
1.1. Introduccin
1.6 Problemas 55
Interpreta correctamente las proposiciones.
Clasica correctamente las condiciones.
Argumenta los diferentes mtodos de demostracin.
Objetivos
Identica proposiciones.
Diferencia entre demostraciones directas e indirectas.
Argumenta los distintos tipos de demostracin indirectas.
Indicadores de Logros
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
2 i
i
logica 2014/8/24 20:07 page 3 #3
i
i
i
i
i
i
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, la 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
3 i
i
logica 2014/8/24 20:07 page 4 #4
i
i
i
i
i
i
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 i
i
logica 2014/8/24 20:07 page 5 #5
i
i
i
i
i
i
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
5 i
i
logica 2014/8/24 20:07 page 6 #6
i
i
i
i
i
i
Trmino Es una palabra o propiedad que representa a un objeto o la relacin entre varios objetos.
Trmino. 1.3. 1
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:
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.
Ejemplos. 1.3. 1
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:
1. Quiz llueva esta noche.
2. Es probable que maana me levante muy temprano para hacer compras Posiblemente Romina
llegue tarde.
Ejemplos. 1.3. 2
Antalcides Olivo
6 i
i
logica 2014/8/24 20:07 page 7 #7
i
i
i
i
i
i
3. Tal vez el viernes vamos a comer a la casa de Agustn.
4. Puede ser que salgamos en veinte minutos.
Ejemplos. 1.3. 2 (Continuacin)
Interrogativos: estos enunciados son utilizados para formular preguntas. Algunos ejemplos son:
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?
Ejemplos. 1.3. 3
Exhortativos: en este caso los enunciados son utilizados para dar rdenes, peticiones, consejos o ruegos.
Algunos ejemplos son:
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.
Ejemplos. 1.3. 4
Exclamativos: estos enunciados son utilizados para expresar emociones, como alegra, dolor, nostalgia,
ira, etc. Por ejemplo:
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!
Ejemplos. 1.3. 5
Antalcides Olivo
7 i
i
logica 2014/8/24 20:07 page 8 #8
i
i
i
i
i
i
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.
1.
Alfonso corre mucho.
Sujeto Predicado
2.
Corren mucho. (Ellos/as)
Predicado Sujeto omitido
Ejemplos. 1.3. 6
Antalcides Olivo
8 i
i
logica 2014/8/24 20:07 page 9 #9
i
i
i
i
i
i
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:
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.
Ejemplos. 1.3. 7
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
9 i
i
logica 2014/8/24 20:07 page 10 #10
i
i
i
i
i
i
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:
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. 8
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. 9
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.
Ejemplos. 1.3. 10
Antalcides Olivo
10 i
i
logica 2014/8/24 20:07 page 11 #11
i
i
i
i
i
i
Complemento de un adverbio:
1. Ella est muy lejos de que la inviten.
2. El pueblo est ms cerca de lo que imaginan.
Ejemplos. 1.3. 11
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:
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.
Ejemplos. 1.3. 12
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.
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.
Ejemplos. 1.3. 13
Antalcides Olivo
11 i
i
logica 2014/8/24 20:07 page 12 #12
i
i
i
i
i
i
4. Todava estoy esperando la cena que me prometiste.
5. Me sacaron la muela que me dola mucho.
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:
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.
Ejemplos. 1.3. 14
Las proposiciones estn modicando al sustantivo que es ncleo del complemento indirecto.
Proposicin Adjetivas en el complemento circunstancial: Modican directamente al ncleo del comple-
mento circunstancial.
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.
Ejemplos. 1.3. 15
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 i
i
logica 2014/8/24 20:07 page 13 #13
i
i
i
i
i
i
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.
Ejemplos. 1.3. 16
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 directa-
mente, 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.
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.
Ejemplos. 1.3. 17
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:
1. Los nios que iniciaron el juego llegaron primero.
Ejemplos. 1.3. 18
Antalcides Olivo
13 i
i
logica 2014/8/24 20:07 page 14 #14
i
i
i
i
i
i
2. Adquirimos los libros que estaban en oferta.
3. La alberca que estaba recin pintada fue inaugurada.
La madre crey que el nio dorma en su cuna.
Ejemplo. 1.3. 1 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
1
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
Un enunciado lgico es una oracin o conjunto de oraciones con sentido completo.
Trmino no defnido. 1.3. 1 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.
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.
Denicin. 1.3. 1 Proposicin lgica
1
Aqu empieza la construccin axiomtica de la lgica.
Antalcides Olivo
14 i
i
logica 2014/8/24 20:07 page 15 #15
i
i
i
i
i
i
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:
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.
Se llama valores de verdad de una proposicin a sus dos valores posibles; verdadero o falso.
Denicin. 1.3. 2 Valor de verdad
Estos posibles valores se puede esquematizar en una tabla, llamada tabla de verdad, en la forma.
Cuadro 1.1: Tabla de verdad
p
f
v
1.3.2.1. Clasicacin de proposiciones
Proposiciones atomicas o simples
Las proposiciones atmicas simples, son las proposiciones que no utiliza conectivos lgicos.
Proposiciones Moleculares o compuestas
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. Y las proposiciones que los usan se llaman proposiciones
compuestas o moleculares.
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:
Antalcides Olivo
15 i
i
logica 2014/8/24 20:07 page 16 #16
i
i
i
i
i
i
Cuadro 1.2: Tabla de los conectivos lgicos
Smbolo lgico Expresin
p y q
o p o q
p q
Si p, entonces q
p si y slo si q
o 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.
Ejemplos de proposiciones atmicas.
1. 6 es par.
2. 2+5=7.
3.

2 es un nmero real.
Ejemplos. 1.3. 19
Ejemplos de proposiciones moleculares.
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.
Ejemplos. 1.3. 20
1.3.2.2. Tipo de proposiciones
Una tautologa es una proposicin que siempre es verdadera.
Trmino. 1.3. 2 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.
Antalcides Olivo
16 i
i
logica 2014/8/24 20:07 page 17 #17
i
i
i
i
i
i
Una falacia o contradiccin es una proposicin que siempre es falsa.
Trmino. 1.3. 3 Falacia
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.
Trmino. 1.3. 4 Contingencia
1.3.2.3. Tipos de tautologas
Los siguientes trminos son siempre tautologas
Una denicin es una armacin que explica el signicado de un trmino o una palabra, en funcin de
palabras o trminos conocidos.
Trmino. 1.3. 5 Denicin
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.
Un teorema es una verdad que requiere demostracin.
Trmino. 1.3. 6 Teorema
Un axioma es una verdad auto-evidente.
Trmino. 1.3. 7 Axioma
Un PROBLEMA es una situacin o proposicin que requiere solucin.
Un Postulado es un problema auto-evidente.
Trmino. 1.3. 8 Postulado
Antalcides Olivo
17 i
i
logica 2014/8/24 20:07 page 18 #18
i
i
i
i
i
i
1.4. Conjunto y operaciones con proposiciones
Una hiptesis es una suposicin hecha, bien en el texto de una proposicin, o en el curso de una
demostracin.
Trmino. 1.3. 9 Hiptesis
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.
Un conjunto es o la existencia o agrupacin de objetos que poseen varias caractersticas en comn, la ausencia
de objetos.
Trmino no defnido. 1.4. 1 Conjunto
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.
Un conjunto esta representado por extensin cuando los elementos del conjunto se listan entre llaves.
Trmino. 1.4. 1 Conjuntos por extensin
Por ejemplo A = {1, 2, 3, 4, 5, 6, }
Un conjunto esta representado por comprensin cuando los elementos del conjunto se clasican especicando
una o varias propiedades que los identica.
Trmino. 1.4. 2 Conjuntos por compresin
Antalcides Olivo
18 i
i
logica 2014/8/24 20:07 page 19 #19
i
i
i
i
i
i
* Los nmeros pares.
* Los carros marca Ford.
Ejemplo. 1.4. 1 representacin de conjuntos
Notacin: A los conjuntos se les representa con letras maysculas A, BC, . . . , 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.
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.
Ejemplo. 1.4. 2 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
x
2
5x + 6 = 0.
x + 1 = 3.
x
2
9 = (x 3) (x + 3) .
x
2
= 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 i
i
logica 2014/8/24 20:07 page 20 #20
i
i
i
i
i
i
Una variable es un termino que representa cualquier elemento de un conjunto en particular y puede ser
sustituido por cualquier elemento del conjunto.
Denicin. 1.4. 1 Variable
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.
Ejemplo. 1.4. 3 Variable
Una constante es un termino que representa a un elemento jo de un conjunto.
Denicin. 1.4. 2 Constante
Notacin: Las variables se representan generalmenta con las letras minsculas l, , u, v, wx, 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.
Una proposicin abierta es aquella donde el sujeto o los sujetos son representados por variables
Denicin. 1.4. 3 Proposiciones abiertas
x
2
5x + 6 = 0, x IR.
x + 1 = 3, x IR.
x
2
9 = (x 3) (x + 3) , x IR.
x
2
= 25 x + 1 = 6, x IR.
Ejemplos. 1.4. 1 Proposiciones abiertas
El dominio de una proposicin abierta o una variable, es el conjunto de valores que puede tomar una
variable.
Denicin. 1.4. 4 Dominio de una proposicin abierta
Antalcides Olivo
20 i
i
logica 2014/8/24 20:07 page 21 #21
i
i
i
i
i
i
En los ejemplos 1 el dominio de las proposiciones o de la variable es el conjunto de los nmeros reales.
El conjunto solucin de una proposicin abierta el el conjunto de valores del dominio de una variable que
hacen que la proposicin sea verdadera.
Denicin. 1.4. 5 Conjunto solucin
Dada la proposicin x
2
5x + 6 = 0, x IR encuentre el conjunto solucin.
Ejemplo. 1.4. 4 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 IR.
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 : xes impar, x IN}
1.4.2. Conjuntos especiales
1.4.2.1. Conjunto vaco
El conjunto vaco es aquel que no tiene elementos
Denicin. 1.4. 6 Conjunto vaco
Notacin: El conjunto vaco es nico y se representa con los smbolos {}.
1.4.2.2. Conjunto unitario
Un conjunto unitario es aquel que posee un solo elemento.
Denicin. 1.4. 7 Conjunto unitario
Antalcides Olivo
21 i
i
logica 2014/8/24 20:07 page 22 #22
i
i
i
i
i
i
* {1}
* {a}
* {}
Ejemplos. 1.4. 2 Conjuntos unitarios
1.4.2.3. 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.
Denicin. 1.4. 8 Conjunto universal
Notacin: Al conjunto universal se le representa con la letra U.
* El conjunto de los nmeros naturales.
* El conjunto de las letras del alfabeto.
* El conjunto de todos los alumnos de la Universidad Del Atlntico.
Ejemplos. 1.4. 3 Conjuntos universales
1.4.2.4. Subconjunto
Se dice que un conjunto A es un subconjunto de un conjunto B. Si A contiene slo elementos de B
ningn elemento.
Denicin. 1.4. 9 Subconjunto
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 i
i
logica 2014/8/24 20:07 page 23 #23
i
i
i
i
i
i
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}.
Ejemplo. 1.4. 5 Subconjunto
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 = {1, 2, 3, 4, 5, 6, 7, 8} el conjunto referencia de los conjuntos A = {1, 4, 5, 7} , B =
{2, 4, 7, 6} y C = {3, 5, 6, 7} entonces podemos representarlos as.
U
1 2
3
8
A B
C
7
4
5 6
1.4.2.5. 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 manera 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 termino (x, y) .
Denicin. 1.4. 10 Producto cruz
Notacin: Sean A y B dos conjuntos diferentes del vaco, el producto cruz entre los conjuntos A y B se
denota AB.
Antalcides Olivo
23 i
i
logica 2014/8/24 20:07 page 24 #24
i
i
i
i
i
i
Nota: Al elemento (x, y) se le llama pareja ordenada y a x se le llama primera componente y a y segunda
componente.
Sean A = {1, 2, 3} y B = {4, 5, 6} hallar
a. AB.
b. B A.
c. AA
Ejemplo. 1.4. 6
Solucin:
a. AB = {(1, 4) , (1, 5) , (1, 6) , (2, 4) , (2, 5) , (2, 6) , (3, 4) , (3, 5) , (3, 6)}.
b. B A = {(4, 1) , (5, 1) , (6, 1) , (4, 2) , (5, 2) , (6, 2) , (4, 3) , (5, 3) , (6, 3)}.
c. AA = {(1, 1) , (1, 2) , (1, 3) , (2, 1) , (2, 2) , (2, 3) , (3, 1) , (3, 2) , (3, 3)}.
Observe que AB = B A.
1. =.
2. A = .
Denicin. 1.4. 11 Productos cruz con el vaco
1.4.2.6. Relacin binaria
Una relacin binaria es un subconjunto del producto cruz diferente del vaco .
Denicin. 1.4. 12 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.
Sean A = {2, 4, 6, 8, 10} y B = {1, 2, 3, 4, 5}, indique cuales conjuntos son relaciones binarias,
Ejemplo. 1.4. 7 Relacin binaria
Antalcides Olivo
24 i
i
logica 2014/8/24 20:07 page 25 #25
i
i
i
i
i
i
1. R
1
= {(x, y) : x = y, x A, y B}.
2. R
2
= {(x, y) : x < y, x A, y B}.
3. R
3
= {(2, 1) , (4, 1) , (6, 1) , (8, 1) , (10, 1)}.
4. R
4
= {(1, 2) , (4, 5)}.
Ejemplo. 1.4. 7 (Continuacin)
Solucin:
1. R
1
= {(2, 2) , (4, 4)} AB, entonces R
1
es relacin binaria .
2. R
2
= {(2, 3) , (2, 4) , (2, 5) , (4, 5)} AB, entonces R
2
es relacin binaria.
3. R
3
= {(x, y) : y = 1, x A, y B} AB, entonces R
3
es relacin binaria.
4. R
4
no es relacin binaria de A en B, ya que (1, 2) / AB.
Nota: De aqu en adelante a las relaciones binarias las nombraremos slo relaciones.
Nota: En las relaciones a los conjuntos A y B se les llaman conjunto de partida y conjunto de llegada
respectivamente
1.4.2.7. Formas de representar una relacin
Existen varias formas de representar una relacin, estas son:
1. Diagrama sagital Los diagramas sagitales son representaciones donde los conjuntos de partida y de
llegada son ovalos y las parejas ordenadas se representan con echas, como se indica en la gura1.1
A B
R
1
2
3
4
a
b
c
Figura 1.1: Diagrama Sagital
Antalcides Olivo
25 i
i
logica 2014/8/24 20:07 page 26 #26
i
i
i
i
i
i
La gura 1.1 representa la relacin R = {(1, a) , (2, a), (2, c), (3, b), (4, c)}
2. Tabla de datos en esta representacin se colocan las parejas en una tabla de la forma
x x
1
x
2
x
3

y y
1
y
2
y
3

Cuadro 1.3: Tabla de datos
Sean A = B = {1, 2, 3, 4}, indicar si la siguiente tabla representa una relacin
x 1 2 2 3 4 4
y 1 2 4 3 2 4
Cuadro 1.4: Ejemplo de una tabla de datos
Ejemplo. 1.4. 8
Como observamos la tabla representa un subconjunto de AB, por tanto es una relacin de A en B.
3. Una grca Esta forma de representar una relacin su usa generalmente cuando los conjuntos de partida
y de llegada son nmeros ordenados y para ello se usan las coordenadas rectangulares que se dibujan de
la siguiente forma
a) El conjunto de partida se representa con una linea horizontal llamada eje X, y en el se coloca un
punto por cada elemento del conjunto
b) El conjunto de llegada se representa con una linea vertical llamada eje Y , y en el se coloca un
punto por cada elemento del conjunto.
c) Para representar la pareja (x
4
, y
5
) se traza una paralela al eje X que pase por y
5
, luego se traza
una paralela al eje Y que pase por x
4
y el punto de interseccin de estas dos rectas representa a
(x
4
, y
5
).
x
1
x
1
x
2
x
3
x
4
x
5
y
1
y
1
y
2
y
3
y
4
y
5
0
X
Y
(x
4
, y
5
)
O
Antalcides Olivo
26 i
i
logica 2014/8/24 20:07 page 27 #27
i
i
i
i
i
i
d) Utilizando el paso anterior se representan todas las parejas de la relacin.
Sean A = B = (1, 7), representar grcamente la relacin R = {(x, y) AB : y x}
Ejemplo. 1.4. 9
1 1 2 3 4 5 6 7
1
2
3
4
5
6
7
0
Y
X
4. Una proposicin abierta. Las proposiciones abierta o frmulas como por ejemplo anterior y x.
5. Consideremos ahora las relaciones sobre el mismo conjunto es decir si A es un conjunto entonces la
relacin R : A A, cuando Aes un conjunto nito. En este caso usamos un diagrama llamado grafo
dirigido.
Un grafo dirigido es un conjunto de puntos (llamados vrtices) y un conjunto de echas entre los vrtices
como mostraremos en el siguiente ejemplo
Dado el conjunto A = {1, 2, 3, 4} y la relacin R = {(1, 2), (2, 3)} AA construya su grafo dirigido.
Ejemplo. 1.4. 10
Solucin:
1 2
3 4
Figura 1.2: Grafo de una relacin
La manera de asociarle un grafo a una relacin R AA es poner como vrtice los elementos del
conjunto A y luego una echa por cada elemento de R.
Antalcides Olivo
27 i
i
logica 2014/8/24 20:07 page 28 #28
i
i
i
i
i
i
Si (x, y) R, la echa asociada es la parte del vrtice a y llega al vrtice y. Por ejemplo
Dado el conjunto A = {1, 2, 3, 4} y la relacin R = {(1, 1), (1, 3) , (3, 2) , (2, 4) , (4, 2)} AA construya
su grafo dirigido.
Ejemplo. 1.4. 11
Solucin:
1 2
3 4
Figura 1.3: Grafo de una relacin {(1, 1), (1, 3), (3, 2), (2, 4), (4, 2)}
Nota: A los conceptos de igualdad y subconjunto se les llama relaciones de contenencia entre conjuntos.
1.4.2.8. 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.
Consideremos dos conjuntos cualquiera A y B no vacos, al conjunto f le llamaremos funcin de A en B,
si y slo si, se verica:
i) f AB, es decir f es una relacin de AB.
ii) Si (x
1
, y
1
) f y (x
1
, y
2
) f, entonces y
1
= y
2
.
Denicin. 1.4. 13 Funcin
Nota: La segunda condicin indica, que dos parejas ordenadas distintas no pueden tener la misma primera
componente.
Observaciones
Antalcides Olivo
28 i
i
logica 2014/8/24 20:07 page 29 #29
i
i
i
i
i
i
A una funcin f de A en B la denotaremos por
f : A B
x y
A
f
B y se lee f es una
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) AB : y = f (x)}
Una consecuencia inmediata de la denicin es que toda funcin es una relacin pero no toda relacin
es una funcin.
Dada la relacin R = {(1, 2) , (2, 3) , (3, 4) , (2, 5)} indicar si R es una funcin.
Ejemplo. 1.4. 12 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.
Sean A = {1, 5, 7, 11} y B = {a, b, c, d}. Indique si el diagrama representa una funcin
1
5
7
11
a
b
c
d
A B
f
Ejemplo. 1.4. 13
Solucin: El diagrama nos indica que 1fa y que 1fc, por tanto existen dos parejas diferentes de f con la
primera componente igual, lo que contradice la denicin de funcin.
Nota: Sea f : A
f
B una funcin de A en B, llamaremos dominio de la funcin f, al conjunto de todas
las primeras componentes, el cual denotaremos por D
f
, es decir:
Antalcides Olivo
29 i
i
logica 2014/8/24 20:07 page 30 #30
i
i
i
i
i
i
Dom(f) =D
f
= {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 R
f
es decir:
Im(f) = R
f
= {y B : tal que existe un x A (x, y) f} B.
Sea f = {(1, 2), (3, 4), (5, 6).(7, 8)} una funcin, entonces su dominio y rango son: D
f
= {1, 3, 5, 7};
R
f
= {2, 4, 6, 8}.
Ejemplo. 1.4. 14
Aplicacin
A una funcin f, le llamaremos aplicacin de A en B, si y slo si: D
f
= A.
Sean A = {1, 3, 5}, B = {2, 4, 6}, calcule AB
a) El conjunto f = {(1, 4), (3, 2)} es funcin, donde D
f
= {1, 3} y R
f
= {4, 2} pero f no es una
aplicacin de A en B puesto que D
f
= A.
b) El conjunto f = {(1, 2), (3, 4), (5, 6)} es una funcin donde: D
f
= {1, 3, 5} y R
f
= {2, 4, 6}, como
D
f
= A entonces f es una aplicacin de A en B.
Ejemplo. 1.4. 15
Funcin Compuesta
En matemticas se conoce la composicin como el anidamiento de dos o ms funciones para formar una
nueva funcin nica. La composicin de dos funciones se denota como: (f g) (x)
En otras palabras entendemos la composicin de funciones como la aplicacin de dos o ms funciones de
forma consecutiva, es decir primero se compone una, con el resultado obtenido se compone la segunda, con el
resultado de la segunda se compone la tercera y as sucesivamente.
El procedimiento que lleva a cabo la composicin es denominado como la regla de la cadena.
Dadas dos funciones f(x) y g(x) , denimos la composicin como la funcin que obtenemos en aplicarle
a la funcin f las imgenes de g(x). Es decir primero se aplica la funcin g(x) y despus f(x) al resultado,
quedando f [g (x)].
Antalcides Olivo
30 i
i
logica 2014/8/24 20:07 page 31 #31
i
i
i
i
i
i
Como vemos grcamente, debemos seguir un orden inverso para aplicar la composicin. Con orden
descendente, desde la funcin de ms hacia la derecha hasta la funcin inicial
Consideremos tres conjuntos cualquiera A, B y C no vacos y las funciones denotadas por
g : A B
x z
y
f : B C
z y
, denimos la funcin f compuesta g al conjunto
(f g) = {(x, y) AC : y = f [g (x)] , g (x) B}
o
(f g) = {(x, y) : z B, que forma las parejas (x, z) g (z, y) f} .
Denicin. 1.4. 14 Funcin Compuesta
El siguiente diagrama nos muestra la estructura la composicin de funciones.
A B
C
f g
f
g
Sean A = {1, 2, 3, 4, 5} , B = {1, 2, 3}, C = {1, 4, 5, 8} y las funciones g = {(1, 2) , (3, 2) , (4, 1) , (2, 1)} ,
f = {(2, 1) , (1, 4) , (3, 5)}. Determine f g
Ejemplo. 1.4. 16
Solucin: Note que (1, 2) g y (2, 1) f, entonces (1, 1) f g de manera anloga se encuentran todos
los elementos del conjunto f g = {(1, 1) , (3, 1) , (4, 4) , (2, 4)}, ser f g funcin?, se podr asegurar de
acuerdo con este ejemplo que dada dos funciones, la composicin entre ellas existe y es funcin.
Antalcides Olivo
31 i
i
logica 2014/8/24 20:07 page 32 #32
i
i
i
i
i
i
Pregunta
Si suponemos que
g : A B
y
f : C D.
Que condicin hay que pedirle a
f y g para poder hacer la composicin f g?
Respuesta: Si queremos denir (f g) (a) = f [g (a)], entonces precisamos que g (a) C. Luego la
condicin necesaria y suciente para poder componer f con g es que Im(f) C, o sea que la imagen de g
est contenida en el dominio de f .
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.
Dados tres conjuntos A, B y C no vacos, una operacin binaria es una aplicacin de la forma :
: AB C
(x, y) z
Denicin. 1.4. 15 Operacin binaria
Notacin: Si ((x, y) , z) se denota x y = z.
Note que si tenemos las aplicaciones
g : A B
,
f : B C.
y
h : A C
la
composicin de aplicaciones es una operacin binaria de
g : A B
f : B C
h : A C
.
Como ejemplos de operaciones veremos a continuacin las operaciones entre 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 V
p x
,
: V V V
(x, y) z
,
R
: U U U
(p, q) r
y
O
: U U V V
(p, q) (x, y)
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.
Antalcides Olivo
32 i
i
logica 2014/8/24 20:07 page 33 #33
i
i
i
i
i
i
La operacin establece que dados dos valores de verdad estos se pueden operar y obtener un nico
valor de verdad
La operacin R
establece que dadas dos proposiciones se pueden operar y obtener una nica proposicin.
La operacin O
establece que dadas dos proposiciones se pueden operar y obtener una pareja ordenada
de valores de verdad.
Teniendo en cuenta las aplicaciones denidas podemos establecer las siguientes estructuras
U U U
V V V
O
P
En el diagrama anterior se nos muestra dos caminos para realizar la composicin que necesitamos, el
camino que se muestra en rojo nos presenta la dicultad que sera una composicin entre una operacin binaria
y una aplicacin, mientras que el camino que est en azul nos muestra la composicin de dos operaciones
binarias por lo que escogeremos est para construir las operaciones entre proposiciones lgicas.
De acuerdo con lo anterior nos queda la siguiente estructura para la operacin .
: U U
R
V V
O
V
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
funcin y el conjunto de partida es igual al conjunto de llegada, como tampoco la existencia y unicidad de
ellas.
1.4.3.1. Conjuncin
La conjuncin es la operacin de la forma
O
: U U U
(p, q) p q
de tal forma que se pueden
operar sus valores de verdad usando la denicin

: V V V
(x, y) z
, obtenemos una estructura de
la forma: : U U
O
V V
V .
Antalcides Olivo
33 i
i
logica 2014/8/24 20:07 page 34 #34
i
i
i
i
i
i
La ley que establece la conjuncin es la siguiente: la conjuncin es verdadera, slo si las dos proposiciones
son verdaderas.
Denicin. 1.4. 16 Conjuncin
Cuadro 1.5: Tabla de verdad de la conjuncin
p q p q
v v v
v f f
f v f
f f f
S p : 4 < 7 y q : 6 es nmero par. Calcular el valor de verdad de p q.
Ejemplo. 1.4. 17 Conjuncin
Solucin:
p q p q
v v v
1.4.3.2. Disyuncin
La disyuncin es la operacin de la forma
O
: U U U
(p, q) p q

: V V V
(x, y) z
la forma: : U U
O
V V
V .
La ley que establece la disyuncin es la siguiente: la disyuncin es falsa, slo si las dos proposiciones son
falsas.
Denicin. 1.4. 17 Conjuncin
Antalcides Olivo
34 i
i
logica 2014/8/24 20:07 page 35 #35
i
i
i
i
i
i
Cuadro 1.7: Tabla de verdad de la disyuncin
p q p q
v v v
v f v
f v v
f f f
S p : 7 > 9 y q : 4 < 5. Calcular el valor de verdad de p q.
Ejemplo. 1.4. 18 Disyuncin
Solucin:
p q p q
f v v
1.4.3.3. Condicional
La condicional es la operacin de la forma
O
: U U U
(p, q) p q
: V V V
(x, y) z
la forma: : U U
O
V V
V .
Nota: En la condicional a la proposicin p se le llama antecedente y a q consecuente.
La ley que establece la condicional es la siguiente: la bicondicional es verdadera cuando las dos proposiciones
tienen el mismo valor de verdad.
Denicin. 1.4. 18 Condicional
Cuadro 1.9: Tabla de verdad de la bicondicional
p q p q
v v v
v f f
f v f
f f v
Antalcides Olivo
35 i
i
logica 2014/8/24 20:07 page 36 #36
i
i
i
i
i
i
Sea p : Cristbal Coln descubri Amrica. ; q : 6 + 3 = 8 Hallar el valor de verdad de p q
Ejemplo. 1.4. 19 Condicional
Solucin:
p q p q
v f f
1.4.3.4. Bicondicional
La bicondicional es la operacin de la forma
O
: U U U
(p, q) p q
: V V V
(x, y) z
la forma: : U U
O
V V
V .
La ley que establece la bicondicional es la siguiente: la bicondicional es verdadera cuando las dos proposi-
ciones tienen el mismo valor de verdad.
Denicin. 1.4. 19 Bicondicional
p q p q
v v v
v f f
f v f
f f v
Ejemplo. 1.4. 20 Bicondicional
Solucin:
p q p q
v f f
Antalcides Olivo
36 i
i
logica 2014/8/24 20:07 page 37 #37
i
i
i
i
i
i
1.4.3.5. Disyuncin exclusiva
La disyuncin exclusiva es la operacin de la forma
O
: U U U
(p, q) p q
de tal forma que
se pueden operar sus valores de verdad usando la denicin
: V V V
(x, y) z
, obtenemos una
estructura de la forma: : U U
O
V V
V .
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.
Denicin. 1.4. 20 Disyuncin exclusiva
p q p q
v v f
v f v
f v v
f f f
Ejemplo. 1.4. 21 Disyuncin exclusiva
Nota: sta operacin se llama excluyente porque porque slo se puede dar ambas pero no una sola.
Solucin:
p q p q
v f v
1.4.3.6. Negacin
Para la negacin usamos las operaciones de la forma
P : U V
p x
y
P
: V V
x y
tal
que x = y. para construir la composicin : U
P
V
P
V
Antalcides Olivo
37 i
i
logica 2014/8/24 20:07 page 38 #38
i
i
i
i
i
i
La ley que establece la negacin es la siguiente: La negacin cambia el valor de verdad de una proposicin.
Denicin. 1.4. 21 Negacin
Su tabla de verdad es la siguiente
Cuadro 1.15: Tabla de verdad de la negacin.
p p
v f
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.
1. p p (principio del tercio excluido)
2. [(p q) p] q
3. (p p)
Ejemplos. 1.4. 4 Tautolgias
Solucin:
1. Vemos que en la ltima columna de la tabla de verdad (1.16) nos muestra que p p es una tautologa.
Cuadro 1.16: Tabla de verdad.
p p p p
v f v
f v v
2. Si observamos en la tabla de verdad (1.17) nos queda demostrado que [(p q) p] q es una tautologa.
p q p q (p q) p [(p p) p] q
v v v v v
v f f f v
f v v f v
f f v f v
Antalcides Olivo
38 i
i
logica 2014/8/24 20:07 page 39 #39
i
i
i
i
i
i
3. Este queda de ejercicio al lector.
1. p p (principio de contradiccin)
2. (p q) (p q)
3. (p p)
Ejemplos. 1.4. 5 Falacias
Solucin:
1. Vemos que en la ltima columna de la tabla de verdad (1.18) nos muestra que p p es una falacia.
p p p p
v f f
f v f
2. Si observamos en la tabla de verdad (1.19) nos queda demostrado que (p q) (p q) es una falacia.
p q p q p q (p q) (p q)
v v v f f
v f f v f
f v v f f
f f v f f
3. Este queda de ejercicio al lector
1.4.4.1. 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.
Denicin. 1.4. 22 Implicacin
Notacin: Si una proposicin p implica a una proposicin q se denota p q o p : q que se lee q se
deduce de p, tambin se puede leer si tenemos p se deduce q.
Nota: El hecho que p implique q quiere decir que se puede obtener q a partir de de p o que si p es
verdadera q tambin lo es.
Antalcides Olivo
39 i
i
logica 2014/8/24 20:07 page 40 #40
i
i
i
i
i
i
Determinar si [( p q) q] p
Ejemplo. 1.4. 22 Implicacin
Solucin:
p q p p q q ( p q) q [( p q) q] p
v v f f v v v
v f f f v f v
f v v f v v v
f f v f v v v
Determinar si (p p) q
Ejemplo. 1.4. 23 Implicacin
Solucin:
p q p p p (p p) q
v v f f v
v f f f v
f v v f v
f f v f v
Cuando vericamos que p q en realidad estamos comparando el conjunto solucin de p y el conjunto
solucin de q. Desde ese punto de vista p q si y solo si el conjunto solucin de p es subconjunto del conjunto
solucin de q.
1.4.4.2. Equivalencia lgica
Se dice que una proposicin q es equivalente a p, cuando p q es una tautologa.
Denicin. 1.4. 23 Equivalencia lgica
Notacin: Si una proposicin p es equivalente a una proposicin q se denota p q p q.
Nota: Que p q quiere decir que se puede intercambiar p y q sin afectar el valor de verdad de la
proposicin. Tambin expresa que los conjuntos soluciones de p y q son iguales y eso se verica al observar
que si p q, p y q tiene la misma tabla de verdad.
Antalcides Olivo
40 i
i
logica 2014/8/24 20:07 page 41 #41
i
i
i
i
i
i
1.5. Inferencia y esquemas de razonamiento
Analice el valor de verdad de la proposicin compuesta (p q) ( q p)
Ejemplo. 1.4. 24 Equivalencia lgica
Solucin:
p q p q q p q p (p q) ( q p)
V V V F F V V
V F F V F F V
F V V F V V V
F F V V V V V
Es decir las proposiciones: p q y q p son equivalentes.
Probar usando las tablas de verdad que las proposiciones (p q) y ( q p), son lgicamente
equivalentes.
Ejemplo. 1.4. 25 Equivalencia lgica
Solucin: Para probar que las proposiciones (p q) y ( q p) son lgicamente equivalentes debemos
probar que (p q) ( q p) es una tautologa.
p q p q p q q p (p q) ( q p)
v v f f v v v
v f f v f f v
f v v f v v v
f f v 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.22) al comparar las columnas 5
y 6.
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.
Antalcides Olivo
41 i
i
logica 2014/8/24 20:07 page 42 #42
i
i
i
i
i
i
Dadas dos proposiciones p y q al trmino p q se le llama ley de inferencia.
Trmino. 1.5. 1 Leyes de inferencia lgica
En la lgica los teoremas son leyes de inferencia.
1.5.1.1. Axiomas
Estableceremos tres axiomas,
Identidad
Axioma. 1.5. 1 Toda proposicin es idntica a si misma, es decir p p
Contradiccin
Axioma. 1.5. 2 una proposicin no puede ser cierta y falsa a la vez, es decir (p p) v.
Tercer excluido
Axioma. 1.5. 3 Toda proposicin es cierta es falsa , es decir p p v.
1.5.1.2. Leyes de inferencia bsicas.
Trataremos de presentar las leyes de inferencia que se deben demostrar utilizando tablas de verdad. (no
son un conjunto mnimo de leyes de inferencias bsicas)
( p) p
Leyes de inferencia. 1.5. 1 Involutiva
1. p p p
2. p p p
Leyes de inferencia. 1.5. 2 Indempotencia
Antalcides Olivo
42 i
i
logica 2014/8/24 20:07 page 43 #43
i
i
i
i
i
i
1. p f f
2. p v v
Leyes de inferencia. 1.5. 3 falsos modulos o de la adicin
1. (p q) (q p)
2. (p q) (q p)
3. p q q p
Leyes de inferencia. 1.5. 4 Comutativas
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 Asociativas
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 Distributivas
Antalcides Olivo
43 i
i
logica 2014/8/24 20:07 page 44 #44
i
i
i
i
i
i
1. (p q) p q
2. (p q) p q
Leyes de inferencia. 1.5. 7 Morgan
1. p q p q
2. (p q) p q
Leyes de inferencia. 1.5. 8 Del condicional
1. p q (p q) (q p)
2. p q (p q) ( p q)
Leyes de inferencia. 1.5. 9 Del bicondicional
1. p (p q) 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 la absorcin
1. (p q) q p contrareciproco
2. p q q p
Leyes de inferencia. 1.5. 11 De transposicin
Antalcides Olivo
44 i
i
logica 2014/8/24 20:07 page 45 #45
i
i
i
i
i
i
1. (p q) r p (q r)
2. (p
1
p
2
p
3
p
n
) r (p
1
p
2
p
3
p
n1
) (p
n
r)
Leyes de inferencia. 1.5. 12 De exportacin
1. p v p
2. p f p
Leyes de inferencia. 1.5. 13 De los modulos
1. (p q) (p q) p
2. (p q) (p q) p
Leyes de inferencia. 1.5. 14 De la simplicacin
Nota: Estas Leyes son muy tiles para simplicar los problemas, puesto que es vlido reemplazar una
proposicin por su equivalente sin alterar el resultado.
Simplicar las proposiciones siguientes aplicando las leyes lgicas
1. (p q) (p q) .
2. [(p q) q] p.
3. [ (p q) q] q.
4. [( p q) (r r)] q.
5. [(p q) q] [p (q q)] .
6. (p q) [ (p q)] .
7. (p q) (p q) q
Ejemplos. 1.5. 1
Antalcides Olivo
45 i
i
logica 2014/8/24 20:07 page 46 #46
i
i
i
i
i
i
Solucin:
1. Apliquemos las leyes de inferencia
(p q) [ (p q)] (p q) [ p q]
morgan
[(p q) p] [(p q) q]
distributiva
[(q p) p]
conmutativa
[p (q q)]
asociativa
[q (p p)]
asociativa
[p f]
contadiccin
(q f)
contradiccin
f
falso modulo
f
falso modulo
f
f
2. Apliquemos las leyes de inferencia (indique las leyes aplicadas)
[(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
Antalcides Olivo
46 i
i
logica 2014/8/24 20:07 page 47 #47
i
i
i
i
i
i
3. Apliquemos las leyes de inferencia (indique las leyes aplicadas)
[ (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
p q
El resto de los ejemplos quedan de ejercicio para el lector.
1.5.2. Esquemas de razonamiento
Las leyes de inferencia nos ayuda a construir esquemas mentales que nos sirven para construir demostra-
ciones, es decir cada ley de inferencia es un esquema de razonamiento.
1.5.2.1. 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
Es la conclusin que se obtiene a partir de un proceso inductivo
Trmino. 1.5. 2 Conjetura
Todas las proposiciones que tomamos como conjetura deben tener la forma de una implicacin o de una
equivalencia, por tanto es necesario conocer las diferentes formas de representar una implicacin.
Nota: Al utilizar el razonamiento inductivo debemos tener cuidado de no construir conjeturas o generali-
zaciones 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.
Antalcides Olivo
47 i
i
logica 2014/8/24 20:07 page 48 #48
i
i
i
i
i
i
Suponga que una persona mide los lados de cuatro tringulos como muestra la gura(1.4). Establezca una
conjetura sobre los lados de un tringulo
Ejemplo. 1.5. 1
Figura 1.4: Desigualdad triangular
A
B 0,77
C
0,77
0,59
D
E
0,76
F
0,75
0,58
G
H
0,61
I
0,61
1,08
K
0,62
J
L
0,62
0,88
De acuerdo con la gura 1.4 tenemos que en ABC se tiene:
AC +AB = 1,54 > BC = 0,31 (1.1)
AB +BC = 1,36 > AC = 0,77 (1.2)
En el DEF se tiene que
DE +DF = 1,51 > EF = 0,58 (1.3)
DE +EF = 1,48 > AC = 0,75 (1.4)
En el IGH se tiene que
IG+GH = 1,22 > HI = 1,08 (1.5)
IG+IH = 1,69 > GH = 0,61 (1.6)
En el JKL se tiene que
JK +KL = 1,29 > JL = 0,88 (1.7)
JK +JL = 1,50 > KL = 0,75 (1.8)
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"
Cuanticadores y otras formas de expresar la implicacin
Antalcides Olivo
48 i
i
logica 2014/8/24 20:07 page 49 #49
i
i
i
i
i
i
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. (1.9)
En este caso llamaremos P
x
= {x : x es un polgono} y Q
x
= {x : x es un cuadriltero} y representamos la
proposicin ((??)) como P
x
Q
x
, pero a nosotros nos interesan son las implicaciones, por tanto veamos
cuando est proposicin es verdadera. Para ello tomaremos otro conjunto U
x
= {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.5)
Ux
Px
Qx
x
1
Px
Ux
x
2
Qx
Diagrama 1 Diagrama 2
Figura 1.5: Proposiciones abiertas
Si tomamos un polgono, el cual representaremos con el smbolo x
1
, observamos en el diagrama 1 que x
1
no est en el conjunto de los cuadrilteros, por tanto en este caso P
x
Q
x
es falsa, mientras en el diagrama
2 tomaremos un polgono representado por x
2
el cual est en Q
x
, por tanto P
x
Q
x
es verdadera, de lo que
podemos concluir que para que P
x
Q
x
sea una tautologa debe cumplirse la relacin.
Q
x
P
x
Para indicar que P
x
Q
x
es una tautologa utilizamos unos operadores lgicos de existencia, los cuales son:
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, (p
x
=q
x
)
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:
Antalcides Olivo
49 i
i
logica 2014/8/24 20:07 page 50 #50
i
i
i
i
i
i
Analicemos nuevamente el diagrama 2 de la gura (1.5) Como, x
2
est en el conjunto, entonces podemos
decir que P es condicin suciente para que x
2
est en el conjunto Q. En este sentido, se dice que p
x
es
condicin suciente para q
x
. Adems es claro que para que un elemento x
2
est en P se necesita que x
2
est
en en Q. De aqu que se diga que q
x
es condicin necesaria para p
x
. Tambin se observa que un elemento x
2
est en el conjunto Q si est en el conjunto P. Este anlisis precedente sugiere otras maneras de expresar la
implicacin
p
x
=q
x
stas son:
1. p
x
implica a q
x
2. p
x
es condicin suciente para q
x
3. q
x
es condicin necesaria para p
x
4. q
x
, si p
x
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 .
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.
Es el mtodo que se usa para demostrar que una generalizacin es falsa, utilizando un ejemplo que la
contradiga.
Trmino. 1.5. 3 Contraejemplo
Nota: Los ejemplos slo son validos para demostrar que una proposicin es falsa, nunca demuestra que
una proposicin es verdadera.
Si un cuadriltero tiene sus diagonales perpendiculares, entonces es un rombo.
Ejemplo. 1.5. 2 Contraejemplo
Antalcides Olivo
50 i
i
logica 2014/8/24 20:07 page 51 #51
i
i
i
i
i
i
Figura 1.6: Cometa
A
B
C
3,49
D
4,27
E
90
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
p q : Si dos rectas son paralelas, entonces no tienen puntos en comn.
q : Las rectas

l
1
y

l
2
tienen un punto en comn.
p : Las rectas

l
1
y

l
2
no son paralelas.
Ejemplo. 1.5. 3
Antalcides Olivo
51 i
i
logica 2014/8/24 20:07 page 52 #52
i
i
i
i
i
i
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.
p q : Si un tringulo tiene tres ngulos congruentes, entonces es equiltero.
p : El tringulo ABC tiene tres ngulos congruentes
q : El triangulo ABC es equiltero.
Ejemplo. 1.5. 4
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
52 i
i
logica 2014/8/24 20:07 page 53 #53
i
i
i
i
i
i
p q : Si dos rectas son perpendiculares, entonces se intersecan.
q r : Si dos rectas se intersecan, entonces no son paralelas.
p r : Si dos rectas son perpendiculares, entonces no son paralelas.
Ejemplo. 1.5. 5
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.
Sea

ED una mediatriz del segmento AB en el ABC, si el punto F es la interseccin de lado AB y la
mediatriz, entonces AF

= FB.
Ejemplo. 1.5. 6
Figura 1.7: Regla de la cadena
A B
C
b
c
d
F
E
D
Solucin: Para demostrar que sta proposicin es una implicacin vamos a utilizar el mtodo de razona-
miento deductivo, de la siguiente manera:
Antalcides Olivo
53 i
i
logica 2014/8/24 20:07 page 54 #54
i
i
i
i
i
i
Figura 1.8: Solucin
ED es mediatriz de AB
F es el punto medio de AB
AF

= FB
Dato
Denicin de mediatrz
Denicin de punto medio
La estructura para redactar una demostracin que usaremos es la siguiente.
Prueba:
Armaciones Razones
1. ED es la mediatriz de AB Dado
2. F es punto medio de AB Denicin de punto mediatriz
3. AF

= FB 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:
p q
p
q.
1.5.2.8. Ley del silogismo disyuntivo
Es un razonamiento con la siguiente estructura
Antalcides Olivo
54 i
i
logica 2014/8/24 20:07 page 55 #55
i
i
i
i
i
i
1.6. Problemas
p q
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.9, como es el esquema que se debe
emplear en una demostracin sin importar como la redactemos.
Figura 1.9: Esquema de una demostracin
Trminos no denidos
Deniciones
Postulados
Otros teoremas
Hiptesis Razonamieto lgico
Tesis
Conclusin
Esquemas de
razonamiento
Problemas 1.6
1. Determine el valor de verdad de cada uno de los
siguientes enunciados:
a) Si 3 < 5, entonces 3 < 5.
b) Si 2 + 2 = 4, entonces 3 + 3 = 7 si, y slo si,
1 + 1 = 4.
c)

16 = 4, entonces 3 + 3 = 7 si, y slo si,
1 + 1 = 4.
d) 6 + 4 = 10 y

2
2 = 2.
e)

3 +
2 =
5y 4 + 4 = 8.
f ) 5
2
+ 1 = 8 si, y slo si, 5 1 = 2.
2. Construya la tabla de verdad de:
a) (p q) (p q) .
b) p(q p) .
c) (p q) [ (p q)] .
d) [(p q) p] q.
3. Determine en cada caso si la proposicin es contin-
gencia, falacia o tautologa.
a) [(p q) p] q.
b) [(p q) s] [p (q s)] .
4. Construya la tabla de verdad para vericar si son
cierto los siguientes enunciados:
a) [(p q) p] ( p q) .
b) [p (p q)] p.
c) {[ (p q)] ( p q)} p.
Antalcides Olivo
55 i
i
logica 2014/8/24 20:07 page 56 #56
i
i
i
i
i
i
1.6. Problemas
5. Determine cules de los siguientes conjuntos son igua-
les y entre cules se puede establecer una relacin de
contenencia.
a) A = {econom a, mercadotecnia, contadur a} .
b) B = {cebada, trigo ajojol } .
c) C = {x : xes una ciudad de Latinoamrica} .
d) D = {mercadotecnia} .
e) F = {2, 4, 6, 8} .
f ) E = {Quito, Cali, Caracas} .
g) G = {banano, caf e trigo, cebada} .
h) H = {x : xes un numero par menor que 10} .
i) J = {x : x es un numero dgito}
6. En el siguiente ejercicio escriba todos lo subconjun-
tos del conjunto dado. Cules son los subconjuntos
propios?
a) {2, 9} .
b) {{2} , 9} .
c) {, {1} , 1}
d) {} .
7. Dados: U = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10} , A =
{1, 3, 6, 810} , B = {2, 4, 5, 6, 8} y C = {1, 4, 6, 10}haga
un diagrama de Venn para representar los conjuntos
dados.
8. Sea A = {, {1, 2} , {1} , {} , 1, {2}} Cules de las
siguientes armaciones son ciertas y por qu?
a) 1 A.
b) 2 A.
c) 2 A.
d) {2} A.
e) {2} A.
f ) A y A.
g) 1 A y {1} A.
h) {1, 2} A.
9. Sean A = {1, 0, 1, 2}y B = {0, 1, 2, 3, 4} indicar cua-
les de los siguientes conjuntos son funciones de A en
B.
a) R
1
=
(x, y) AB : y = x
2
b) R
2
= {(x, y) AB : y = x + 1}
c) R
3
= {(x, y) AB : |y| = |x|}
d) R
4
=
(x, y) AB : y
2
= x
e) R
5
= {(1, 2) , (2, 3) , (0, 4) , (1, 1)}
f ) R
6
= {(2, 4) , (1, 0) , (1, 3)}
g) R
7
= {(1, 2) , (0, 2) , (1, 2) , (2, 2)}
h) R
8
= {(1, y) : y B}
Justique su respuesta.
10. Sean A = {2, 1, 0, 1, 2} y IN , IR los conjuntos de
los nmeros naturales y reales respectivamente. Re-
presentar en el plano cartesiano, usando coordenadas
rectngulares los siguientes conjuntos
a)
f : A IN
x y = |x| + 1
b)
g : IR IR
x x + 1
Indique cuales grcos representan una funcin.
11. Sean A = {1, 2}y B = {1, 2, 3, 4} indique si el conjun-
to
f : AB B
(x, y) z = f ((x, y)) = x +y
es una funcin.
12. En los incisos del a) al e), escriba las proposiciones
como implicaciones, luego decida si es falso o verda-
dero
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 pa-
tas.
c) Hiptesis p : Dos rectas se intersecan, Conclu-
sin q : Las dos rectas no son paralelas.
d) Conclusin q : Dos rectas son perpendiculares,
Hiptesis p : Las rectas se intersecan.
e) Hiptesis p : Dos ngulos tienen la misma me-
dida, Conclusin q : Los ngulos son congruen-
tes.
13. 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.
14. Demuestre la siguiente conjetura: Si dos ngulos son
congruentes sus complementos son congruentes.
15. 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.
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.
Antalcides Olivo
56 i
i
logica 2014/8/24 20:07 page 57 #57
i
i
i
i
i
i
1.6. Problemas
e) Una recta que biseca un segmento contiene su
punto medio.
16. 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.
e) Si un polinomio es un tringulo, entonces una
regin plana.
f ) Dos planos paralelos si intersecan.
17. 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 inter-
secan.
d) Un cuadriltero tiene sus lados opuestos para-
lelos, 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
18. Incluya la informacin omitida para formular un es-

quema de razonamiento correcto, adems indique que
tipo de prueba se esta realizando.
a)
p =q : Dos rectas perpendiculares se intersecan.
q =r : Las rectas no son paralelas
ni se intersecan.
b)
p =q : Si dos rectas son paralelas no
se intersecan.
q : Las rectas no se intersecan.
c)
p =q : Si un punto est en la mediatriz de un
segmento, entonces equidista de sus
extremos.
El punto no est en la mediatriz.
d)
p : ABC mide ms de 90
El ABC es un ngulo obtuso

e)
q : La temperatura aumenta.
No llovi.
19. Compruebe la validez de cada uno de los siguientes
argumentos:
Si trabajo no puedo tomar clases de msica
trabajo o apruebo biologa
aprob biologa.
Por tanto, tome clases de biologa.
20. Compruebe la validez de cada uno de los siguientes
argumentos:
Julio Csar, que siempre dice la verdad, le ha contado
a su amigo Ivn lo siguiente:
Me gusta Liliana o Victoria, pero no ambas. Adems,
si me gustara Liliana, me gustara tambin Victora.
Quin le gusta realmenta a Julio Csar?
21. 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.
22. Determine el valor de verdad de la siguiente arma-
cin. Si es falsa, d un contraejemplo:
Si AB

= BC, entonces B es el punto medio de AC.
23. Ser condicin suciente que x
2
= 81 par que x = 9?
Antalcides Olivo
57 i
i
logica 2014/8/24 20:07 page 58 #58
i
i
i
i
i
i
1.6. Problemas
24. 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
suciente.
c) Haga el recproco del condicional y determine su
valor de verdad. Si es falsa, d un contraejemplo.
25. Dada la proposicin Si ab = 0, entonces a = 0 o
b = 0, escriba su recproca, su contraria y su con-
trarecproca. Adems determine sus correspondientes
valores de verdad.
26. Es posible que existan dos recta que no se interse-
can y estn en planos diferentes? Si la respuesta es
armativa, d un ejemplo.
27. Tomando como conjunto universal el conjunto de los
nmeros reales, determine si las proposiciones px :
x
2
4 = 0 y qx : (x 2) (x + 2) = 0 son equivalentes.
Argumente su respuesta.
28. Complete los siguientes esquemas de razonamiento:
a)
: Si un nmero entero termina en dos,
entonceses par.
: 32 es un entero que termina en dos.
: ......
b)
: Si dos tectas son paralelas,
entonces estn en un
mismo plano y no se intersecan.
: .........
: Las rectas

l
1
y

l
2
no son paralelas.
c) : Dos rectas perpendiculares se
intersecan.
: Las rectas no son paralelas, si se
intersecan.
: ........
29. Demuestre que si x e y son enteros impares, entonces
xy tambin es un entero impar.
30. Haga una demostracin por reduccin al absurdo del
siguiente teorema: Si x
2
es un entero par, entonces x
es par. Sugerencia: Utilice el ejercicio anterior.
31. Siendo p : los precios son bajos y q : los precios no
suben, escribir en lenguaje corriente las siguientes
expresiones simblicas :
a) q
b) p q
c) p q
d) p q
e) (p q)
32. Sean p : tengo un loro y q : tengo un gato, escribir en
lenguaje corriente y luego simplicar,
( p q) ( p)
33. Pruebe que:
a) (p q) (p q)
b) [p (q r)] [(p q) r]
34. Pruebe que:
a) [(a b) (b c)] (a c)
b) (a b) [(c a) (c b)]
35. 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?
c) Es verdadera si y slo si q es falsa?
d) Es verdadera si y slo si p y q lo son?
36. Pruebe, sin hacer uso de tablas de verdad, que:
a) p q r p (q r)
b) [(p q) r] q (r q)
37. Cul es la relacin que existe entre las proposiciones
siguientes?
p [p (q r)] y p ( q r)
Antalcides Olivo
58 i
i
logica 2014/8/24 20:07 page 59 #59
i
i
i
i
i
i
1.6. Problemas
38. Se dene como la conjuncin negativa, es decir,
pq se lee ni p ni o q.
a) Construya la tabla de verdad de pq.
b) Pruebe que:
1) p pp
2) p q (pq) (pq)
3) p q (pp) (qq)
4) (p q) (p q) pq
39. Simplique la expresin:
[ q ( q p)] q
40. Simplique las siguientes expresiones
a) (p q) ( p q)
b) [(p q) r] p
c) [(p q) q] (p q)
41. Sea A = 1, 2, 3, 4 el conjunto universal. Determinar el
valor de verdad de cada enunciado:
a) x : x + 3 < 6
b) x : x
2
10 8
c) x : 2x
2
+x = 15
d) x : x
2
> 1 x + 2 = 0
42. 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))]
43. Exprese en forma simblica y niegue las siguientes
proposiciones, utilizando el cuanticador adecuado:
a) Existen enteros tale que x
2
1 = 0.
b) Ningn conjunto es subconjunto del vaco.
c) 5 es un nmero racional.
d) A todos los alumnos de secundaria les gusta
Facebook.
e) En todos los nmeros naturales x, x es menor
que cero.
f ) Existe un nmero de la forma
a
b
tal que
a
b
1
es negativo.
g) Algunos mamferos son acuticos.
44. Niegue la siguiente proposicin [(p q) r]
[s (q t)].
45. 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.
46. Negar la siguiente expresin:
( > 0) ( > 0) (0 < |x x
0
| < |f (x) l| < )
47. A partir del lgebra proposicional, demostrar la vali-
dez 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.
48. Demuestre:
a) p q (p q) (p q)
b) [p (q p)] (p q)
49. 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.
50. En cual de sus signicados est
o(no excluyente)
en las siguientes a proposiciones:
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
51. 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) ;
52. Encuentre el valor de verdad de
[ (p q) ( p q)] (r p)
si p : el nmero e es par, q f y r : los gatos tienen
5 patas
Antalcides Olivo
59 i
i
logica 2014/8/24 20:07 page 60 #60
i
i
i
i
i
i
1.6. Problemas
53. Construya las tablas de verdad de las siguientes pro-
posiciones:
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)]
54. Pruebe que son tautologas:
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
55. Probar las siguientes equivalencias:
a) p (q r) (p q) r
b) p (q r) (p v) (p r)
c) p q (p q) (p q)
d) p q p (p q)
e) p (p q) p
f ) (p q) p q
g) p (q r) (p q) (p r)
56. Averiguar si son equivalentes las proposiciones: (p
q) r y (p r) (q r)
57. Encuentre el valor de verdad de: [(p q) ( p q)]
(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
58. 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)
59. Derive a partir de las equivalencias bsicas, las si-
guientes equivalencias:
a) ((p q) r) ((p r) (q r))
b) ((p q) q) p q p
60. 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)}]
[(p r) (q t)]
61. Exprese en smbolos lgicos y despus niegue las si-
guientes 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.
62. Sea A = 0, 1, 2, 3, 4, 5, 6. Escribir en smbolos y averi-
guar el valor de verdad de:
a) Hay un elemento que es mayor que todos.
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
63. Si las proposiciones a y b son tales que la proposicin
(a b) (a b) o es verdadera, determinar el
valor de verdad de (a b) (a b).
64. 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)
Antalcides Olivo
60 i
i
logica 2014/8/24 20:07 page 61 #61
i
i
i
i
i
i
1.6. Problemas
65. Si el conjunto universal es conjunto de los nmeros
naturales. Escribir en smbolos las siguientes expre-
siones.
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.
66. Cules de las siguientes proposiciones son verdade-
ras?
a) Si p q F entonces [ ( q p) p] es
una tautologa.
b) Es suciente que p q sea falsa para que p y q
sean equivalentes.
c) No es necesario que p sea verdadera y q sea falsa
para que [p (q p)] q sea verdadero.
67. Demuestre las siguientes equivalencias sin uso de ta-
blas de verdad.
a) (p q) (p q) q
b) (p q) ( p q)
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)
68. Indique en cules de los siguientes casos p es condicin
suciente para q; y en cules p es condicin necesaria
y suciente para q.
a) p : A es mltiplo de 4, q : Aes nmero par
b) p: A y B son pares, q: A+B es par.
69. 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.
70. Negar las siguientes armaciones:
a) (xy IR) (x +y = 5 y = x)
b) (xy IR) [(x + y es impar) (x es impar
y es impar)]
c) (xy IR) (x < y x
2
y)
d) (zyx IR) (x < y x +z = y)
71. Averiguar el valor de verdad siendo U = IR.
a) (x IR) (x < 0 x < 3)
b) (xIR)(x2 0 x4 = x3)
c) (xIR, yIR) (x2 +y2 = 1)
d) (xIR, yIR) (y < x 2y < 10)
72. 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 .
73. Dadas las proposiciones abiertas p(x) : x
2
x y
q(x) : x 0. Determine el valor de verdad de las
siguientes proposiciones:
a) [p(
11
2
) q(1)] [p(x) q(x)]
b) xIR : p(x) q(x)
74. Si la proposicin (p q) (r t) es falsa,
determine el valor o de verdad de la proposicin
(p t) (r q) (u v).
75. Demostrar:
a) Si n es par y m es impar, entonces (n + m) es
impar, n, mIN).
b) Si xy = 0 entonces x = 0 y = 0.
c) Si ab es impar, entonces a es par y b es impar.
76. Determine el valor de verdad de las siguientes propo-
siciones:
a) xIR : x2 x
b) xIR : 2x = x
c) xIR :
2x1
4x2
= 12
d) xIR : x
2
+ 2x + 1 0
e) xIR : x
2
+ 4x5 > 0
Antalcides Olivo
61

Logica

Caricato da

Informazioni sul documento

Titolo originale

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Logica

Caricato da

Copyright:

Formati disponibili

i

A porque no es un elemento de A sino un subconjunto y D

En el cuadriltero podemos observar que AD = 6,29 y AC = 6 y por denicin de rombo el cuadriltero

18. Incluya la informacin omitida para formular un es-

El ABC es un ngulo obtuso

no es estudioso y Juan es estudioso.

y Juan, no son estudiosos.

Potrebbero piacerti anche