UNIDAD N 1: LOGICA Y CONJUNTOS

LOURDES ESALAS PERREZ

CONCEPTO DE LOGICA
La lgica estudia la forma del razonamiento, es una disciplinas que por medio de reglas y tnicas determina si un argumento es vlido. La lgica es ampliamente aplicada en la filosofa, matemticas, computacin, fsica. En general la lgica se aplica en la tarea diaria, ya que cualquier trabajo que se realiza tiene un procedimiento lgico

La lgica es pues muy importante; ya que permite resolver incluso problemas a los que nunca se ha enfrentado el ser humano utilizando solamente su inteligencia y apoyndose de algunos conocimientos acumulado

La lgica matemtica es la disciplina que trata de mtodos de razonamiento. En un nivel elemental, la lgica proporciona reglas y tcnicas para determinar si es o no valido un argumento dado. El razonamiento lgico se emplea en matemticas para demostrar teoremas; en ciencias de la computacin para verificar si son o no correctos los programas; en las ciencias fsica y naturales, para sacar conclusiones de experimentos; y en las ciencias sociales y en la vida cotidiana, para resolver una multitud de problemas. Ciertamente se usa en forma constante el razonamiento lgico para realizar cualquier actividad.

RAZONAMIENTOS
Qu es el razonamiento? Veamos algunos ejemplos 1. - Ningn hroe es cobarde - Algunos soldados son cobardes - _________________________________ - por lo tanto, algunos soldados no son hroes

EJEMPLO 2 - Ningn barco de guerra es un navo comercial - Todos los submarinos nucleares son barcos de guerra - ___________________________________ Ningn submarino nuclear es un navo comercial

 El razonamiento es una operacin lgica mediante la cual, partiendo de uno o ms juicios, se deriva la validez, la posibilidad o la falsedad de otro juicio distinto. Por lo general, los juicios en que se basa un razonamiento expresan conocimientos ya adquiridos o, por lo menos, postulados como hiptesis.

EJEMPLOS DE RAZONAMIENTOS
2. NO CONSUMA DROGA -La droga destruye la salud -La salud es vital para el completo desarrollo del cuerpo -Su cuerpo es vida _____________________________ -Por eso no consuma droga

EJEMPLO 3 - Todos los satlites artificiales son descubrimientos cientficos importantes, - Algunos satelites artificiales no son norteamericanos. - ________________________________ Algunos descubrimientos cientficos importantes no son inventos norteamericanos.

 El razonamiento es valido cuando la verdad de la conclusin se sigue necesariamente de la verdad de la informacin dada Ejemplos 4 . SI a ,entonces a 2 u 0 Veamos como esto es posible aplicando razonamiento lgico

 Si a , entonces a !  a  a u 0 Si a , entonces a !  a  a u 0 Si a ! 0, entonces a ! a a ! 0g0 ! 0 luego a u 0

2 2 2

EJERCICIOS
I. Escribe el razonamiento para probar cada una de las siguientes afirmaciones. 1. La suma de dos nmeros impares es un numero par 2. La suma de dos nmeros pares es par 3. La suma de un numero par y un nmero impar es impar 4. El cuadrado de todo numero par es par.

II. Diga cuales de los siguientes razonamientos es valido o no. 1. - Si un numero es impar, entonces no es divisible por dos - 13 es un nmero impar __________________________ - 13 no es divisible por dos

2. - todo nmero real tiene inverso aditivo - 3 es un nmero real _____________________________ - 3 tiene inverso aditivo 3. - Si un nmero es mltiplo de 10, entonces es mltiplo de 5 - 25 5e mltiplo de 5 _________________________ - 25 es mltiplo de 10

Ordena la informacin dada en los siguientes razonamientos para que sean validos 1. - Las rectas s y t se intersecan - Si las rectas son perpendiculares entonces se interseca - Las rectas s y t son perpendiculares 2. - el triangulo no es un cuadriltero - El tringulo no es un cuadrado - Todo cuadrado es un cuadrilatero

3. Un triangulo escaleno no es issceles Un triangulo escaleno no es equiltero Si un triangulo es equiltero entonces es issceles - Ejemplos - Un oso camina 10 Km. hacia el sur, 10 hacia el este y 10 hacia el norte, volviendo al punto del que partio. De que color es el oso? -

 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.

 Al principio del pasillo hay tres interruptores, A,B y C, nuestro personaje pulsa el interruptor A, espera 10 minutos, lo apaga, pulsa el B y atraviesa el pasillo. Al abrir la puerta se puede encontrar con tres situaciones: Si la luz esta encendida el pulsador ser el B. Si la luz esta apagada y la bombilla caliente ser el A. Y si esta apagada y la bombilla fra ser el C.

PROPOSICIONES
Analicemos los siguientes enunciados 1. La tierra es un planeta 2. La luna est hecha de queso verde 3. Luis es buen jugador y muy afortunado 4. El azcar produce caries dental 5. A las focas no le crece el pelo 6. El agua es esencial para la vida 7. 2 es un numero impar

