1

IPESMI

Instituto Privado de Estudios Superiores de Misiones MATERIA: MATEMATICA I / INTRODUCCION A LA MATEMATICA APUNTE DE LA UNIDAD I: NOCIONES DE LOGICA EN MATEMATICA

1 INTRODUCCION A LA LOGICA
La lgica es una ciencia formal y una rama importante dentro de la filosofa que estudia los mtodos y principios para distinguir entre un razonamiento bueno o correcto, del malo o incorrecto. La Lgica Tradicional emplea mtodos de razonamientos consistentes en una lnea argumentativa con transmisin de contenidos. A partir de finales del siglo XIX y comienzos del siglo XX se desprende una rama de la lgica tradicional, la cual utiliza una estructura formal y estricta para la conduccin del razonamiento, a travs del empleo de simbologa (nmeros o letras) y procedimientos o reglas estrictas (tablas de verdad) para determinar la validez o no de dicho razonamiento, a partir de aqu podemos asociar a esta rama de la lgica como Lgica en Matemtica dado que la matemtica es, como todos sabemos, una ciencia formal y estricta El estudio de la lgica tiene como compenentes fundamentales a las premisas y a las conclusiones. Toda premisa a su vez tiene su raz conformacinal en las proposiciones, por lo tanto para un adecuado estudio de la lgica es fundamental entender la estructura de las proposiciones.

2 ALGEBRA DE PROPOSICIONES
2.1 INTRODUCCION Una proposicin se define como todo enunciado que expresa algo sobre lo que se pueda decir si es verdadero o falso. La caracterstica fundamental que tiene todo enunciado es que o bien es verdadero, o bien es falso, pero nunca ambas cosas. Las proposiciones se simbolizan con letras minsculas que suelen ser p, q, r, s, . A los estados de verdadero o falso que puede tener una proposicin se les denomina valor de verdad o valor lgico de esa proposicin Ejemplos: El 8 es un numero par. Es una proposicin, y es verdadera Posadas es la capital de Corrientes. Es una proposicin, y es falsa En general, las frases interrogativas, admirativas e imperativas no son proposiciones, dado que no admiten valores verdaderos o falsos. Por ejemplo Como te llamas?; Donde vas?; Sube aqu ahora mismo!! 2.2 CONCEPTO DE CONECTIVOS LOGICOS Son elementos que se utilizan para enlazar varias proposiciones o para modificar el valor de verdad de una proposicin. En la siguiente tabla se indican los conectivos lgicos a utilizar Conectivo y o o,pero no ambos no si,entonces si y solo si Smbolo

~p (no p)

Nombre Conjuncin Disyuncin inclusiva Disyuncin exclusiva Negacin Condicional Bicondicional

2.3 TIPO DE PROPOSICIONES Se pueden considerar dos tipos principales de proposiciones: 2.3.1 Proposiciones simples: Son aquellas proposiciones que no pueden descomponerse en otras mas sencillas o simples. Es decir, no tienen conectivos lgicos. Por ejemplo: Juan esta flaco; Andrea es alta 2.3.2 Proposiciones compuestas: Son aquellas proposiciones que pueden reducirse o descomponerse en otras ms simples o sencillas. Se las reconoce porque utilizan conectivos lgicos. Por ejemplo: Juan esta flaco enfermo;Andrea es alta y linda; Marcos estudia o trabaja Las proposiciones compuestas se las simboliza con letras maysculas: P, Q, R, S,.. La propiedad fundamental de las proposiciones compuestas es que su valor de verdad esta determinado por completo por el valor de verdad de cada una de las proposiciones simples que lo componen y por el modo como se las rene para formar el enunciado compuesto Los estados de verdad y falsedad de las proposiciones se suelen representar por medio de las tablas de verdad 2.3.3 OTROS CONCEPTOS PROPOSICIONALES 2.3.3.1 Axiomas o postulados: Son proposiciones que se suponen verdaderas y que por tanto se admiten sin demostracin. Por ejemplo, toda lnea esta formada por un conjunto infinito de puntos; La recta es el camino mas corto entre dos puntos 2.3.3.2 Teoremas: Son proposiciones que se deducen a partir de unos axiomas y de otros teoremas o postulados y

4 2.4 TABLAS DE VERDAD DE LOS CONECTIVOS Aqu se estudiaran los posibles valores lgicos que adoptan las proposiciones compuestas como resultado de enlazar proposiciones simples por medio de conectivos lgicos. 2.4.1 CONJUNCION Dos proposiciones simples o enunciados cualesquiera se pueden combinar por medio de la letra o conectivo y para formar una proposicin compuesta o enunciado compuesto, que se llama conjuncin de los primero enunciados. Dada dos proposiciones simples cualesquiera denotadas por p y q, simblicamente se describe a la conjuncin por p q, se lee p y q Ejemplo: sea p Hoy es un da soleado y sea q Hoy hace fro. Entonces p q establece el siguiente enunciado compuesto Hoy es un da soleado y hace fro El valor de verdad de la proposicin o enunciado compuesto p q resulta verdadero si p es verdadero y q es verdadera, en cualquier otro caso p q resulta falso. Es decir, la conjuncin de dos enunciados es verdadera solamente si cada componente es verdadero. Esto se refleja en la siguiente tabla de verdad p V V F F q V F V F pq V F F F

