Captulo I: LGICA Teora de Lgica Proposicional

La Lgica Matemtica surge como una necesidad de expresar las frases del lenguaje comn en trminos o ecuaciones matemticas, de modo que pudiera evitarse la ambigedad del lenguaje natural y transformar el pensamiento en clculo. Este lenguaje en frmulas es lo que se conoce como Lenguaje Formal, el cual consiste en abreviar o simbolizar las oraciones o juicios, que en la lgica matemtica se llaman proposiciones. Las proposiciones son expresiones del lenguaje natural, y se diferencian del resto de las expresiones en que su planteamiento conlleva a un anlisis de la misma, para determinar si es cierto o no el juicio emitido. Ms claramente, una proposicin es un enunciado a travs del cual se emite un juicio o condicin, el cual puede ser verdadero o falso; mientras ninguna expresin interrogativa, exclamativa, o imperativa de nuestro lenguaje cotidiano puede considerarse una proposicin, pues las mismas no pretenden esclarecer la veracidad o falsedad de un supuesto, sino obtener una respuesta, afirmar u ordenar respectivamente. Ejemplo: Diga cules de las siguientes frases son proposiciones. p: T eres menor que yo. q: Las pirmides egipcias estn en la ciudad de El Cairo. r: Vamos a cenar juntos? s: Tmate todo el jugo. t: Qu gusto verte! Solucin: Son proposiciones las frases p y q, pues las mismas enuncian una idea, la cual puede ser verdadera o falsa. En el caso de los incisos r, s, y t no se pretende demostrar si las frases son verdaderas o falsas, sino obtener una respuesta (s o no), dar una orden y expresar un estado de nimo, respectivamente. Las proposiciones se reducen en el lenguaje formal a una sola letra, la cual llamamos variable, y la simbolizamos con las letras minsculas del alfabeto que van de la p hasta el final del abecedario. En el ejemplo podemos ver que cada inciso del mismo fue identificado con una letra minscula, y teniendo en cuenta la respuesta del mismo podemos decir que las proposiciones presentes en el ejercicio son p y q, las cuales pueden plantearse como: p: T eres menor que yo q: Las pirmides egipcias estn en la Ciudad de El Cairo
1

Captulo I: LGICA
Proposicin simple y proposicin compuesta Una proposicin simple es aquella que no contiene elementos de enlace, es decir que solamente se enuncia un juicio independiente. Digamos por ejemplo que: T eres menor que yo es una proposicin simple, mientras que En invierno hace fro y llueve es una proposicin compuesta, pues est compuesta por 2 proposiciones simples (En invierno hace fro y En invierno llueve) conectadas a travs de un elemento de enlace (y) que reduce los componentes de la frase final al no tener que repetir la frase En invierno 2 veces. Dicho conector en trminos matemticos es un conectivo lgico, que es representado por un smbolo y su significado siempre es el mismo, por lo que tambin se le conoce como constante. La siguiente tabla muestra los conectivos lgicos ms usados y su simbologa para su utilizacin matemtica.
Conectivo Lgico Smbolo

Y O si, entonces, s y solo si No o Veamos algunos ejemplos de proposiciones compuestas, donde hemos resaltado cada uno de los conectores lgicos utilizados. a. Tienes fro o miedo. b. Si sigo este camino, entonces, llegar al cine. c. Ese dulce no es para ti. d. El 5 es un nmero natural y primo. e. Tendrs ese libro, s y solo si me dejas regalrtelo. f. Ni tengo fiebre, ni estoy enfermo. g. Ese vestido o bien est mojado, o bien est seco.

A mediados del siglo XIX, George Boole (1815-1864), en sus libros: "The Mathematical Analysis of Logic" (1847) y "An Investigation of te Laws of Thought" (1854), desarroll la idea de que las proposiciones lgicas podan ser tratadas mediante herramientas matemticas. Las proposiciones lgicas (asertos, frases o predicados de la lgica clsica) son aquellas que nicamente pueden tomar valores Verdadero/Falso, o preguntas cuyas nicas respuestas posibles sean S/No. Segn Boole, estas proposiciones pueden ser representadas mediante smbolos y la teora que permite trabajar con estos smbolos, sus entradas (variables) y sus salidas (respuestas) es la Lgica Simblica desarrollada por l. Dicha lgica simblica cuenta con operaciones lgicas que siguen el comportamiento de reglas algebraicas. Por ello, al conjunto de reglas de la Lgica Simblica se le denomina LGEBRA DE BOOLE. A mediados del siglo XX el lgebra Booleana result de una gran importancia prctica, importancia que se ha ido incrementando hasta nuestros das, en el manejo de informacin digital (por eso hablamos de Lgica Digital). Gracias a ella, Shannon (1930) pudo formular su teora de la codificacin y John Von Neumann pudo enunciar el modelo de arquitectura que define la estructura interna de los ordenadores desde la primera generacin. Fuente: http://descartes.cnice.mec.es/