Si analizamos detenidamente los enunciados anteriores, nos damos cuenta que a cada una de ellos podemos afirmar si son verdaderos o falsos. En el desarrollo de cualquier teora matemtica se hacen afirmaciones en forma de frases y que tienen un sentido pleno. Tales afirmaciones, verbales o escritas, las denominaremos enunciados o proposiciones.

NOTACION DE PROPOSICIONES
Las proposiciones se notan con letras minsculas, p, q, r . . . . . . La notacin p :Tres ms cuatro es igual a siete se utiliza para definir que p es la proposicin tres ms cuatro es igual a siete .

Las siguientes no son proposiciones

(a) x + y > 5 (b) Te vas? (c) Compra cinco azules y cuatro rojas. (d) x = 2

SOLUCIN
En efecto, (a) es una afirmacin pero no es una proposicin ya que ser verdadera o falsa dependiendo de los valores de x e y e igual ocurre con la afirmacin (d). Los ejemplos (b) y (c) no son afirmaciones, por lo tanto no son proposiciones. Desde el punto de vista lgico carece de importancia cual sea el contenido material de los enunciados, solamente interesa su valor de verdad.

VALOR DE VERDAD DE UNA PROPOSICIN

Llamaremos valor verdadero o de verdad de una proposicin a su veracidad o falsedad. El valor de verdad de una proposicion verdadera es verdad y el de una proposicin falsa es falso.

EJEMPLO
Dgase cuales de las siguientes afirmaciones son proposiciones y determinar el valor de verdad de aquellas que lo sean (a) p: Existe Premio Nobel de informtica. (b) q: La tierra es el nico planeta del Universo que tiene vida. (c) r: Teclee Escape para salir de la aplicacin. (d) s: Cinco ms siete es grande.

SOLUCION
(a) p es una proposicin falsa, es decir su valor de verdad es Falso. (b) No sabemos si q es una proposicin ya que desconocemos si esta afirmacin es verdadera o falsa. (c) r no es una proposicin ya que no es verdadera ni es falsa. Es un mandato. (d) s no es una proposicin ya que su enunciado, al carecer de contexto, es ambiguo. En efecto, cinco nias ms siete nios es un nmero grande de hijos en una familia, sin embargo cinco monedas de cinco cntimos ms siete monedas de un cntimo no constituyen una cantidad de dinero grande.

CLASES DE PROPOSICIONES
Proposiciones simples o atomicas: Son aquellos enunciados que no pueden ser descompuestos en expresiones que a su vez sean proposiciones. Ejemplos: P: Cartagena es la capital de Colombia q: el agua es un mineral

 Proposiciones compuestas o moleculares Si las proposiciones simples p1, p2, . . . , pn se combinan para formar la proposicin P, diremos que P es una proposicin compuesta de p1, p2, . . . , pn. Ejemplo: La Matemtica Discreta es mi asignatura preferida y Mozart fue un gran compositor

El enunciado anterior es una proposicin compuesta por las proposiciones La Matemtica Discreta es mi asignatura preferida Mozart fue un gran compositor . 2. El es inteligente o estudia todos los das es una proposicin compuesta por dos proposiciones: El es inteligente El estudia todos los das .

NOTA
La propiedad fundamental de una proposicin compuesta es que su valor de verdad est completamente determinado por los valores de verdad de las proposiciones que la componen junto con la forma en que estn conectadas

Tablas de Verdad
La tabla de verdad de una proposicin compuesta P enumera todas las posibles combinaciones de los valores de verdad para las p , p , p ,..., p
1 2 3 n

Por ejemplo, si P es una proposicin compuesta por las proposiciones simples, p1 , p2 y p3 , entonces la tabla de verdad de P deber recoger los siguientes valores de verdad.

p1
V V V V F F F F

p
V V F F V V F F

p3
V F V F V F V F

Conjuncin
Dadas dos proposiciones cualesquiera p y q, llamaremos conjuncin de ambas a la proposicin compuesta p y q y la notaremos p ^ q.

Esta proposicin ser verdadera nicamente en el caso de que ambas proposiciones lo sean. Observe que de la definicin dada se sigue directamente que si p y q son, ambas, verdaderas entonces p ^ q es verdad y que si al menos una de las dos es falsa, entonces p ^ q es falsa. Por lo tanto su tabla de verdad vendr dada por:

TABLA DE VERDAD DE LA CONJUNCION

pV
V

q
F

pVq
F

 NOTA Obsrvese tambin que el razonamiento puede hacerse a la inversa, es decir si p ^ q es verdad, entonces p y q son, ambas, verdad y que si p ^ q es falsa, entonces una de las dos ha de ser falsa.

Disyuncin
Dadas dos proposiciones cualesquiera p y q, llamaremos disyuncin de ambas a la proposicin compuesta p o q y la notaremos p q . Esta proposicin ser verdadera si al menos una de las dos p o q lo es. De acuerdo con la definicin dada se sigue que si una de las dos, p o q, es verdad entonces es pq verdad y que p q ser falsa, nicamente si ambas lo son. Su tabla de verdad ser, por tanto,

