PRIMEROS APUNTES DE LGICA

QU ES LA LGICA?
La lgica es una ciencia formal que estudia los principios de la demostracin y la inferencia vlida. Estudia las maneras por las cuales se puede acceder a verdades y adems los procesos por los cuales se pueden derivar conclusiones a partir de otras verdades ya conocidas. En un principio la lgica se consideraba como una rama de la filosofa pero a partir del S. XIX con el matemtico George Cantor y su teora de conjuntos, se pasa de la lgica intuitiva a la lgica simblica. Esta lgica tiene dos partes principales: una que utiliza los smbolos y la otra que utiliza las reglas de Inferencia. Las matemticas se empiezan a fundamentar en este tipo de lgica. La lgica pasa a ser la fundamentacin terica de las matemticas. Las matemticas entonces se basan en los dos siguientes principios: el primero es que todo va a ser un lenguaje conjuntista, es decir, toda la matemtica se va a definir a partir de conjuntos y el segundo principio es que las matemticas van a fundamentarse axiomticamente, es decir, basadas en algunas verdades que no se prueban sino que se asumen. Entonces las matemticas estn fundamentadas en al lgica. Se requieren algunos conceptos bsicos: el lenguaje y los signos. El lenguaje para comunicar las ideas, a travs de la creacin de oraciones, de algunas simbologas, pero el lenguaje debe ser claro y preciso. Los signos constituyen el idioma en general como las letras del alfabeto, signos de interrogacin, admiracin, tildes, suma, resta, etc. que dotan de significado a las palabras del lenguaje. por ejemplo, la diferencia entre las palabras con tilde y sin ella. Hay diferentes clases de signos: Del lenguaje corriente: alfabeto y todos los dems signos utilizados. De conexin lgica: , , , , , etc. De relacin: U, , =, , , , etc. De cuantificacin: , , De operacin: +, -, x, , , etc. De agrupacin o puntuacin: ( ), [ ], { }

CLCULO PROPOSICIONAL
El clculo proposicional es la primera forma de la Lgica clsica en la cual se analizan argumentos lgicos mediante mtodos matemticos. Al observar cualquier fenmeno, siempre se comenta el fenmeno en forma descriptiva. A partir de esta descripcin se encuentran relaciones entre las partes que componen este fenmeno. De esta manera vamos a construir un modelo matemtico. Para esta construccin se van a necesitar los siguientes elementos: primero, un abecedario, que va a manejar las funciones de un conjunto que a su vez va a manejar nuestro lenguaje. Puede estar compuesto por diferentes signos, por ejemplo, maysculas, minsculas, signos matemticos o conectores lgicos. Este puede ser un ejemplo de abecedario. Segundo, con este abecedario se crean palabras que a partir de definiciones se les adapta un significado. Por ejemplo: conjunto es la coleccin de varios elementos. Tercer paso: axiomas que son oraciones o enunciados que se consideran siempre verdaderas. Ejemplo a + b = b + a. Nuestro cuarto punto son los teoremas. Los teoremas son deducciones que se hacen a partir de los axiomas, de leyes lgicas y mtodos de demostracin. Un ejemplo de teorema: dos rectas se interceptan en un punto o no se interceptan. Para probar esto necesitamos tener claro lo anterior, es decir, se requieren conocimientos previos como la definicin de recta, punto, intercepcin, etc. Por ltimo tenemos las aplicaciones que es el punto ms importante de una teora de matemticas. Siempre se debe buscar aplicacin en la vida prctica de los teoremas y axiomas. En matemticas debemos partir de definiciones de diferentes conceptos. Por ejemplo, definir un conjunto de acuerdo a sus elementos. En matemticas hay elementos que no estn bien definidos. Definamos proposicin que es la palabra ms importante en la lgica: es una expresin de la cual puede decirse que es verdadera o falsa. Tambin que es una enunciado del cual puede decirse con exactitud que es verdadero o falso. Ej. mi cuaderno tiene 80 pginas. 2 + 4 = 7, es falso. Hay expresiones que no son

proposiciones porque no se les puede dar valor de verdadero o falso: Cmo ests?. Cuntos aos tienes?. Las interrogaciones o las frases imperativas, sintese, por favor, todos acrquense a mirar. No son proposiciones.

CONECTORES LGICOS Y TABLAS DE VERDAD