Captulo I: LGICA
Valor de verdad de las proposiciones Toda proposicin simple tiene 2 posibilidades de Valor de Verdad, es decir, puede ser verdadera o falsa. p V F Ejemplo:
Recuerda que:

F V

Determine el valor de verdad de las siguientes proposiciones: p: Todos los nmeros naturales son enteros. q: Todos los nmeros racionales son naturales. Solucin: La proposicin p es verdadera, mientras q es una proposicin falsa.

Nmeros naturales son: 0; 1; 2; 3; Nmeros enteros son: -3; -2; -1; 0; 1; 2; 3; Nmeros racionales son: todos los quebrados (ejemplo: )

Nmeros irracionales son: todos los nmeros decimales no peridicos, ejemplo:

La negacin de una proposicin se obtiene con la utilizacin del conectivo lgico no delante de la letra que identifica la proposicin. Por lo tanto, si la proposicin p tiene valor de verdad verdadero, entonces la proposicin tiene valor de verdad falso.

Ejemplo: Partiendo de las proposiciones del ejemplo anterior, niegue ambas proposiciones, y diga cul es el valor de verdad de los mismos entonces. Solucin: p: Algn nmero natural no es entero. Su valor de verdad es falso. q: Algn nmero racional es natural. Su valor de verdad es verdadero.

Los conectivos lgicos, su implicacin en la interrelacin de proposiciones El significado de los conectivos lgicos no es nada ms que su comportamiento como funciones de verdad. Cada conectivo lgico se distingue del otro por los valores de verdad que devuelve frente a las distintas combinaciones de valores de verdad que puede recibir.
3

Captulo I: LGICA
Conjuncin: proposicin compuesta que se obtiene al entrelazar 2 o ms proposiciones simples con el conectivo y. Ejemplo: Forme conjunciones con las siguientes proposiciones a) p: 17 es un nmero primo. q: 17 es un nmero natural. b) r: El Sol es una estrella. s: El Sol gira alrededor de la Tierra. c) t: 36 es mltiplo de 6. v: 6 es un nmero par. Solucin: a) b) c) 17 es un nmero primo y es natural. El Sol es una estrella y gira alrededor de la Tierra 36 es mltiplo de 6 y 6 es un nmero par.

En la Conjuncin el Valor de Verdad verdadero se obtiene solamente si cada una de las proposiciones simples que la conforman tiene Valor de Verdad verdadero. En cualquier otro caso, el Valor de verdad verdadero de la Conjuncin ser Falso. Segn el ejemplo: a) Valor de verdad verdadero, porque la proposicin simple 17 es un nmero par tiene valor de verdad verdadero, al igual que la proposicin simple 17 es natural. b) Valor de verdad falso, porque la proposicin simple El Sol es una estrella tiene valor de verdad verdadero, pero la proposicin simple el Sol gira alrededor de la Tierra tiene valor de verdad falso, lo que hace que la conjuncin tenga valor de verdad falso. c) Valor de verdad verdadero, pues tanto la proposicin simple 36 es mltiplo de 6 como 6 es un nmero par tienen valor de verdad verdadero. Disyuncin: proposicin compuesta formada por 2 o ms proposiciones simples relacionadas a travs del conectivo o. Ejemplo: Forme las disyunciones de los incisos del ejemplo anterior

Captulo I: LGICA
Solucin: a) b) c) 17 es un nmero primo o es natural. El Sol es una estrella o gira alrededor de la Tierra. 36 es mltiplo de 6 o 6 es nmero par.