2.4.2 DISYUNCION INCLUSIVA

Dos proposiciones simples o enunciados cualesquiera se pueden combinar por medio de la letra o conectivo o para formar una proposicin compuesta o enunciado compuesto, que se llama disyuncin inclusiva o simplemente disyuncin de los primero enunciados. Dada dos proposiciones simples cualesquiera denotadas por p y q, simblicamente se describe a la disyuncin por p q, se lee p o q

5 Ejemplo: sea p Hoy estudiamos informtica y sea q Hoy nos vamos al cine. Entonces p q establece el siguiente enunciado compuesto Hoy estudiamos informtica o nos vamos al cine El valor de verdad de la proposicin o enunciado compuesto verdadero p q resulta

si p es verdadero o q es verdadera o si ambos p y q son

verdaderos, entonces p q es verdadero; en otro caso p q resulta falso. Es decir, la disyuncin de dos enunciados es falsa solamente si cada enunciado componente es falso. p V V F F q V F V F pq V V V F

2.4.3 DISYUNCION EXCLUSIVA

La disyuncin exclusiva de dos proposiciones es una proposicin compuesta que resulta verdadera cuando lo es una y solo una de las dos proposiciones que la constituyen, y falsa en caso contrario. Se representa por p q y se lee p o-exclusiva q o p o q, pero no ambas La caracterstica fundamental de la disyuncin exclusiva es que solo se puede cumplir una de las proposiciones integrantes, pero no ambas a la vez. Ejemplo: sea p Tomamos mate y sea q Tomamos caf. Entonces p q establece el siguiente enunciado compuesto o tomamos mate o caf Ejemplo: sea p Vamos en mnibus y sea q Vamos en avin. Entonces p q establece el siguiente enunciado compuesto o vamos en mnibus o vamos en avin; obsrvese que el primer o nicamente sirve para reforzar el sentido exclusivo, pero no es necesario

6 p V V F F
2.4.4 NEGACION

q V F V F

pq F V V F

Dado un enunciado p, se puede formar otro enunciado que se llama negacin de p, escribiendo Es falso que antes de p o, cuando resulte procedente hacerlo, insertar en p la palabra no. Simblicamente se denota la negacin por ~ p Ejemplo: Sea p: 3+3 = 7; la negacin se expresa como a) es falso que 3+3 = 7 o bien b) 3+3 no es 7 Ejemplo; a) Es falso que Posadas es la capital de Corrientes b) Posadas no es la capital de Corrientes El valor de verdad de la negacin de un enunciado depende de la siguiente condicin: Si p es verdadero, entonces ~ p es falso Si p es falso, entonces ~ p es verdadero

Por lo tanto su tabla de verdad se escribe de la siguiente manera p V F ~p F V

2.4.5 CONDICIONAL

7 Se representa simblicamente por: pq, y se lee de alguna de las siguientes formas, p entonces q p implica q p es suficiente para q q es necesario para p

A p se lo denomina antecedente y a q consecuente El condicional pq es verdadero a menos que p sea verdadero y q sea falsa. Es decir que un enunciado verdadero no puede implicar uno falso. Aqu vemos la condicin necesaria que se establece de q a p. Si pretendemos que la condicional sea verdadera, siendo el antecedente verdadero, necesariamente q debe ser verdadera, en caso contrario no existira condicional y por lo tanto esta es falsa, es decir que no se puede condicionar algo que no existe. La condicin que se establece de p a q es suficiente en el sentido que representa lo mnimo adecuado para que se pueda cumplir q La tabla de verdad de la condicional expresa lo siguiente p V V F F q V F V F pq V F V V

De p a q se establece una condicin minima o suficiente Ejemplos: Si el da esta lindo, entonces me voy a jugar al ftbol Si llueve, entonces no voy a la escuela Si el da esta soleado, entonces iremos al campo

2.4.6 BICONDICIONAL

8 Se representa simblicamente a los enunciados bicondicionales por medio de pq, se lee como p, si y solo si, q Si p y q tienen el mismo valor de verdad, entonces el enunciado bicondicional pq es verdadero; si p y q tienen valores de verdad opuestos el enunciado pq es falso. En este caso existe una condicin mutuamente necesario entre p y q, es decir que una no puede existir sin la otra. Su tabla de verdad expresa lo siguiente p V V F F q V F V F pq V F F V