Los valores de verdad representan si una proposicin es verdadera o falsa. Para comenzar a comprender la lgica de las proposiciones comencemos por nombrar las proposiciones con las letras minsculas del abecedario. Ejemplo: q= Juan camina. Depende de si Juan camina o no, damos valor de F o V. CLASES DE PROPOSICIONES Simples o atmicas: oraciones que tienen un nico valor de verdad: V o F Compuestas o moleculares: mezcla de proposiciones simples. Para construir las segundas se usan conectores lgicos: Una proposicin simple o atmica tiene solamente dos valores de verdad: V o F. En cambio en las proposiciones compuestas se pueden tener las siguientes combinaciones: cuando son tres proposiciones? existen reglas para su construccin: si tenemos n proposiciones, cuntas obtenemos? 2n posibilidades. Por ejemplo, si son dos proposiciones, tendremos 22 = 4 posibilidades y son tres, 23 = 8 posibilidades. Ahora veamos cmo esas posibilidades se comportan con los conectores lgicos y los valores de verdad. Conjuncin Negacin p: Carlos come maz p q pq p p q: Daniel corre V V V V F p: Carlos no come maz V F F p q: Carlos come maz y Daniel corre. F V F F V La conjuncin slo es verdadera si ambas premisas F F F son verdaderas. p V F q V F Veamos ahora la Disyuncin y la Implicacin: Disyuncin p: est lloviendo p q pq q: estoy durmiendo V V V V F V p q: est lloviendo o estoy durmiendo F V V La disyuncin slo es falsa si ambas premisas son falsas. F F F Implicacin p q p q p q: est lloviendo, entonces yo estoy durmiendo. El valor de verdad depende de esto: si est lloviendo y yo estoy V V V durmiendo, entonces la proposicin es verdadera. V F F La implicacin slo es falsa si el antecedente es verdadero y el F V V consecuente falso. F F V Equivalencia p q p q p: cuatro es un nmero par q: cuatro es mltiplo de tres V V V V F F p q: 4 es un nmero par si y slo si 4 es mltiplo de 3. Falsa. F V F Quiere decir que en la equivalencia esta proposicin es falsa. La F F V equivalencia es verdadera cuando ambas premisas son verdaderas o ambas premisas son falsas

CONJUNCIN
p V V F F q V F V F pq V F F F

Tenemos la siguiente proposicin: Juan realiza sus tareas y organiza su habitacin. p: Juan realiza sus tareas q: Juan organiza su habitacin

Si la mam de Juan le preguntara por lo que tiene qu hacer, qu pasara con los valores de verdad de lo que dice. Pasara lo siguiente, que analizamos con la tabla: la respuesta de Juan ser que s ha hecho ambas cosas si pas lo siguiente: si Juan hizo ambas cosas, es decir, que si p es V y q es V, entonces responde afirmativamente a la pregunta de la mam. Pero si Juan deja de hacer alguna de las dos cosas. Entonces como tena que hacer ambas cosas y no hizo una de ellas, entonces es falso que haya cumplido con su deber. Si no hizo ninguna de las tareas pues de hecho es falso que haya cumplido con lo que tena que hacer.

Otro ejemplo: la mam le dice a Daniela: puedes salir a jugar cuando arregles la cama y sacudas el polvo. Ser V que Daniela salga a jugar cuando cumpla con los dos deberes. Si alguna de las dos no se cumple, no podr salir, es decir, es Falso que pueda salir, porque tiene que cumplir con ambas tareas. Si no hace ninguna de las tareas, pues ser tambin Falso que salga a jugar.

Hay una forma sencilla de recordar la tabla de la conjuncin. Es dando valores de V=1 y F=0, cuando organizamos la tabla con estos valores, no es sino multiplicar para encontrar la igualdad, veamos:
p 1 1 0 0 q 1= 0= 1= 0= pq 1 0 0 0

x x x x

DISYUNCIN
Ejemplo: un estudiante gana el ao escolar si gana todas las materias o si recupera las materias perdidas. Organicemos las proposiciones: p: el estudiante aprueba todas las materias. q: el estudiante recupera todas las materias perdidas.
p V V F F q V F V F pq V V V F

Por ser disyuncin sucede que puede suceder una cosa u otra y ser VERDAD que gana el ao. Pero si no cumple con ninguna de las dos condiciones, pues de hecho pierde el ao, es decir, es FALSO que lo gane.

Otro ejemplo: Camila almuerza espaguetis o pizza p: Camila almuerza espaguetis q: Camila almuerza pizza Supongamos que Camila siempre almuerza espaguetis o pizza. Si la mam le pregunta: almorzaste? Ella va a responder si [V] si almuerza espaguetis o almuerza pizza. Si almuerza las dos pues obviamente almorz [V]. Pero si no comi ninguna de las dos, pues de hecho es FALSO que haya almorzado. Para el caso de la disyuncin tambin hay una manera prctica de recordar la tabla de verdad. Se dan valores de V=1 y F=0 y se toma el valor ms grande o mayor:
p 1 1 0 0 q 1 0 1 0 pq 1 1 1 0