El Valor de Verdad de una Disyuncin, por el contrario de la Conjuncin, es verdadero siempre que al menos una de las proposiciones simples que la conformen tenga valor de verdad verdadero, o si todas las proposiciones simples que la componen tienen valor de verdad verdadero. La Disyuncin tiene valor de verdad falso cuando las dos proposiciones simples que la conforman tienen valor de verdad falso. Segn el ejemplo: a) Valor de verdad verdadero, porque las 2 proposiciones simples que componen esta disyuncin tienen valor de verdad verdadero. b) Valor de verdad verdadero, porque la proposicin simple El Sol es una estrella tiene valor de verdad verdadero, por lo que no importa que la otra proposicin simple El Sol gira alrededor de la Tierra tenga valor de verdad falso. c) Valor de verdad verdadero, porque las 2 proposiciones simples que componen esta disyuncin tienen valor de verdad verdadero. Existe un caso especial de disyuncin llamado disyuncin exclusiva, en la cual para determinar el valor de verdad de la misma basta con comprobar el valor de verdad una de las 2 proposiciones. Por ejemplo El hombre es un mamfero o es un ave Basta con verificar una de las 2, porque no puede cumplir con las 2 proposiciones a la vez, o es mamfero, o es un ave.

INCGNITA:

CUL ES EL ?

VALOR DE VERDAD DE LA DISYUNCIN EXCLUSIVA

Dicha proposicin se representa por y se lee o p q, o bien p o bien q, p a menos que q , a menos que q , p, etc.

Implicacin o condicional: proposicin compuesta formada por 2 o ms proposiciones simples relacionadas a travs del conectivo si, entonces. En este caso la primera proposicin se llama antecedente, y la segunda consecuente.
5

Captulo I: LGICA
Formemos las implicaciones del ejemplo anterior: a) Si 17 es un nmero primo, entonces es natural. Se lee si p entonces q Si el Sol es una estrella, entonces gira alrededor de la Tierra. Se lee si r entonces s Si 36 es mltiplo de 6, entonces 6 es par. Se lee si t entonces v

b)

c)

El Valor de Verdad de una Implicacin es falso cuando el antecedente (o primera proposicin simple) es verdadero, y el consecuente (o segunda proposicin simple) es falso; en el resto de los casos siempre es verdadero Continuemos el ejemplo anterior a) Valor de verdad verdadero, pues tanto el antecedente como el consecuente tiene valor de verdad verdadero. b) Valor de verdad falso, porque el valor de verdad del antecedente (El Sol es una estrella) es verdadero, pero el valor de verdad del consecuente (El Sol gira alrededor de la Tierra) es falso. a) Valor de verdad verdadero, pues tanto el antecedente como el consecuente tiene valor de verdad verdadero.

Equivalencia o bicondicional: proposicin compuesta por 2 proposiciones simples, donde cada proposicin simple que la conforma implica a la otra. Se forma con el conectivo s y solo si Formemos las equivalencias del ejemplo: a) 17 es un nmero primo, s y solo si es natural. Se lee p s y solo si q El Sol es una estrella, s y solo si gira alrededor de la Tierra. Se lee r s y solo si s 36 es mltiplo de 6, s y solo si 6 es par. Se lee t s y solo si v

b)

c)

El Valor de Verdad de una Equivalencia es falso cualquiera de las proposiciones simples que la conforman es falsa. Solo se obtiene un valor de verdad verdadero en una equivalencia, cuando el valor de verdad de las proposiciones simples que la componen es para todas verdadero, o cuando es para todas falso. Continuando con el ejemplo:
6

Captulo I: LGICA
a) Valor de verdad verdadero, porque ambas proposiciones simples tienen valor de verdad verdadero. b) Valor de verdad falso, porque la primera proposicin simple tiene valor de verdad verdadero, pero la segunda tiene valor de verdad falso. c) a) Valor de verdad verdadero, porque ambas proposiciones simples tienen valor de verdad verdadero.

A continuacin resumiremos todos los valores de verdad que hemos ido desarrollando de acuerdo al tipo de proposicin compuesta que hemos estudiado.

p V V F F

q V F V F V F F F V V V F V F V V V F F V

Esta tabla es definida como Tabla de Verdad, y es muy til para encontrar el valor de verdad de las proposiciones compuestas.

Ejemplo: Halle el valor de verdad de verdad de la siguiente proposicin compuesta:

Solucin: Para determinar el valor de verdad de la proposicin compuesta anterior, se construye la siguiente Tabla de Verdad. En cada columna de la tabla se escribe el valor de verdad de cada una de las proposiciones respectivamente, como sigue:
7