TABLA DE VERDAD DE LA DISYUNCION

p
V V

q
V F

pq
V

 Al igual que en la conjuncin, podemos razonar en sentido inverso. En efecto, si pq es verdad, entonces una de las dos, al menos, ha de ser verdad y si pq es falsa, entonces ambas han de ser falsas. La palabra o se usa en el lenguaje ordinario de dos formas distintas. A veces se utiliza en el sentido de p o q, o ambos , es decir, al menos una de las dos alternativas ocurre y, a veces es usada en el sentido de p o q, pero no ambos es decir, ocurre exactamente una de las dos alternativas.

Disyuncin Exclusiva
Dadas dos proposiciones cualesquiera p y q, llamaremos disyuncin exclusiva de ambas a la proposicin compuesta p o q pero no ambos y la notaremos p Y q. Esta proposicin ser verdadera si una u otra, pero no ambas son verdaderas. Segn esta definicin una disyuncin exclusiva de dos proposiciones p y q ser verdadera cuando tengan distintos valores de verdad y falsa cuando sus valores de verdad sean iguales. Su tabla de verdad es, por tanto,

TABLA DE LA DIYUNCION EXCLUSIVA

p
V

q
V

p q
F

 Haciendo el razonamiento contrario si p Y q es verdad, nicamente podemos asegurar que una de las dos es verdad y si p Y q es falsa, solo podemos deducir que ambas tienen el mismo valor de verdad. Salvo que especifiquemos lo contrario, o ser usado en el primero de los sentidos. Esta discusin pone de manifiesto la precisin que ganamos con el lenguaje simblico:pq est definida por su tabla de verdad y siempre significa p y /o q.

Negacion
Dada una proposicin cualquiera, p, llamaremos negacin de p a la proposicin no p y la notaremos p. Ser 'a verdadera cuando p sea falsa y falsa cuando p sea verdadera. La tabla de verdad de esta nueva proposicion, p, es:

TABLA DE VERDAD DE LA NEGACIN

p v f

p f v

condicional
Se dice que una proposicin compuesta es condicional, si esta formada por dos proposiciones simples enlazadas por la expresin si entonces . Si p y q representan dos proposiciones, la expresin si p entonces q se simboliza as : p q y se lee p implica q. La proposicin precedida por la expresin si , se llama antecedente o hiptesis y la proposicin precedida por la expresin entonces , se llama consecuente o conclusin de la implicacin. En la expresin p q, el antecedente es p y el consecuente es q.

 Las proposiciones condicionales se pueden enunciar de diferentes maneras as:  Si p entonces q.  p solo si q.  q si p.  p es suficiente para q.  q es necesaria para p.

 Los siguientes ejemplos ilustran los anteriores enunciados:  Si un entero es mltiplo de 4 entonces es divisible por 2.  Apruebo el semestre slo si estudio.  El algoritmo esta bien enunciado si el programa corre.  Si dos rectas nunca se cortan necesariamente son paralelas.

Tabla de verdad de la condicional

P Q p q

EL BICONDICIONAL
Se denomina bicondicional a la proposicin formada por dos proposiciones simples conectadas por la expresin si y solo si . Simblicamente si p y q son proposiciones simples, la doble implicacin p q constituye un bicondicional, donde p recibe el nombre de primer miembro y q segundo miembro. El bicondicional esta formado por las implicaciones p q Y q p, las cuales deben tener el mismo valor de verdad para formar una equivalencia entre p y q; en consecuencia, se dice que la proposicin p es equivalente a la proposicin q y se acostumbra a escribir p q.

 La proposicin bicondicional tiene varias formas de traduccin mas no de significacin, estas son:  p si y solo si q.  q si y solo si p.  si p entonces q y recprocamente.  si q entonces q y recprocamente.  p es una condicin necesaria y suficiente para q.  q es una condicin necesaria y suficiente para p.

Dadas las proposiciones: p: Un triangulo es rectngulo. q: Un triangulo tiene un ngulo recto. El bicondicional p q se puede traducir de las siguientes formas: Un triangulo es rectngulo si y solo si tiene un ngulo recto. Un triangulo tiene un ngulo recto si y solo si es un triangulo rectngulo Si un triangulo es rectngulo entonces tiene un ngulo recto y si un triangulo tiene un ngulo recto entonces es un triangulo rectngulo. Una condicin necesaria y suficiente para que un triangulo sea rectngulo es que tenga un ngulo recto. Una condicin necesaria y suficiente para que un triangulo tenga un ngulo recto es que sea un triangulo rectngulo. Un triangulo rectngulo es equivalente a un triangulo con un ngulo recto.

TABLA DE VERDAD DE LA BICONDICIONAL

P Q p q

CONSTRUIR LA TABLA DE VERDAD DE LAS SIGUIENTES PROPOSICIONES