IMPLICACIN
p V V F F q V F V F pq V F V V Si llueve Laura abre su paraguas. p: llueve q: Laura abre su paraguas Entonces, si Laura no desea mojarse, tendr que abrir su

paraguas si llueve. Va a ser VERDAD que no se va a mojar. Pero si llueve y Laura no abre su paraguas, entonces ser FALSO que no se moja, es decir, Laura se moja. Si no llueve y abre su paraguas, ser VERDAD que no se moja. Finalmente si no llueve ni tampoco Laura abre su paraguas, ser VERDAD que no se moja. Ejemplo: Daniel usa camiseta si hace calor. p= hace calor, q=Daniel usa camiseta Si Daniel quiere tener el menor calor posible, usa camiseta.

BICONDICIONAL o DOBLE IMPLICACIN o EQUIVALENCIA

p V V F F

q V F V F

pq V F F V Diana va a la ciclova si y solo si Xiomara va con ella. p: Diana va a la ciclova q: Xiomara acompaa a Diana a la ciclova

El signo de equivalencia nos dice que tienen que ocurrir ambas cosas al mismo tiempo para que sea VERDAD. Si Diana va a la ciclova y Xiomara no la acompaa, es FALSO que Diana vaya. Si Diana no va a la ciclova y Diana la quiere acompaar, tambin es FALSO que Diana vaya. El caso ms extrao es el ltimo, pero es VERDAD que ambas no estn haciendo lo que dijeron: si Diana no va a la ciclova y Xiomara no la acompaa tampoco, es decir, si no pas nada estn cumpliendo con su especie de trato.

Otro ejemplo: Jos come si y solo si tiene hambre. p: Jos come q: Jos tiene hambre

Si ambas son verdaderas, es decir, Jos come y Jos tiene hambre, es VERDAD que Jos come cuando tiene hambre. Si decimos que Jos come pero no tiene hambre, no es correcto decirlo, porque uno no come si no tiene hambre, por lo tanto es FALSO. Igual sucede si Jos no come [F] teniendo hambre [V], es entonces FALSO porque no es normal. Finalmente, si Jos no come y no tiene hambre eso est bien, es decir, es VERDADERO porque es lo correcto. Si no come es porque no tiene hambre y si no tiene hambre para qu come.

Hay tambin una forma de recordar fcilmente la tabla. Damos valores de 0 y 1. Cuando los dos valores sean iguales se coloca un 1 y si son distintos se coloca 0.

p 1 1 0 0

q 1 0 1 0

pq 1 0 0 1

TABLAS DE VERDAD PARA MS DE DOS CONECTORES LGICOS

Aprendamos ahora a realizar tablas de verdad con diferentes proposiciones, con diferentes conectores y por lo tanto con diferentes valores de verdad. Ejemplo, tabla de valores de verdad para: (p q) p Primero se resuelve lo que est dentro del parntesis. p V V F F q V F V F p F F V V
pq (pq) p

V F V V

V F F F
(p q) (r r) V V F F V V V V

Otro ejemplo: (p q) (r r)
p V V V V F F F F q V V F F V V F F r V F V F V F V F r F V F V F V F V p q V V F F V V V V r r V V V V V V V V

Existen dos conceptos importantes a tener en cuenta. TAUTOLOGA: es una proposicin compuesta que siempre es verdadera, sin importar los valores de verdad que tengan las proposiciones simples que la componen. CONTRADICCIN: es una proposicin compuesta que siempre es falsa, sin importar los valores de verdad que tengan las proposiciones simples que la componen. Una Tautologa puede ser la siguiente: p V F pp V V p V V F F TAUTOLOGAS q V F V F p p, como tambin, (p q) p pq V F F F (p q) p V V V V

Veamos ahora ejemplos de CONTRADICCIN: 1. p p p V F p F V p V V F F q V F V F 2. (p q) (p q) q F V F V pq V F V V

p q (p q) (p q)

F V F F

F F F F

Tambin hay proposiciones compuestas que no son contradicciones ni tautologas. Por ejemplo:
p V V V V F F F F q V V F F V V F F r V F V F V F V F r F V F V F V F V p q V V F F V V V V r r V V V V V V V V (p q) (r r) V V F F V V V V

Esta recibe el nombre de CONTINGENCIA.

CMO CONVERTIR UNA PROPOSICIN AL LENGUAJE SIMBLICO

Ejemplo. El carro es viejo si tiene diez aos y es azul si el dueo es Carlos. Esta es una proposicin compuesta, entonces, las proposiciones quedarn: p: el carro es viejo q: el carro tiene diez aos r: el carro es azul (q p) (s r)