Captulo I: LGICA
p V V F F q V F V F V F F V V F V V V F V V V V F F

Estas y otras proposiciones compuestas se llaman frmulas lgicas, y pueden ser tautologas, cuando todos los resultados son verdaderos, y contradicciones, cuando todas sus interpretaciones son falsas.

De acuerdo a los resultados obtenidos en la Tabla de Verdad se puede resumir que: Reglas para decidir el valor de verdad de una proposicin compuesta.
1. Si las proposiciones simples estn unidas por la conjuncin, entonces la proposicin compuesta es verdadera solamente cuando ambas proposiciones simples son verdaderas. 2. Si las proposiciones simples estn unidas por la disyuncin, entonces la proposicin compuesta es falsa nicamente cuando ambas proposiciones simples son falsas. 3. Si las proposiciones simples estn unidas por implicacin, entonces la proposicin compuesta es falsa solamente cuando el antecedente es verdadero y el consecuente es falso. 4. Si las proposiciones simples estn unidas por equivalencia, entonces la proposicin compuesta es verdadera cuando ambas proposiciones simples tienen el mismo valor de verdad, es decir, son ambas verdaderas o ambas falsas.

Funcin proposicional. Hasta ahora hemos definido proposiciones expresando determinada idea. Sin embargo existen determinados casos de juicios emitidos en los cuales no se puede decir que sean una proposicin, pues no tienen un valor definido real. Veamos por ejemplo el caso de la expresin x es un nmero impar. En dicho planteamiento no sabemos cul es el valor de x, por lo que no pudiramos determinar tampoco su valor de verdad. Podemos decir que es una proposicin si por ejemplo el enunciado reza as 7 es un nmero impar, y
8

Captulo I: LGICA
adems podemos determinar que su valor de verdad es verdadero. Pero entonces qu constituye la expresin x es un nmero impar La x de la expresin la llamaremos en lo adelante variable, debido a que la misma puede ser sustituida por un valor determinado (en este caso utilizamos el 7) para formar una proposicin. Una expresin que est compuesta por variables, y que al sustituirlas por constantes determinadas (en este caso el nmero 7) se convierte en proposicin es una funcin proposicional y se denota simblicamente como "p(x)". Si p(x) es una funcin proposicional definida sobre un conjunto determinado, entonces los elementos de ese conjunto que hacen que la funcin proposicional sea verdadera reciben el nombre de "conjunto de verdad de p(x)". Ejemplo: Sea p(x): x - 3 es menor que 2 una funcin proposicional definida sobre el conjunto de los nmeros naturales. Halle el conjunto de verdad de p(x). Solucin:

Por lo tanto el conjunto de verdad de p(x): {3, 4}, pues son los nmeros naturales que hacen que se cumpla la ecuacin. Para y se obtienen valores menores que 2 pero los mismos no son nmeros naturales, y es sobre este conjunto que se defini la funcin.

Proposiciones con cuantificadores Para comenzar este epgrafe definiremos que un cuantificador es una expresin que permite determinar cantidad en una proposicin.

Digamos por ejemplo: Todos los nmeros naturales son reales. En esta proposicin la expresin todos determina la cantidad de nmeros naturales que son reales. Los cuantificadores ms comnmente empleados en matemticas son: todos, algn(os), ninguno, no todo, slo uno.

Captulo I: LGICA
Negacin de proposiciones con cuantificador: La negacin de una proposicin compuesta en la que se ha empleado el cuantificador universal (para todo), se realiza con el empleo de un cuantificador existencial, y viceversa.

Muy importante:
Las expresiones para todo ( ) y ninguno ( ) se denominan cuantificadores universales. La expresiones existe algn ( ), slo, un, uno y unos, se denominan cuantificadores existenciales.

Ejemplo: De las siguientes proposiciones: p: Todos los nmeros son reales. q: Solo en invierno llueve. r: Ninguna vivienda tiene techo. s: Algunos nmeros son pares. Responda: a) Explica el significado de cada una y determina su valor de verdad. b) Expresa la Negacin de cada una de ellas, y determina entonces su valor de verdad. c) Represente simblicamente las proposiciones p , , s, y .