Ejemplos: Un triangulo es equiltero si y solo si tiene los tres lados iguales Hoy voy a jugar al ftbol si y solo si el da esta lindo 2.5 OPERACIONES PROPOSICIONALES Y TABLAS DE VERDAD En esta seccin se estudiara la forma de determinar el valor de verdad de las proposiciones compuestas, a travs de sus tablas de verdad. A una proposicin compuesta se la suele representar de manera polinmica de la siguiente forma: P (p, q, r,.), Q (p, q, r) donde decimos que P y Q son proposiciones compuestas conformados por la variables p, q, r,.. que a su vez son proposiciones simples. La tabla de verdad de una proposicin compuesta establece la relacin existente entre el valor de verdad de esa proposicin compuesta P (p, q, r,.) y los valores de verdad de sus variables p, q, r,.

2.5.1 REGLAS PARA DETERMINAR LA TABLA DE VERDAD

9 1) Se determina la cantidad de variables o proposiciones simples de que consta la proposicin compuesta 2) Se debe realizar el calculo 2 n para determinar el numero de filas del que constara la tabla de verdad, siendo n el numero de proposiciones simples o variables intervinientes. Por ejemplo si intervienen tres variables o proposiciones simples, la cantidad de filas ser de 2 3 = 8 filas o casos. En el caso de dos variables, el numero de filas ser de 2 2 = 4 3) Se arma la tabla colocando las variables en las primeras columnas y luego se ubican tantas columnas como variables y conectivos lgicos exista, comenzando desde la primera variable 4) En la primera proposicin de la tabla se colocan la mitad de todos los casos posibles con V y la otra mitad con F. En la segunda proposicin de la tabla se coloca alternativamente 2V y 2F. En la tercera proposicin se coloca alternativamente V y F, y as se repite sucesivamente en las restantes columna. Si solo se tienen dos proposiciones, a la segunda le corresponde V y F alternativamente en todas las columnas Ejemplos de aplicacin Sean las siguientes proposiciones compuestas, construya su tabla de verdad 1) ~p q p V V F F PASOS La tabla queda finalmente p V V F F 2) ~ (p ~ q) q V F V F ~p q F F V F q V F V F ~ F F V V 2 p V V F F 1

F F V F 3

q V F V F 1

10

p V V F F PASOS p V V F F

q V F V F

~ V F F F 4

p V V F F 1 q V F V F

F V V V 3

~ F V F V 2 ~ (p ~ q) V F F F

q V F V F 1

3) (p q) (p q) p q V V V F F V F F PASOS p V V F F 4) (p ~q) r p V V V V F F F F q V V F F V V F F PASOS p r V F V F V F V F p V V V V F F F F 1 q F F V V V V V V 3 ~ F F V V F F V V 2 r q V V F F V V F F 1 V F V V V V V V 4 r V F V F V F V F 1 p V V F F 1

q V F V F 1 q V F V F

p V V F F 1

q V F V F 1

(p q) (p q)

(p ~q) r

11

V V V V F F F F

V V F F V V F F

V F V F V F V F

V F V V V V V V

2.6 TAUTOLOGIAS Y CONTRADICCIONES Se definen los siguientes tipos de proposiciones segn los valores de su tabla de verdad: Una proposicin es una tautologa cuando todos los valores de su tabla de verdad son verdaderos. Es decir que la tautologa es una proposicin siempre verdadera independientemente de los valores de verdad o falsedad de las proposiciones simples que la constituyen. Por ejemplo, la proposicin p ~p es una tautologa dado que as lo revela su tabla de verdad p V F ~p F V p ~p V V

Una proposicin es una contradiccin cuando todos los valores de su tabla de verdad son falsos. Por lo tanto es falsa, independientemente de los valores de verdad o falsedad de las proposiciones simples que la constituyen. Por ejemplo, la proposicin p ~p es una contradiccin p V F ~p F V p ~p F F

Una proposicin es indeterminada cuando en su tabla de verdad hay valores verdaderos y falsos. Por lo tanto, su valor lgico depende de los valores de verdad o falsedad de las proposiciones simples que la constituyan

2.7 EQUIVALENCIA LOGICA

12 Dos proposiciones P (p, q, r,.) y Q (p, q, r,.) se dicen lgicamente equivalentes si sus tablas de verdad son idnticas. Se denota la equivalencia entre P y Q por medio de P Q Dada la proposicin (pq) (qp), su tabla de verdad expresa lo siguiente p V V F F q V F V F (pq) (qp), V F F V

Mientras que la tabla de verdad de la proposicin pq expresa p V V F F q V F V F pq V F F V