s: el dueo del carro es Carlos Ahora escribamos la proposicin en lenguaje simblico: Veamos otro ejemplo: Anita come carne y paleta o come pizza con gaseosa. p: Anita come carne q: Anita come paleta r: Anita come pizza con gaseosa. Ahora escribamos la proposicin en lenguaje simblico: (p q) r

Ejemplo 3. Juan desayuna si y solo si, se levanta y se baa. Veamos las premisas o proposiciones: q: Juan se levanta La funcin quedar: r: Juan se baa p (q r) p: Juan desayuna

CONVERTIR UNA PROPOSICIN EN LENGUAJE SIMBLICO A UNA PROPOSICIN EN LENGUAJE NATURAL Tomemos el siguiente ejemplo:
p: la puerta es azul q: la puerta es de madera r: la puerta est vieja Nos dan el siguiente sistema lgico: puerta est vieja. Veamos cmo queda la siguiente expresin lgica con las mismas proposiciones: (p r) q : si la puerta es azul o no est vieja, entonces es azul y es de madera. Otro ejemplo con otras proposiciones: p: Me gusta el jugo de naranja q: No me gusta la carne asada r: Se cocinar (p q) (q r) : Me gusta el jugo de naranja y la carne asada si y solo si no me gusta la carne asada o se cocinar. Tambin: p (r q): Me gusta el jugo de naranja o, si s cocinar entonces me gusta la carne. (p q) r

Quedara en lenguaje natural: Si la puerta es azul y es de madera entonces la

EQUIVALENCIAS LGICAS
Vamos a establecer el conjunto de nuestros primeros axiomas. Cada una de estas leyes, llamadas axiomas, son a su vez TAUTOLOGAS, es decir, siempre son verdaderas sin importar el valor de verdad que tengan las proposiciones que las componen. Estas leyes se dividen principalmente en dos: unas que son las equivalencias lgicas y otras que son las leyes de inferencia.

Veamos las principales equivalencias lgicas: Recordemos que una equivalencia es simplemente una doble implicacin, pero el sentido que damos a una equivalencia es en cierta manera que podemos cambiar o reemplazar un trmino por otro. 1. p p (doble negacin). Si negamos una proposicin dos veces, obtenemos la misma proposicin. Ej. No es cierto que Juan no corre, significa que Juan corre. 2. Equivalencias con conmutatividad: 2.1 (p q) (q p) Conmutatividad de la disyuncin. La nia corre o camina es equivalente a decir: la nia camina o corre.

2.2 (p q) (q p) Conmutatividad de la conjuncin. Mi pap trabaja y estudia es equivalente a decir mi pap estudia y trabaja. 2.3 (pq) (pq) Conmutatividad de la doble implicacin. Mara es amiga de Daniela si y slo si Daniela le regala un dulce es lo mismo que decir, Daniela le regala un dulce a Mara si y solo si ella es amiga de Daniela. Para estos casos es lo al mismo derecho que al revs. Ahora veamos las Equivalencias por asociatividad: [(p q) r] [p (q r)] Asociatividad de la disyuncin [(p q) r] [p (q r)] Asociatividad de la conjuncin Lo anterior significa que si tenemos una serie de proposiciones con el conector o con el conector , podemos asociar las proposiciones como queramos. Otro tipo de equivalencias son las de Distribucin: Ley Distributiva: [p (q r)] [(p q) (p r)] Ley Distributiva: [p (q r)] [(p q) (p r)] El perro ladra o corre y juega, es equivalente a decir, el perro ladra o corre y el perro ladra o juega. El profesor dicta clase y, habla o camina. Es equivalente a decir, el profesor dicta clase y habla, o dicta clase y camina. Equivalencias de negacin 1. (p q) (p q) [Ley de DMorgan] Negacin de la disyuncin. 2. (p q) (p q) [Ley de DMorgan] Negacin de la conjuncin. 3. (p q) (p q) Negacin de la implicacin. Ejemplos. 1. No es verdad que Juan perdi el ao o Pedro lo gan. Juan gan el ao y Pedro lo perdi. 2. No es cierto que el cielo es verde y el mar es rojo. El cielo no es verde o el mar no es rojo. 3. No se cumple que si camino mucho, troto ms rpido. Camino mucho y no troto ms rpido. OTRAS EQUIVALENCIAS: no estn relacionadas de ninguna manera pero igualmente son importantes. Contrarrecproco: 1. (p q) (q p] Que si se cumple p entonces q es lo mismo que devolvernos negando ambas proposiciones q p.