Solucin: a) p: Significa que no existe ningn nmero que no pertenezca al dominio de los nmeros reales. Su valor de verdad es verdadero. q: Significa que no hay otra estacin en el ao en la que llueva. Valor de verdad falso. r: Significa que todas las viviendas se construyen sin techo. Su valor de verdad es falso. s: Significa que existen nmeros que no son pares. Su valor de verdad es verdadero. b) : Algunos nmeros no son reales. Valor de verdad falso. : Durante todo el ao puede llover. Valor de verdad verdadero.
10

Captulo I: LGICA
: Todas las viviendas tienen techo. Valor de verdad verdadero. : Todos los nmeros son pares. Valor de verdad falso. c) p: : s: par : par

A continuacin encontrars un resumen de Leyes de lgebra de Proposiciones. Te propongo que las analices y determines la veracidad de las mismas. lgebra de Proposiciones. Leyes de idempotencia.
p p p p p p

Leyes asociativas.

p q

q r

p q

r
q q p p

q r

Leyes conmutativas.

p p

q q

Leyes distributivas.

p p

q r q r

p q p q

p r p r

Ley de complemento. Leyes de Morgan.

p
p q
p q

p
p
p q

A partir de tu anlisis espero que hayas concluido que todos los planteamientos anteriores son verdaderos. No te parece conveniente entonces aprender dichas leyes para su aplicacin en la resolucin de problemas de lgica proposicional? Las mismas pueden ayudarte a obtener resultados ms rpidamente y con bases ciertas. Optimizar el tiempo y el anlisis es muy importante en matemticas, y dentro de ella en lgica. Por lo tanto, no debes olvidar las propiedades que pudiste enunciar anteriormente. Ejemplo: Demuestre que las siguientes igualdades son verdaderas: a)
11

Captulo I: LGICA
Solucin: Aplicando Leyes de Morgan: Aplicando Leyes distributivas: Aplicando Leyes asociativas: Aplicando Leyes distributivas: Aplicando Leyes de idempotencia: Entonces: Aplicando Leyes conmutativas: Por lo que: Lo que queda demostrado.

b) Aplicando las Leyes distributivas: Aplicando la Ley de complemento: Entonces: Por lo tanto: Aplicando Leyes de idempotencia: Entonces: ] Lo que queda demostrado. Despus de este resumen, estamos listos para comenzar a resolver ejercicios.

12

Captulo I: LGICA Ejercicios Resueltos

1. Dadas las proposiciones. a. b. c. d. e. f. g. h. Incorprate Las frutas son dainas para el consumo humano. Todos los caminos conducen a Roma s y solo si 3+2=5. Espaa es la capital de Europa. 4 es mltiplo de 2. Si est lloviendo, entonces los ngulos adyacentes suman 190o. siguientes expresiones selecciona las que sean

Respuesta: Son proposiciones los incisos: b, c, d, e, f, g. 1.1 Clasifcalas de acuerdo a su composicin. Indique en cules se utilizaron conectivos lgicos, y cules fueron los utilizados. Son proposiciones simples: b, c, f, g. Son proposiciones compuestas: d , e, h. (en estas se utilizaron los conectivos lgicos s y solo si , o y si, entonces respectivamente. 1.2 Establece el valor de verdad de cada proposicin simple. Despus indique el valor de verdad de las proposiciones compuestas. Respuesta:
Proposiciones simples b. Valor de verdad falso c. Valor de verdad falso d. Proposicin simple: Todos los caminos conducen a Roma. Valor de verdad falso. Proposicin simple: 3+2=5 Valor de verdad verdadero. e. Proposicin simple: 1/3=1,3Valor de verdad falso Proposicin simple: 1/3 Valor de verdad verdadero. f. Valor de verdad falso g. Valor de verdad verdadero h. Proposicin simple: Est lloviendo. Proposicin simple: los ngulos adyacentes suman 190o Proposiciones compuestas

d. Valor de verdad falso e. Valor de verdad verdadero

h. Valor de verdad falso

13

Captulo I: LGICA
1.3 Asigna a cada proposicin simple, que conforman las proposiciones compuestas, un smbolo (comenzando por la letra p) y representa simblicamente las proposiciones compuestas. Respuesta: d) p: Todos los caminos conducen a Roma. Representacin: e) r: Representacin: h) t: Est lloviendo. Representacin: s: q:

u: los ngulos adyacentes suman 190o