Por lo tanto al ser sus tablas de verdad idnticas, ambas proposiciones son lgicamente equivalentes, quiere decir que se cumple (pq) (qp) pq O bien se puede representar esta equivalencia como P Q

Para la equivalencia lgica se pueden enunciar los siguientes teoremas P Q, si y solo si la proposicin P Q es una tautologa Si P y Q son ambas tautologas o bien ambas contradicciones, entonces PQ

2.8 IMPLICACION LOGICA

13 Cuando una condicional es una tautologa, es decir, cuando nunca es falsa, se dice que es una implicacin lgica. Dicho de otra forma: una proposicin compuesta P implica lgicamente a otra Q (P Q), cuando si P es verdadero, entonces Q es verdadero

Dada la proposicin p (p q), su tabla de verdad expresa que es una tautologa p V V F F q V F V F p (p q) V V V V (p q),

Entonces P implica lgicamente a (p q), es decir que se cumple P

2.9 PROPIEDADES DEL ALGEBRA DE PROPOSICIONES

14 Es posible establecer una serie de propiedades que se cumplen para las proposiciones lgicas y a partir de las cuales nos permiten estructurar a las mismas, facilitando su utilizacin. Estas propiedades se representan en la siguiente tabla, donde T simboliza Tautologa y C Contradiccin

Disyuncin pp=p pq=qp p(qr)=(pq)r p(pq)=p p(qr)=(pq)(pr) Disyuncin respecto a conjuncin p ~p = T T, tautologa pC=p pT=T

Propiedad Idempotenci a Conmutativa Asociativa Absorcin Distributiva

Conjuncin pp=p pq=qp p(qr)=(p q) r p(pq)=p p(qr)=(pq)(pr) Conjuncin respecto a disyuncin p ~p = C C, contradiccin pT=p pC=C

Negacin Identidad Identidad de TyC Negacin de TyC Doble negacin ~ (~ p)= p Leyes de Morgan

~C=T

~T=C

~(pq)=~p~q

~(pq)=~p~q

El signo igual puede ser interpretado como equivalente

2.10 PROPOSICIONES TAUTOLOGICAS MS IMPORTANTES pq ~pq Condicional

15 pq (pq)(qp) ~q~p qp q ~p p q p q Simplificacin Silogismo disyuntivo Adicin pq Bicondicional Contraposicin Conmutativa del bicondicional Modus ponendo ponens Modus tollendo tollens

pq

[(p q) p] [(p q) ~ q] [(p q) ~q] [(p q) ~p] p (pq) (pq) (pq)

2.11 RAZONAMIENTO VALIDOS DEDUCTIVOS Un razonamiento es el proceso consistente en partir de una serie de hiptesis denominada premisas, que se suponen verdaderas, y obtener finalmente una proposicin denominada conclusin Cuando el razonamiento se compone de tres proposiciones, que pueden llamarse premisa mayor, premisa menor y conclusin, y sta se deduce de la mayor por medio de la menor, a este razonamiento de denomina silogismo Una de las formas para demostrar la validez o invalidez de un razonamiento es aplicando el procedimiento de las tablas de verdad

Validez de razonamientos: Mtodo de las tablas de verdad Se procede de la siguiente manera

16 1) Se forma las tablas de verdad de todas premisas y de la conclusiones 2) Se eliminan todas aquellas lneas en la que alguna premisa sea falsa, dado que las premisas por definicin son siempre verdaderas. Se marcara con el smbolo aquella premisa que permita eliminar una lnea dada 3) Observando las filas resultantes y la columna correspondiente a la conclusin: a) Todos los casos Verdaderos: razonamiento Vlido. El razonamiento esta bien hecho b) Todos los casos Falsos: razonamiento Invlido o no Vlido. El razonamiento esta mal hecho, aqu ocurre que la conclusin contraria es verdadera c) Casos Verdadero y Falso: razonamiento Invlido o no Vlido. El razonamiento no vale y la conclusin no puede extraerse de las premisas de partida d) Ninguna fila resultante: razonamiento Inconsistente. El razonamiento no vale, pues las premisas se contradicen EJEMPLO Estudiar la validez del razonamiento siguiente: (p q) r r q Premisas

Conclusin

Solucin

17 Las proposiciones encima de la raya horizontal son las premisas, mientras que debajo colocamos la conclusin. Aplicando el mtodo de las tablas de verdad p q r r q pq (p q) r p

V V V V F F F F V V F F V V F F V F V F V F V F F V F V F V F V

F F V V F F V V V V F F V V V V

V V V F V V V V

A las premisas se les coloca una lnea horizontal inferior, mientras que a la conclusin se coloca una doble lnea. Con el smbolo se coloca las premisas de valor falso eliminadas. Por consiguiente al quedar una lnea V, estamos en el caso a), es decir el razonamiento es Vlido