1.4 Niegue cada una de las proposiciones simples que hay en el ejercicio Respuesta: Las frutas no son dainas para el consumo humano. : Algunos caminos no conducen a Roma. :

Espaa no es la capital de Europa. 4 no es mltiplo de 2. No est lloviendo. Los ngulos adyacentes no suman 190o 1.5 Niegue una de las proposiciones compuestas. Respuesta: Algunos caminos no conducen a Roma o

2. Resolver el siguiente problema: Cuatro nios jugaban en el parque, cuando uno de ellos tir una pelota que rompi un vidrio de un auto. El dueo del auto les reclam a los nios quin haba sido el autor de tal fechora. Juan contest: yo no fui. Pedro contest: fue Luis. Luis contest: fue Alfonso Alfonso contest: fui yo. Quin tuvo la culpa, si se sabe que solo Juan dijo la verdad.

14

Captulo I: LGICA
Respuesta: A cada proposicin que hace cada nio la identificaremos con la letra inicial de cada nombre. Proposicin Valor de verdad Resultado J V No fue Juan P F No fue Luis L F No fue Alfonso A F No fue Alfonso Conclusiones: Quien rompi el vidrio con la pelota fue Pedro.

3. Demuestre si la siguiente igualdad es cierta:

Respuesta: Aplicando Leyes distributivas:

Aplicando Leyes de idempotencia: Entonces: Aplicando Leyes asociativas:

Aplicando Leyes conmutativas: Por lo tanto: Aplicando Leyes distributivas: Es decir que: Aplicando Leyes de Morgan: O sea: Aplicando Leyes Distributivas: Aplicando Leyes de idempotencia: Entonces: Aplicando Leyes conmutativas: Lo que queda demostrado

15

Captulo I: LGICA Ejercicios Propuestos

1. Determine de las siguientes propuestas: 1.1. Cules son proposiciones simples. 1.2. Cules son proposiciones compuestas. 1.3. Cul es el valor de verdad de cada proposicin simple. Cul es el valor de verdad de cada proposicin compuesta. 1.4. Niegue cada una de las propuestas simples y compuestas. Propuestas: a: la luna es un satlite y pertenece al sistema solar. b: si entonces c: Todos los nmeros racionales son enteros y reales. d: El rea de un tringulo regular es la mitad de la de un rectngulo, s y solo si el rectngulo y el tringulo tienen igual base. e: f: Entra a la casa que es muy tarde ya. g: Si un cuerpo realiza un Movimiento Rectilneo Uniforme, su velocidad de traslacin puede determinarse hallando la razn entre la distancia recorrida y el tiempo transcurrido. h: La Biblia es el libro ms antiguo que se conoce. 2. Establecer el valor de verdad de las siguientes proposiciones compuestas. Establezca adems el valor de verdad de cada proposicin simple implcita en las compuestas. a. Ro de Janeiro ser la sede de las Olimpiadas del 2016 y Australia es una regin de frica. b. Si el chimpanc es un mamfero, entonces sabe trepar rboles. c. d. e. s, y solo si 45 es mltiplo de 5 y 9. f. g. 3. Negar las siguientes proposiciones. a. b. No tengo hambre. c. Solo las mujeres usan maquillaje. d. Es falso que 4.1 Utilizando las proposiciones anteriores, escriba una proposicin simple para cada caso que forme:

16

Captulo I: LGICA
4.1.1. Una conjuncin con valor de verdad verdadero. 4.1.2. Una disyuncin con valor de verdad falso. 4.1.3 Una implicacin con valor de verdad verdadero. 4.1.4 Una equivalencia con valor de verdad falso. 5. Construir las tablas de verdad de las siguientes proposiciones. a. b. c. d. e. f. h. 6. Sea p la proposicin: l es delgado y sea q la proposicin: l es noble. Simbolizar: a. l es delgado o noble c. l es delgado, o no es grueso. d. No es cierto que l es delgado y noble e. l no es noble, pero tampoco delgado. f. l es noble pero no delgado. g. l es delgado y noble, o grueso y no noble. 7. Resolver el siguiente problema. La profesora detuvo a Jos, Aldo, Juana y Enma, pues estaban seguros de que uno de ellos haba roto el jarrn del saln de clases. Al ser interrogados estas fueron sus declaraciones: Jos: - Fue Aldo. Aldo: - Fue Enma. Juana: - Fui yo. Enma: - Yo no fui. Si se sabe que slo Enma dice la verdad. Quin rompi el jarrn? 8. Establecer el valor de verdad de las proposiciones. a. b. c. d. e. f. g. Si el eucalipto es una planta, entonces las plantas son seres vivos. Si , entonces Japn es una potencia econmica mundial. El auto rojo es de Juan, s y slo si Pedro tiene su casa en el campo. Si es u nmero natural, entonces tambin lo es. Marte es un planeta si y slo si Plutn tambin lo es.

17

Captulo I: LGICA
9. Siendo la proposicin p: "Ana es alta" y la proposicin q: "Sofa es rubia", se pide escribir en lenguaje simblico cada una de las siguientes proposiciones. a. b. c. d. e. f. g. Ana es alta y Sofa es rubia. No es cierto que Ana es alta. No es cierto que Ana es alta y Sofa es rubia. Ana es alta s y solo si Sofa no es rubia. Si Sofa no es rubia, entonces Ana no es alta. Ana es alta, pero Sofa no es rubia. Sofa es rubia, o Ana no es alta.

10. Supongamos ahora que es cierto que Ana es alta y que Sofa es rubia. Cules de las siete proposiciones compuestas del ejercicio son verdaderas? 11. Sean las siguientes proposiciones: p: " Es muy tarde" y q: "Voy al parque". Traducir al lenguaje coloquial las siguientes proposiciones: a. b. c. d. e. f. g. h. i. 12. Supongamos ahora que ambas proposiciones del ejercicio anterior son verdaderas. Cules de las nueve proposiciones compuestas del ejercicio anterior son verdaderas? 13. Resolver el siguiente problema Al finalizar el filme en el cine solamente cuatro personas quedaron en la sala: Adolfo, Esteban, Marcelo y Toms. Fueron abandonado la sala de uno en fondo hasta dejarla totalmente vaca. Al preguntarles en qu orden abandonaron la sala respondieron: Adolfo: - Yo sal primero. Esteban: - Yo no sal cuarto. Marcelo: - Yo sal cuarto. Toms: - Yo sal segundo. Si se sabe que slo Toms dijo la verdad. En qu orden se retiraron de la sala?

18

Captulo I: LGICA
14. Utilizar los smbolos de enlace y los smbolos de agrupacin para simbolizar los siguientes enunciados: a) Si p entonces q. b) p y si q, entonces no r. c) O p y q o r y s. d) Si o p o q entonces r. e) O p o q. f) O no p o no q. g) Si no p entonces no q y r. 15. A cada proposicin p, q, r, asigne un enunciado (una oracin simple) y traduzca en una sola oracin compuesta lo que expresa la simbologa siguiente.

16. Sealar los trminos de enlace en las siguientes proposiciones. Indique despus cmo sera la proposicin en smbolos lgicos y agregue los smbolos de agrupacin donde sean necesarios. Ejemplo: a) No ocurre que, Pedro es ms fuerte o Jess es ms fuerte. Solucin: b) Pedro es el ms inteligente y Antonio no es el menos atento. c) Jos se marcha ahora y o yo ir con l o Pedro ir con l. d) Si la obra de teatro es protagonizada por Mara, entonces nosotros iremos a verla y no ocurrir que Paula ir. e) Si este cuadro es negro entonces aquel cuadro es rojo y su rey est sobre el cuadro rojo. f) O no lo compr o no estaba en venta. g) O estoy equivocado, o la primera cancin es de una autor ecuatoriano y la segunda cancin es de la autora del intrprete. 17. Determinar el valor de verdad de las siguientes proposiciones: a) Si todas las proposiciones compuestas tienen trminos de enlace, entonces algunas proposiciones compuestas tienen exactamente una proposicin simple y una proposicin simple tiene trminos de enlace. b) No ocurre que, Shakespeare fue un escritor ingls, o Walt Whitman no era norteamericano. c) O todos los nmeros son naturales y algunos nmeros son reales, o todos los nmeros racionales son reales. d) La raz cuadrada de 68 es un nmero par, o 7 es menor que 10 y 10 es mltiplo de 5.
19

Captulo I: LGICA
e) Si un hexgono tiene 6 ngulos interiores, entonces no es cierto que un hexgono tenga 8 lados y 4 diagonales.

18. Demuestre a travs de la aplicacin de las Leyes de lgebra de Proposiciones estudiadas si las siguientes igualdades son verdaderas o falsas. a)

19. Represente simblicamente cada una de las proposiciones siguientes. a) Las aves vuelan gracias a sus alas o gracias al poco peso de sus cuerpos. b) Este frasco de aspirinas tiene ms pastillas que el tuyo. c) Si entonces d) Es falso que si , entonces e) La guerra no puede explicarse totalmente por una causa. f ) Si , entonces 20. Un pastor tiene que pasar un lobo, una cabra y una lechuga a la otra orilla de un ro, dispone de una barca en la que solo caben l y una de las otras tres cosas. Si el lobo se queda solo con la cabra se la come, si la cabra se queda sola con la lechuga se la come, cmo debe hacerlo? 21. Un oso camina 10 Km. hacia el sur, 10 hacia el este y 10 hacia el norte, volviendo al punto del que parti. De qu color es el oso? 22. Qu animal tiene en su nombre las cinco vocales? 23. Un hombre esta al principio de un largo pasillo que tiene tres interruptores, al final hay una habitacin con la puerta cerrada. Uno de estos tres interruptores enciende la luz de esa habitacin, que esta inicialmente apagada. Cmo lo hizo para conocer que interruptor enciende la luz recorriendo una sola vez el trayecto del pasillo? Pista: El hombre tiene una linterna. 24. Un prisionero est encerrado en una celda que tiene dos puertas, una conduce a la muerte y la otra a la libertad. Cada puerta est custodiada por un vigilante, el prisionero sabe que uno de ellos siempre dice la verdad, y el otro siempre miente. Para elegir la puerta por la que pasara solo puede hacer una pregunta a uno solo de los vigilantes Cmo puede salvarse? 25. Tres amigos con dificultades econmicas comparten un caf que les cuesta 30 pesetas, por lo que cada uno pone 10. Cuando van a pagar piden un descuento y el dueo les rebaja 5 pesetas tomando cada uno una peseta y dejando dos en un fondo comn. Ms tarde hacen cuentas y dicen: cada uno ha pagado 9 pesetas as que hemos gastado 9x3=27 pesetas que con las dos del fondo hacen 29 dnde est la peseta que falta?
20

Captulo I: LGICA
26. El alcalde de una crcel informa que dejara salir de la prisin a una persona al azar para celebrar que hace 25 aos que es alcalde, eligen a un hombre y le dicen que quedara libre si saca de dentro de una caja una bola blanca, habiendo dentro 9 bolas negras y solo 1 blanca. El prisionero se entera por un chivatazo que el alcalde pondr todas las bolas de color negro, al da siguiente le hace el juego, y el prisionero sale en libertad. Cmo ha conseguido salir de la crcel si todas las bolas eran negras? 27. Un lechero tiene un cntaro de 8 litros lleno de leche, y dos ms de 5 y de 3 litros. Un cliente le pide exactamente 4 litros. Cmo puede calcularlos cuatro litros y drselos en el cntaro de 5 litros? http://www.pdf-search-engine.com/ejercicios-de-logica-pdf.html

21

Captulo I: LGICA BIBLIOGRAFA

Bosch, Carlos, Gmez Claudia lgebra Ed. Santillana S.A. Mxico, 2006. Cuenca, Irene Qu puedes concluir? Historias con el Clculo de Proposiciones Escuela Politcnica Nacional, Quito 1998. Chvez, Hugo; Salgado, Diana; y otros Introduccin al Clculo. Edicin para el Docente. Ed. Santillana S.A., Bogot, 2004. http://eduardoochoa.com/joomla/content/blogcategory/32/96/ http://es.wikipedia.org/wiki/Lgica_matemtica http://recursostic.educacion.es/descartes/web/ http://www.mister-wong.es/groups/+Galois/ http://www.pdf-search-engine.com/ejercicios-de-logica-pdf.html http://www.terra.es/personal8/rafaelvm/uned/lomat/logica%20matematica.p df Kstikova, Margarita; Trujillo, Juan Carlos Quin pagar al cuclillo? El Tercero-no-excluido Escuela Politcnica Nacional, Quito 2002. Kstikova, Margarita; Trujillo, Juan Carlos El error de Prometeo. El Cuarto Indemostrable de Crisipo Escuela Politcnica Nacional, Quito 2001.

22