Está en la página 1de 137

FACULTAD DE CIENCIAS BSICAS E INGENIERA

LGICA MATEMTICA

NUBA JANETH GALINDO PATINO

BOGOT, D.C.

TABLA DE CONTENIDO
LISTA DE SIGLAS INTRODUCCIN GUIA METODOLGICA OBJETIVO CAPITULO 1; INTRODUCCIN A LA LGICA 1.1 Contexto histrico de la lgica 1.2 Clasificacin de la lgica 1.3 Propsito de la lgica 1.4 Proposiciones y razonamiento 1.5 Lenguajes naturales y artificiales 1.6 Componentes del proceso semitica 1.7 Ramas de la semitica AUTOEVALUACION 1 CAPITULO 2: SIMBOLIZACIN DE PROPOSCIONES 2.1 Representacin de las proposiciones 2.2 Clases de proposiciones 2.3 Conectivos lgicos AUTOEVALUACION 2 CAPITULO 3: VALORES DE VERDAD Y VALIDEZ 3.1 Definicin de tabla de verdad 3.2 Construccin de tablas de verdad 3.3 Doble negacin 3.4 Proposiciones condicionales 3.5 recproca, inversas, contrarrecproca 3.6 Bicondicional AUTOEVALUACION 3 CAPITULO 4: LEYES DE LA LGICA 4.1 4.2 Tautologa Tautologas

4.3 Falacias lgicas AUTOEVALUACON4 CAPTULOS: CUANTIFICADORES Y CRCULOS DE EULER 5.1 Cuantificador universal y existencial 5.2 Valores de verdad de expresiones con cuantificadores 5.3 Crculos de Euler y sus aplicaciones 5.4 Caractersticas de la demostracin 5.5 Problemas de aplicacin de la lgica AUTOEVALUACION 5 CAPTULOS 6: ANLISIS PROPOSICIONAL 6.1 Sistema matemtico 6.2 Propiedad de cerradura 6.3 Propiedad conmutativa 6.4 Propiedad asociativa 6.5 Propiedad distributiva 6.6 Elementos de identidad 6.7 Inversa de una proposicin y propiedad de complementacin AUTOEVALUACION 6 CAPTULOS 7: Circuitos lgicos 7.1 Definicin y representacin de los circuitos lgicos 7.2 Circuito de negacin 7.3 Circuito de conjuncin 7.4 Circuito de disyuncin 7.5 Compuertas lgicas AUTOEVALUACION 7 CAPTULOS 8: ALGEBRA BOOLEANA 8.1 Definicin 8.2 Algebra booleana en sistemas numricos 8.3 Algebra booleana de la lgica 8.4 Algebra booleana de los conjuntos 8.5 Algebra booleana de los circuitos de conmutacin AUTOEVALUACION 8 INFORMACIONES DE RETORNO BIBLIOGRAFIA

INTRODUCCIN
El presente mdulo est diseado para estudiantes que cursan primer semestre en la universidad a distancia UNAD y que inician su formacin superior en el campo de la ingeniera de sistemas. El curso de lgica matemtica requiere de algunos conocimientos previos tales como operaciones y relaciones entre conjuntos, formacin del sistema numrico y operaciones con intervalos, entre otros; para tal fin se elabor la autoevaluacin inicial, la cual brinda al alumno la oportunidad de recordar y reforzar estos conceptos, adquiridos en el transcurso de su bachillerato. La primera parte de este mdulo ofrece una fundamentacin en la lgica matemtica que inicia en el primer captulo con el contexto histrico de la lgica, continua con el anlisis de los valores de verdad de proposiciones compuestas, captulos 2 y 3 y finaliza con la formulacin de las leyes de la lgica, captulo 4. El captulo 5 ampla el concepto de proposicin simple o compuesta al de cuantificador universal y existencial y termina con las aplicaciones de los crculos de Euler y conel anlisis de problemas de lgica. En el captulo 6, llamada anlisis preposicional, se formalizan y demuestran las propiedades del sistema matemtico formado por los conjuntos. El captulo 7 muestra una aplicacin de lgebra preposicional a los circuitos de conmutacin, estableciendo una analoga entre las compuertas lgicas y la negacin la conjuncin y la disyuncin. Finalmente, en el captulo 8, se define un sistema matemtico llamado lgebra boleana, el cual toma los conjuntos, las proposiciones y los circuitos como ejemplos de este sistema. Uno de los factores importantes para la formacin en una disciplina de las ciencias del saber, es el tiempo que se dedica para tal fin y con mayor razn cuando se trata del estudio a distancia de una asignatura de las ciencias bsicas, como lo es la lgica matemtica, la cual es parte fundamental dentro de la formacin de tecnlogo y del ingeniero de sistemas. Para facilitar esta accin se presenta la siguiente gua de estudio individual que sugiere al alumno una distribucin del tiempo de estudio y as lograr mejores resultados al concluir ste mdulo.

GUA METODOLOGA
Uno de los factores importantes para la formacin en una disciplina de las ciencias del saber, es el tiempo que se dedica para tal fin y con mayor razn cuando se trata del estudio a distancia de una asignatura de las ciencias bsicas, como lo es la lgica matemtica, la cual es parte fundamental dentro de la formacin del tecnlogo y del ingeniero de sistemas. Para facilitar esta accin se presenta la siguiente gua de estudio individual que sugiere al alumno una distribucin del tiempo de estudio y as lograr mejores resultados al concluir este mdulo. TEMA
1.1. Contexto histrico de la lgica 1.2. Clasificacin de la lgica 1.3. propsito de la lgica 1.4 Proposiciones y razonamiento. 1.4.1 Proposiciones 1.4.2 Razonamiento 1.5 Lenguajes naturales y artificiales 1.6 Componentes del proceso semitica 1.7 Ramas de la semitica

HORAS ESTUDI O 1 1 1 1

ACTIVIDADES COMPLEMENTARIAS Y ACCION TUTORIAL SUGERIDA

Autoevaluacin inicial Induccin: 2 horas

Autoevaluacin No. bibliografa sugerida

Consultar

2. 1 Representacin de las proposiciones 2.2 Clases de proposiciones 2.2.1 Proposiciones simples 2.2.2 Proposiciones compuestas 2.3 Conectivos lgicos 2.3.1 La conjuncin 2.3.2 La disyuncin 2.3.3 La negacin 3.1 Definicin de tabla de verdad 3.2 Construccin de tablas de verdad 3.3 Doble negacin 3.4 Proposiciones condicionales 3.4.1 Tabla de verdad para proposiciones condicionales 3.5 Recproca, inversa y contrarrecproca 3.6 Bicondicional 4.2 Tautologas 4.2.1 Tautologa trivial 4.2.2 Ley de la doble negacin

Taller: proposiciones, razonamientos y procesos semiticas 2 horas Autoevaluacin No. 2 Taller: uso de conectivos lgicos y tablas de verdad: 2 horas

1 2 3

2 1 8

Taller: proposiciones condicionales y incondicionales 2 horas Autoevaluacin No. 3

4.2.3 Ley del medio excluido 4.2.4 1 Razonamiento directo 4.2.4.2 Razonamiento indirecto 4.2.5 Ley de la transitividad 4.2.6 Ley de la contrarrecproca 4.2.7 Silogismo disyuntivo 4.3 Falacias lgicas 4.3.1 Falacia de la afirmacin del consecuente 4.3,2 Falacia de la negacin del antecedente 4.3.3 Esquema de cadena en falso 5.1 Cuantificador universal y existencial 5.2 Valores de verdad de expresiones con cuantificadores 5.3 Crculos de Euler y sus aplicaciones? 5.4 Caractersticas de la demostracin 5.5 Problemas de aplicacin de la lgica 6, 1 Sistema matemtico ,2 Propiedad de cerradura 6.3 Propiedad conmutativa 6.4 Propiedad asociativa 6.5 Propiedad distributiva 6.6 Elementos de identidad 6.7 Propiedad de complementacin 7.1 Definicin y representacin de los circuitos lgicos 7.2 Circuito de negacin 7.3 Circuito de conjuncin 7.4 Circuito de disyuncin 7.5 Compuertas lgicas 7.5.1 Compuerta "No" 7.5.2 Compuerta "Y" 7.5.3 Compuerta "O" 8.1 Definicin 8.2 Algebra Booleana en sistemas numricos 8.3 Algebra Booleana de la lgica 8.4 Algebra Booleana de los conjuntos 8.5Algebra Booleana de los circuitos

Taller: leyes de la lgica 2 horas

Autoevaluacin No. 4

2 3 2 1 2
Consultar bibliografa sugerida Taller: Aplicaciones de los crculos de Euler 2 horas Consultar con el tutor Autoevaluacin No. 5

2
1

Taller: Problemas de lgica 2 horas Autoevaluacin No. 6

Taller: Representacin lgicos 2 horas

de

circuitos

1 2 2 1 2

Autoevaluacin No. 7 Consultar inquietudes con el tutor Taller: Demostracin de las propiedades del lgebra boleana 2 horas Consultar bibliografa sugerida Autoevaluacin No. 8 Informacin de retorno

OBJETIVO GENERAL
Familiarizar al alumno con los elementos bsicos de un argumento lgico, tanto en su presentacin simblica como en su significado, de tal forma que al finalizar el mdulo este en capacidad de establecer proposiciones, evaluar sus valores de verdad, aplicar reglas de inferencia y en general utilizar la lgica matemtica en la solucin de problemas propios de la Ingeniera de sistemas.

AUTOEVALUACIN INICIAL
Amigo estudiante, la siguiente prueba lo invita a recordar algunos conceptos bsicos de matemticas, que le sern de gran utilidad para el desarrollo del presente mdulo. Al iniciar esta labor, cuente con buen nimo y disposicin, as obtendr mejores resultados. 1 Qu es un conjunto y cmo se representa? 2. Cmo se puede determinar un conjunto? Explique. 3. Qu relacin se puede establecer entre un elemento y un conjunto? Cmo se simboliza? 4. Qu relaciones hay entre conjuntos? Represente grficamente cada relacin. 5. Defina cada una de las siguientes operaciones entre conjuntos: 5.1 Unin 5.2 Interseccin 5.3 Diferencia 5.4 Complemento 6. En los siguientes diagramas de Ven sombrear: 6.1 A Unin B 6.2 A Interseccin B 6.3 A Menos B (A - B)

7. Hacer un diagrama de Venn con tres conjuntos no vacos A, B y C tal que A, B y C tengan las siguientes caractersticas: 7.1 A C B, C C B, 7.2 A c B, C c B, 7.3 A c C, C = C, A, C =0 A C=0 B C=0

OBJETIVO GENERAL
El propsito de esta unidad, es brindar al estudiante algunos elementos del desarrollo histrico de la lgica matemtica y su correspondiente clasificacin.

OBJETIVOS ESPECFICOS
Realizar la clasificacin de la lgica. Reconocer el propsito de la lgica. Identificar y enunciar proposiciones. Diferenciar tipos de razonamiento. Determinar la diferencia entre lenguaje natural y artificial. Analizar los componentes del proceso semitico.. Distinguir las reas de la semitica.

1.1 CONTEXTO HISTRICO DE LA LGICA


Etimolgicamente lgica es la ciencia del logos. Originalmente logos es palabra o discurso, por lo que en un principio se defini la lgica en aquella poca, como la rama de la gramtica que se ocupaba de ciertas formas de lenguaje. Como la palabra es la expresin o manifestacin del pensamiento y el pensamiento racional es la base de la filosofa, puede decirse en general, que la lgica es la ciencia del pensamiento racional; es importante aclarar que la lgica no se ocupa del contenido de los pensamientos sino de la manera o forma de los pensamientos. En respuesta a la necesidad de construir argumentos para defender o refutar pensamientos de los dems, Aristteles, considerados por los griegos el padre de la lgica, cre mtodos sistemticos para analizar y evaluar dichos argumentos, para lo cual desarroll la lgica preposicional estableciendo procedimientos para determinar la verdad o falsedad de proposiciones compuestas. El gran matemtico Goftfried Leibniz en 1646 fue el primero en intentar reformar la lgica clsica, planteando que la dependencia lgica entre proposiciones es demostrada reduciendo argumentos complejos en simples, para lo cual propuso representar el conocimiento en una forma que pudiera ser usado por un razonamiento mecnico y a ste esquema (lgica simblica) lo llam una caracterstica universal. El proceso de la lgica continu en el siglo XIX. En 1847 el matemtico ingls George Boole en compaa de Augustas de Morgan hizo notar el parentesco entre las operaciones lgicas con las matemticas, pues a partir de los operadores aritmticos de adicin, multiplicacin y sustraccin crearon los operadores lgicos equivalentes de unin, interseccin y negacin; adems formularon los principios del razonamiento simblico y el anlisis lgico. A Boole se le atribuye la invencin de las tablas de verdad para comprobar la veracidad de proposiciones compuestas.

Este trabajo fue retomado por Bertrand Russell y Alfred North Whitehead y en 1910 en su obra "Principio Matemtico" quienes codificaron la lgica simblica en su presente forma definindola como la Ciencia de todas las operaciones conceptuales posibles". Por lo tanto la fundacin de la lgica formal moderna se atribuye a ellos.

1.2 CLASIFICACIN DE LA LGICA


La lgica se puede clasificar en lgica tradicional o no formal y lgica simblica o formal. En la lgica tradicional se consideran los procesos psicobiolgicos del pensamiento lgico y los mtodos de inferencia que estn relacionados con la destreza para interpretar y distinguir el razonamiento correcto del incorrecto; se puede considerar que la lgica no formal resume las experiencias humanas obtenidas del conocimiento y de la observacin del mundo circundante. La lgica como ciencia constituye la lgica formal o simblica, la cual se encarga de investigar, desarrollar y establecer los principios fundamentales que siguen la validez de la inferencia; es considerada como uno de los sistemas mediante el cual se llega a formas puras y rigurosas; en el pensamiento simblico, las palabras se manipulan, segn las reglas establecidas, como si fueran simples signos sin preocuparse por su sentido.

1.3 PROPSITO DE LA LGICA


La lgica ofrece mtodos que ensean cmo formar proposiciones, evaluar sus valores de verdad y determinar si unas conclusiones se pueden deducir correctamente a partir de proposiciones supuestas; adems que, es una ciencia que se interesa por las relaciones existentes entre las proposiciones, con el fin de obtener precisin, claridad y generalidad en los razonamientos

La precisin la logra mediante el uso de smbolos, los cuales tienen como funcin primordial eliminar las ambigedades que la estructura del lenguaje ordinario no puede evitar con facilidad. La claridad y generalidad la consigue en la medida en que el usuario se familiariza con los elementos bsicos de un argumento lgico, tanto en su representacin simblica como en su significado para luego establecer un lenguaje simblico artificial que le permita simplificar argumentos lgicos complicados; de esta manera el smbolo permite concentracin sobre lo esencial de un contexto dado, incrementando la fiabilidad con que se aplica el conocimiento.

1.4 PROPOSICIONES Y RAZONAMIENTO 1.4.1 PROPOSICIONES


La lgica utiliza un lenguaje exacto que no da lugar a Imprecisiones; para tal fin toma como elemento bsico de anlisis a la proposicin, que no es otra cosa que una oracin del lenguaje cotidiano con un significado mucho ms limitado; en tales condiciones, podemos considerar una proposicin como una excepcin lingstica que tiene la propiedad de que es verdadera o falsa. Es importante tener en cuenta que dichas proposiciones representan oraciones declarativas, las cuales contienen un sujet perfectamente definido o dado por el contexto, un predicado y una inflexin del verbo ser. Para simplificar la escritura de argumentos lgicos complicados se crea un lenguaje simblico artificial, en donde se establecen un conjunto de reglas claras, bien definidas y que no presentan las ambigedades ni las vaguedades del lenguaje corriente. En lgica se consideran y se simbolizan dos clases de proposiciones: atmicas o simples y moleculares o compuestas. ' Una proposicin con sentido completo cuyo valor es falso o verdadero, se denomina proposicin simple. Ejemplos: 1+4 = 5 (V) 3 es un nmero par (F) Medelln es la capital de Antioquia (V)

Si se unen dos o ms proposiciones simples, mediante trminos de enlace tales como no,y, o, si... entonces, se forman las proposiciones compuestas; el valor de verdad de dichas proposiciones es verdadera o falsa, dependiendo slo de los valores de verdad de las proposiciones simples que las conforman. EJEMPLO: 4 es un cuadrado perfecto y 5 es un nmero primo Si un tringulo es issceles, entonces es equiltero. Quieres gaseosa o helado Veamos algunos ejemplos de oraciones que no son proposiciones porque no se les puede asignar un valor de verdad, (falsa o verdadera). EJEMPLO: 1.El tringulo es menor que el crculo. Esta oracin no es proposicin, pues no especifica el criterio de comparacin (rea, permetro, etc.), entre las figuras geomtricas 2. x + 5 = 8 Aqu, x es una variable independiente, por lo tanto puede tomar cualquier valor y por consiguiente no se puede afirmar nada. 1.4.2 Razonamiento Razonar es un proceso por el cual se establece una conclusin basada en una o mas proposiciones supuestas o aceptadas, llamadas premisas, que constituyen el punto de partida del proceso. Si la conclusin es correcta, significa que las premisas contienen informacin suficiente cara establecer la conclusin, lo cual permite afirmar que el razonamiento es correcto, de lo contrario, se dir que es incorrecto. Todos los seres humanos tenemos la capacidad del raciocinio que es una operacin del pensamiento, la ms elevada, en la cual se enlazan ideas y fluyen otras, permitiendo as, la comunicacin con el exterior.

Se ha dicho que la lgica es la ciencia que estudia la estructura o forma de pensamientos, por lo cual no es difcil comprender que hay varias formas de pensamientos, ms an, existen varias formas de razonar. A continuacin estudiaremos algunos tipos de razonamientos: Inductivo: Es el proceso del pensamiento mediante el cual con base en experiencias se establece un principio general, el cual tendr validez no slo para los casos observados, sino tambin para todos los de su especie. EJEMPLO: El cobre es buen conductor de electricidad, la plata es buen conductor de electricidad, el hierro es buen conductor de electricidad, por lo tanto podemos afirmar que todos los metales son buenos conductores de la electricidad. En este tipo de razonamiento lo que es vlido para n- casos, es vlido para n+1, es decir, las partes conducen al todo. Deductivo. Es el razonamiento lgico ideal por excelencia, pues parte de lo general para llegar a lo particular, es decir, lo que vale para todo vale para cada una de las partes. EJEMPLO 1: Mara va a una fiesta y encuentra que su amiga lleva un vestido idntico al de ella, luego afirma:" compraste tu vestido en el mismo almacn que lo compr yo".

EJEMPLO 2: Si el permetro de un hexgono regular tiene 60 cm, entonces cada lado mide 1 0 cm. EJEMPLO 3: Si x . y = O, x * O entonces y = O

Analgico: La analoga lgica consiste en trasladar las propiedades de un objeto ya conocido a otro que tratamos de conocer y que le es semejante o anlogo, es decir, en este razonamiento la conclusin se mantiene y vale para la misma particularidad que se quiera confrontar. EJEMPLO: Si Gustavo usa unas llantas para su carro que le salieron muy duraderas, por analoga puede afirmar: SI vuelvo a usar llantas de la misma marca, me saldrn igualmente duraderas.

1.5 LENGUAJES NATURALES Y ARTIFICIALES


Podemos considerar el lenguaje como un sistema de signos que expresan ideas y que se utiliza para establecer comunicacin. El hombre se comunica y participa de este proceso mediante el lenguaje natural humano; sin lenguaje, o con un lenguaje rudimentario el hombre estara limitado socialmente (los nios, los sordomudos, etc.). Cuando el hombre aprende a nombrar todo lo que le rodea y luego es capaz de relacionar el objeto solamente con su nombre, el lenguaje se convierte en smbolo, es decir, toma vida independiente del objeto, de tal forma que se puede afirmar que el lenguaje no slo es un instrumento de comunicacin sino tambin de pensamiento; por lo tanto, para el hombre el lenguaje es exterior e interior, pues le permite establecer comunicacin y mediante l acumula y transmite sus experiencias utilizando los procesos de simplificacin y generalizacin. De otra parte se puede hablar de lenguaje natural o artificial. El natural nace de una organizacin espontnea de las capacidades lingsticas de una comunidad, y se encuentra dotado de gran cantidad de signos, sobresaliendo las vocales; mientras que el lenguaje artificial se genera cuando una o ms personas deciden usar signos especiales, para obtener mejor comunicacin, estableciendo reglas que faciliten la operatividad entre los signos; por ejemplo el lenguaje de las matemticas, de la fsica, qumica y de otras ciencias.

Este tipo de lenguaje posee gran cantidad de signos y nace de la exigencia de conservar informacin por lo que se le conoce como formas de comunicacin, que pueden ser escritas por medio de iconos, con lenguajes analgicos y digitales.

1.6 COMPONENTES DEL PROCESO SEMITICO


Iniciamos esta seccin asignndole el trmino semitica a la ciencia que estudia los sistemas de signos, se encarga de estudiar las condiciones de comunicabilidad y comprensibilidad de un mensaje, ensea en qu consisten los signos y cules son las leyes que gobiernan. .

En el proceso semitico deben tenerse en cuenta tres vertientes: el emisor, el receptor y el contexto del mensaje. El emisor es quien inicia la comunicacin enviando un mensaje al receptor; esta operacin implica un contexto (aquello de lo que se habla), signos y por lo tanto un cdigo. La funcin del signo consiste en comunicar ideas por medio de mensajes, estos signos pueden ser naturales: el humo significa fuego, nubes indicio de lluvia; o artificiales (smbolos): bandera, escudo; o analgicos (icnicos): fotografas, esquemas, etc. El signo es el vehculo de toda comunicacin y pensamiento. Sus caractersticas estn determinadas por el lugar que el signo ocupa en el sistema y por sus relaciones con los dems signos de dicho sistema. La funcin esencial de los cdigos es evitar toda confusin entre el signo y el mensaje. Si los signos se encuentran en una relacin lgica de exclusin, de inclusin o de interseccin, se pueden presentar tres tipos de cdigos:

El emisor debe codificar el mensaje de tal forma que cuando el receptor reciba el mensaje y lo decodifique pueda reconstruir su sentido a partir de los signos y de las relaciones existentes entre ellos.

1.7 RAMA DE LA SEMITICA


Actualmente se reconocen tres reas en el campo de la semitica as: sintaxis, semntica y pragmtica, El primero en establecer con claridad y divulgar esta clasificacin fue Morris en 1938, quien defini la pragmtica como el estudio de "la relacin de los signos con los intrpretes", la semntica como el de "las relaciones de los signos con los objetos a lasque se aplican" y la sintaxis como el de las "relaciones formales entre los mismos signos"

La lgica se clasifica en: 1. Tradicional o no formal: son los procesos psicobiolgicos del pensamiento lgico y mtodos de inferencia, que permiten interpretar y distinguir el razonamiento correcto del incorrecto, mediante la experiencia humana, ya sea por el conocimiento o por la observacin de su entorno. 2. Formal o simblica: Es la encargada de investigar, desarrollar y establecer reglas de inferencia, que conducen a formas puras y rigurosas de pensamiento. La lgica simblica, manipula las palabras como signos, sin tener en cuenta su sentido, La lgica pretende que sus razonamientos se caractericen por: 1. Precisin: mediante el uso de signos. 2. Claridad en la medida que el usuario se familiariza con los elementos bsicos de un argumento lgico en su forma (representacin simblica) y su significado. 3. Generalidad: mediante el lenguaje simblico artificial, el usuario, por una parte simplifica argumentos lgicos complicados y por otra parte, establece reglas que le permiten generalizar conceptos e incrementar la falibilidad con que se aplica e1 conocimiento. Proposicin: Expresin lingstica con la propiedad de ser verdadera o falsa. Las proposiciones pueden ser:

1. Simples: Proposiciones con sentido completo cuyo valor es verdadero o falso, pero no ambos a la vez. 2. Compuestas: Unin de dos o ms proposiciones simples mediante trminos de enlace como o, y, si... entonces, si y slo si. Su valor de verdad depende de los valores que tomen las proposiciones que la conforman. Razonar: Proceso del ser humano, que permite establecer una conclusin basndose en la suposicin de ciertas proposiciones llamadas premisas. Tipos de razonamiento: 1. Inductivo: Proceso del pensamiento mediante el cual se establece un principio general basado en experiencias. 2. Deductivo: Es el razonamiento ideal por excelencia. Parte de lo general para llegar a lo particular. 3. Analgico: Traslada las propiedades de un objeto ya conocido a otro que le es semejante. Lenguaje: Sistema de signos que expresan ideas y se utilizan para establecer comunicacin. Lenguaje natural: Nace de las capacidades lingsticas de una Comunidad. Lenguaje artificial: Es aquel que utiliza signos para obtener una comunicacin ms precisa y clara.

1. Cmo se puede definir la lgica? 2. Realice un resumen sinttico de la historia de la lgica 3. Mediante un cuadro sinptico, clasifique la lgica con sus caractersticas fundamentales. 4. Cul es el propsito de la lgica? Explique. 5. Qu es una proposicin? Cmo se clasifica? Explique cada una y de ejemplos. 6. Escriba la clase de razonamiento que se utiliza en cada caso. 6.1 En el club deportivo, algunos integrantes del equipo de baloncesto expresaron sus estaturas as: 1.78,1.80,1.79,1.82.1.85 y 1.80 metros. Un aspirante a ingresar al equipo concluy: todos los miembros de este equipo tienen por lo menos 1.78 metros de estatura. Perro que ladra no muerde. Ruffo ladra, por lo tanto no muerde. Un nio examina cinco hormigas y concluye: todas las hormigas son rojas. Si a>b y b>c, entonces a>c. El da en que Yesika cumpli 8 aos, su mam le prepar un pastel. Para el cumpleaos de Paola y Camilo su mam prepar un pastel para cada uno. Yesika afirma: cada vez que uno de nosotros cumple aos nuestra madre prepara un pastel.

6.2 6.3

6.4 6.5

7. Para cada uno de los siguientes ejercicios establezca la conclusin que le parezca razonable y escriba el razonamiento utilizado. 7.1 2 es un nmero par que se puede representar como 2x1 4 es un nmero par que se puede representar como 2x2 22 es un nmero para que se puede representar como 2x11 Ayer fue viernes, hoy es sbado.... Todos los hombres son mortales, Scrates es hombre. A todos lo conejos les gusta la lechuga. A mi animal favorito le gusta la lechuga, entonces,...7.5 x+4 = 7 por lo tanto....

7.2 7.3 7.4

8. Con su grupo de estudio construya 5 ejemplos de cada clase de razonamiento para evaluarlos en las sesiones de tutora. 9. Escriba y explique las componentes del proceso semitico.. 10. Enuncie las ramas de la semitica.

OBJETIVO GENERAL
Familiarizar al estudiante con los componentes bsicos de un argumento lgico tanto para su representacin simblica como para interpretar su significado.

OBJETIVOS ESPECFICOS
Identificar los conectivos lgicos. Clasificar las proposiciones de acuerdo con el uso de conectivos. Establecer los valores de verdad para la conjuncin, disyuncin y negacin.

2.1 REPRESENTACIN DE LAS PROPOSICIONES


Las proposiciones se representan simblicamente mediante el uso de letras del alfabeto tales como p, q, r, s, ..., x, y, z, las cuales reciben el nombre de letras o variables proposicionales, de esta forma, el lenguaje proposicional se hace ms simple y exacto que el lenguaje natural. Los siguientes ejemplos ilustran cmo se pueden simbolizar las proposiciones: p: Hoy es sbado. q: Estudio ingeniera de sistemas. r: New York es llamada la capital del mundo. s: 1 no es un nmero primo. x: 4 + 3 = 10. Por lo tanto se puede establecer una relacin biunvoca entre el lenguaje natural y el lenguaje simblico. En el lenguaje cotidiano encuentramos expresiones como por ejemplo: Las rosas son rojas y tienen espinas. La seleccin Colombia gan o perdi? En el pas no hay violencia. Si estudio lgica matemtica entonces ser un destacado ingeniero de sistemas. 4 es un nmero par si y slo si se puede dividir por 2. Para la formacin de estas oraciones se utilizaron los trminos y, o, no, si entonces, s y slo si, que sirvieron para unir o enlazar los enunciados; denominamos a estos trminos de enlace conectivos lgicos y al igual que a las proposiciones, tambin se les asignamos un lenguaje simblico, as:

LENGUAJE NATURAL

LENGUAJE FORMAL

Y O no Sientonces Si y solo si

La notacin simblica de las expresiones en consideracin es: p : Las rosas son rojas. q: Las rosas tienen espinas. p q: Las rosas son rojas y tienen espinas. r: La seleccin Colombia gan?. s: La seleccin Colombia perdi?. r s : La seleccin Colombia gan o perdi? t : En el pas hay violencia. ~ t : En el pas no hay violencia. x : Estudio lgica matemtica y : Ser un destacado ingeniero de sistemas xy: Si estudio lgica matemtica ser un destacado ingeniero de sistemas. u : 4 es un nmero par. v : 4 es divisible por 2. u v : 4 es un nmero par si y slo si es divisible por 2.

2.2 CLASES DE PROPOSICIONES


Como ya se indico en la unidad anterior, las proposiciones pueden ser de dos clases simples o atmicas y compuestas o moleculares.

2.2.1 PROPOSICIONES SIMPLES


Se denominan proposiciones simples aquellas oraciones que no utilizan conectivos lgicos. Ejemplos: p : El eclipse es un fenmeno natural. q : La luna es un satlite de la tierra. r : 2 es el inverso multiplicativo de 2. s: -3 es el inverso aditivo de 3. El valor de verdad de una proposicin simple puede ser verdadero (V) o falso (F).

2.2.2 PROPOSICIONES COMPUESTAS


Las proposiciones compuestas son aquellas que se obtienen combinando dos o ms proposiciones simples mediante trminos de enlace. Ejemplos: p : Est lloviendo. q: El sol brilla. p q: Est lloviendo y el sol brilla. x : Quieres helado?. y : Quieres gaseosa?. x y : quieres helado o gaseosa?. s : Llueve. r : Hace fro. s r : Si llueve entonces hace fro. p : Un tringulo es equiltero. q: Un tringulo tiene sus tres lados iguales. p q: Un tringulo es equiltero si y slo si tiene sus tres lados iguales.

La veracidad o falsedad de una proposicin compuesta, depende del valor de verdad de cada una de las proposiciones simples que la conforman y de la manera como estn combinadas; para tal fin, en las prxima secciones estudiaremos ms detenidamente la forma de enlazar o unir proposiciones simple de tal manera que se puedan fijan criterios para establecer cuando una proposicin compuesta es verdadera o falsa.

2.3 CONECTIVOS LGICOS


2.3.1 LA CONJUNCIN
Sean p y q dos proposiciones simples. La proposicin compuesta p y q simbolizada por p q, se denomina la conjuncin de p y q. Ejemplo 1: r s : 6 es nmero par y entero positivo
r: 6 es un nmero par. : y s: entero positivo.

Ejemplo 2 p q: Ren valenciano es jugador de futbol y es colombiano p: Ren valenciano es jugador de futbol : y q: Es colombiano. Para analizar el valor de verdad de la conjuncin tenemos las proposiciones simples como funciones proposicionales, as: p(x): x es un jugador de ftbol x: pertenece al conjunto de personas q(x): x es un colombiano x: pertenece al conjunto de personas p(x) q(x): x es un jugador de ftbol y x es un colombiano x pertenece al conjunto de personas El conjunto de verdad de p(x) q(x) est dado por: P^Q = {x/p(x) q(x)} = {todas las personas que juegan ftbol y son Colombianas}

Este conjunto de verdad se puede representar grficamente mediante el uso del diagrama conocido como diagrama de VENN, el cual, a travs de sombras muestra caramente el conjunto de verdad de la operacin que se est realizando. Parte sombreada de la Flg.6 representa el conjunto de verdad de la conjuncin, donde: x= {Universal de todas las personas} c= {personas que juegan ftbol} z= {personas que son Colombianas}

Como se dijo en la seccin anterior el valor de verdad de una proposicin compuesta no slo depende de la forma de combinacin (en esta seccin la conjuncin), sino del valor de verdad de cada una de las proposiciones simples, por lo tanto surgen las siguientes posibilidades: Caso 1: que p sea verdadera y q sea verdadera. Caso 2: que p sea verdadera y q sea falsa Caso 3: que p sea falsa y q sea verdadero Caso 4: que p sea falsa y q sea falsa Estudiemos estos 4 casos para el ejemplo 2 representando por V el valor verdadero y por F el falso. Caso 1: p: V Valenciano jugador de ftbol q: V Valenciano colombiano p q: V Caso 2: p: V Valenciano jugador de ftbol q: F Valenciano no es colombiano p q: F

Caso 3:

p: F Valenciano no es jugador de ftbol q: V Valenciano es colombiano P q: F . p: F Valenciano no es jugador de ftbol q: F Valenciano no es colombiano p q: F

Caso 4:

Para resumir estos resultados utilizamos la siguiente tabla, llamada tabla de verdad de la conjuncin.

De tal manera que podemos concluir que la conjuncin es verdadera nicamente cuando las dos proposiciones simples son verdaderas, en cualquier otro caso la conjuncin es falsa.

2.3.2 LA DISYUNCIN
Sean p y q dos proposiciones simples. La proposicin p o q, simbolizada "p q" se llama la disyuncin de p y q. Ejemplo 1 : xvy: Quieres helado o gaseosa x: Quieres helado v: o y: Quieres gaseosa Ejemplo 2: rvs: Juan estudia ingeniera o Paola estudia medicina r: Juan estudia ingeniera v: o s: Paola estudia medicina pvq: Alexandra vive en Bogot o en Barranquilla p: Alexandra vive en Bogot v: o q: Alexandra vive en Barranquilla

Ejemplo 3;

Los ejemplos anteriores muestran los usos del operador "o". En el ejemplo 2 tenemos el llamado "o incluyente" el cual hace que el valor de verdad de una de las dos proposiciones simples repercuta en el valor verdadero de la proposicin disyuntiva; mientras que el conectivo "o" de los ejemplos 1 y 3 acta como un "o excluyente", pues el valor de verdad de una proposicin, excluye la veracidad de la otra proposicin, esto hace que la proposicin disyuntiva tome el valor verdadero. Para establecer el valor de verdad de una proposicin disyuntiva, consideramos las siguientes funciones preposicionales. p(x): x vive en Bogot x pertenece al conjunto de personas q(x): x vive en Barranquilla x pertenece al conjunto de personas p(x) vq(x): x vive en Bogot o x vive en Barranquilla x pertenece al conjunto de personas

El conjunto de verdad de p(x)vq(x) es el conjunto formado por: PUQ = {x / p(x) vq(x)} = {todas las personas que viven en Bogot o Barranquilla}, por consiguiente el conjunto de verdad de la disyuncin es exactamente la unin de los conjuntos de verdad de sus componentes; su representacin grfica es la parte sombreada de la siguiente figura.

Donde X = {personas} P = {personas que viven en Bogot} Q = {personas que viven en Barranquilla} De lo anterior podemos concluir que la tabla de verdad de la disyuncin es:

Es decir, la disyuncin es falsa solamente cuando las dos proposiciones son falsas en es otros casos es verdadera.

2.3.3 LA NEGACIN
Sea p una proposicin simple. Definimos la negacin de p mediante la proposicin compuesta no p que se simboliza "~p". Ejemplo 1 p: 3 es un nmero entero primo ~p: 3 no es un nmero entero primo o tambin es falso que 3 es un nmero entero primo Ejemplo 1 q: El automvil de Janeth es rojo ~q: El automvil de Janeth no es rojo o tambin es falso que el automvil de Janeth es rojo Claramente se puede establecer que si una proposicin es verdadera su negacin es falsa y recprocamente, si una proposicin es falsa su negacin es verdadera, por lo tanto la tabla de verdad de la negacin es:

La representacin grfica de la negacin es:

Las proposiciones se representan simblicamente mediante las letras p, q, r. s, t. Conectivos lgicos: Son trminos que sirven para unir o enlazar proposiciones simples. Los conectivos fundamentales son: Lenguaje Natural 1. y 2. o 3. no smbolo v ~ nombre Conjuncin Disyuncin Negacin

Clases de proposiciones 1. Simples o atmicas: oraciones con sentido completo que no utilizan conectivos lgicos. 2. Compuestas o moleculares: se obtienen combinando dos o ms proposiciones simples mediante la utilizacin de los conectivos lgicos.

1. Diga si las siguientes expresiones son proposiciones o no; en caso afirmativo escriba su valor de verdad. 1.1 La divisin entre cero es imposible 1.2. Levntate 1.3 3+7 = 5 1.4 El 21 de junio de 1986 fue sbado 1.5 Una ecuacin cbica tiene tres races reales 1.6 X-3 = 10 1.7 Una ecuacin de segundo grado tiene como grfica una lnea recta 1.8 Amado Nervo fue un poeta Mexicano 1.9 El color azul vale menos que una sonrisa 1.10 Ests resfriado? 2. Traduzca las siguientes proposiciones a la forma simblica 2.1 Patricia est comiendo y divirtindose 2.2 Alfredo no vino anoche y no recogi su dinero 2.3 El nmero 4 es positivo y el nmero - 4 es negativo 2.4 La figura es un tringulo o un crculo 2.5 Todos los crculos son redondos pero no todas las lneas son rectas

OBJETIVO GENERAL
Analizar la validez de un argumento, aplicando las reglas de inferencia y los valores de verdad.

OBJETIVOS ESPECFICOS
Construir tablas de verdad para proposiciones compuestas. Establecer los Valores de verdad para el condicional y el Bicondicional. Aplicar la ley de la doble negacin. Determinar la recproca inversa y contrarrecproca de una proposicin condicional.

3.1 DEFINICIN DE TABLAS DE VERDAD


Una tabla de verdad es una representacin esquemtica de las relaciones entre proposiciones; sirve para determinar los valores de verdad de proposiciones compuestas, las cuales dependen de los conectivos utilizados y de los valores de verdad de sus proposiciones simples. En la elaboracin de una tabla de verdad los trminos de enlace tales como la negacin (~ ), la disyuncin ( ) y la conjuncin ( ) se consideran conectivos fundamentales; por tal razn, sus valores de verdad constituyen base para establecer bajo qu condiciones una proposicin compuesta es verdadera o falsa. Como se estudio en el capitulo 2, la siguiente tabla, resume los valores de verdad de los conectivos fundamentales: p
V V F F

q
V F V F

~p
F F V V

~q
F V F V

pq
V F F F

pvq
V V V F

3.2 CONSTRUCCIN DE TABLA DE VERDAD


Para determinar el valor de verdad de una proposicin compuesta es necesario elaborar la correspondiente tabla de verdad; para tal fin y mediante el siguiente ejemplo se enuncian los pasos a seguir: Ejemplo 1. Construir la tabla de verdad para la proposicin ~ (p q). Paso 1. Se hace un recorrido de izquierda a derecha teniendo en cuenta los parntesis. Paso 2. Se identifica el conectivo que aparece dentro del parntesis, en este ejemplo la conjuncin. Paso 3. Se precisa el trmino de enlace que precede al parntesis, en el ejemplo la negacin.

Paso 4. Se elabora la tabla con el nmero de columnas determinado por: Proposiciones que intervienen Conectivos utilizados dentro del parntesis Conectivo utilizado fuera del parntesis.

TABLA 6
Ilustracin del paso 4 p q pq ~ (p q)

Paso 5. Se fijan los valores de verdad en las columnas de las proposiciones p y q.

TABLA 7
Ilustracin del paso 5
p V V F F Paso 6. Se completa la tabla por columna, teniendo en cuenta el conectivo y el valor de verdad de cada proposicin simple. q V F V F

pvq

~ (p q)

TABLA 8
Finalizacin de la elaboracin de una tabla de verdad p V V F F q V F V F

pvq
V F F F

~ (p q)
V V V F

Ejemplo 2. Elaborar la tabla de verdad de la proposicin: (p q) (p q). Al realizar el recorrido de izquierda a derecha se observa que la proposicin est conformada por dos parntesis conectados por la disyuncin y dentro de cada parntesis se identifican la disyuncin y la conjuncin respectivamente; despus de ste anlisis se elabora la tabla.

TABLA 9
Tabla de la proposicin (p q) (p q). p
V V F F

q
V F V F

pvq
V V V F

pq
V F F F

(p q) (p q).
V F F F

Ejemplo 3. Determina el valor de verdad de la proposicin: el equipo se bloque y Deyci no pudo terminar el trabajo. Para elaborar la tabla correspondiente es necesario traducir la proposicin a lenguaje simblico. Tomemos: p: el equipo se bloque q: Deyci termin el trabajo Entonces la proposicin se puede escribir p (~q) y la tabla de verdad es:

TABLA 9
Tabla de proposicin p (~q)

p
V V F F

q
V F V F

~q
F V F V

p (~q) F V F F

Con lo cual podemos concluir que esta proposicin es verdadera, cuando p y ~ q son ambas verdaderas.

3.3 DOBLE NEGACIN


Mediante el siguiente ejemplo se ilustra los valores de verdad de la doble negacin. Ejemplo 1. P: es de da ~ p: no es de da, luego es de noche ~ (~ p): no es de noche, luego es de da Por lo tanto p= ~ (~ p) La tabla de verdad correspondiente es:

TABLA 11.
Doble negacin P V F ~p F v ~ (~ p) v F

De tal forma que ~ (~ p) se puede remplazar por p en cualquier expresin lgica.

3.4 PROPOSICIONES CONDICIONALES


Se dice que una proposicin compuesta es condicional si est formada por dos proposiciones enlazadas por la expresin sientonces. 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 p q se muestra que p es el antecedente y q es el consecuente. Existen varias maneras de enunciar condicionales, algunas son: Si p entonces q p slo 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 imprimo el trabajo si hay luz Si dos rectas nunca se cortan necesariamente son paralelas Cuando una proposicin condicional se escribe en una de las anteriores formas, probablemente, el lenguaje comn har que no se interprete como se desea, pero como la lgica no permite ambigedades escribimos las proposiciones segn la definicin dada en esta seccin.

Tabla de verdad para proposiciones condicionales


Mediante el anlisis del siguiente ejemplo, se deducen los valores de verdad para la implicacin (p q). Supongamos verdadera la siguiente proposicin: Si el sol calienta fuertemente entonces hace calor Sea para p: el sol calienta fuertemente q: hace calor p q surgen cuatro posibilidades:

Caso 1: El sol calienta fuertemente y hace calor. En este caso el antecedente (realmente la condicin) y el consecuente se cumplen, por consiguiente la proposicin p q es verdadera. Caso 2: El sol calienta fuertemente pero - no hace calor. En este caso el antecedente se cumple pero el consecuente no, por lo tanto p q es falsa.

Caso 3: El sol no calienta fuertemente pero a pesar de ello hace calor. Para este caso tenemos que aunque el antecedente no se cumple el consecuente si, por lo tanto la implicacin p q es verdadera. Caso 4: El sol no calienta fuertemente y no hace calor. En este caso el antecedente no se cumple, el consecuente no se cumple, lo que hace que la proposicin p q sea verdadera. Con lo anterior, la implicacin toma los siguientes valores de verdad:

TABLA 12.
p
V V F F

q
V F V F

pq
V F V V

3.5 RECIPROCA, INVERSA, CONTRARRECPROCA


Dadas las proposiciones p: 2a es divisible por 4 q: a es par p q: si 2a es divisible por 4 entonces a es par Existen otras proposiciones relacionadas con esta implicacin, tales son: 1. Recproca: Es la proposicin de la forma q p: si a es par entonces 2a es divisible por 4 2. Inversa: Es la proposicin ~ q: si 2a no es divisible por 4 entonces a no es par 3. Contrarrecproca: Es la proposicin ~ q ~ p: si a no. es par entonces 2a no es divisible por 4

Los siguientes ejemplos lustran la construccin de dichas proposiciones. Ejemplo 1: Implicacin: Recproca: Inversa: Contrarrecproca: Ejemplo 2: Implicacin: Recproca: Inversa: Contrarrecproca: -pq q ~p ~ (~p) ~q pq ~ (~ q) ~ (~ p) qp ~p~q ~q~p ~ (~ p) ~ (~ q) Pq ~ (~ q) ~ (~ p) qP

Es importante observar la relacin que existe entre estas proposiciones; para tal fin, elaboramos la siguiente tabla:

TABLA 13.
Relacin entre la implicacin reciproca inversa contrarrecproca p
V V F F

q
V F V F

~ p ~ q Implicacin Reciproca Inversa ~ p (~ q) Pq qP


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

Contrarrecproca ~ q (~ p)
V F V V

En ella, encontramos que los valores de verdad correspondientes a las columnas de recproca y de la inversa coinciden, al igual que los de las columnas de la implicacin y de la contrarrecproca; esto induce a enunciar la ley de la contrarrecproca as: "Una proposicin puede ser remplazada por su contrarrecproca sin que
se afecte su valor de verdad"

La siguiente situacin ilustra la aplicacin de la ley. Ejemplo 3: Sean las proposiciones p: hay buen tiempo q: el avin se retrasa ~p: no hay buen tiempo ~q: el avin no se retrasa Para la implicacin p ~q: si hay buen tiempo, entonces el avin no se retrasa construimos: 1. Recproca: ~q p Si el avin no se retrasa entonces hay buen tiempo 2. Inversa ~ p ~ (~ q) ~P q Si no hay buen tiempo, entonces el avin se retrasa 3. Contrarrecproca ~ (~ q) ~ p q~P Si el avin se retrasa entonces no hay buen tiempo Observamos que la proposicin p ~ q puede ser remplazada por la contrarrecproca.

3.6 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 blcondicional est 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. De tal manera que para determinar los valores de verdad de la proposicin bicondicional basta construir la tabla de verdad de la proposicin: (p d) (q p).

As, se dice que el bicondicional es verdadero solamente cuando ambas proposiciones tienen el mismo valor de verdad y la tabla correspondiente es

Es conveniente aclarar que la proposicin bicondicional p q tiene varias formas de traduccin ms no de significacin, analicemos: 1. 2. 3. 4. 5. 6. P si y solo si q q si y solo si p si p entonces q y recprocamente si q entonces p y recprocamente p es una condicin necesaria y suficiente para q q es una condicin necesaria y suficiente para p

Ejemplo 1: Dadas las proposiciones: p: Un tringulo es rectngulo q: Un tringulo tiene un ngulo recto. Traducimos la bicondicional p q as:

1. Un tringulo es rectngulo si y solo si tiene un ngulo recto. 2. Un tringulo tiene un ngulo recto si y solo si es un tringulo rectngulo. 3. Si un tringulo es rectngulo entonces tiene un ngulo recto y si un tringulo tiene un ngulo recto entonces es un tringulo rectngulo. 4. Una condicin necesaria y suficiente para que un tringulo sea rectngulo es que tenga un ngulo recto. 5. Una condicin necesaria y suficiente para que un tringulo tenga un ngulo recto es que sea un tringulo rectngulo. 6. Un tringulo rectngulo es equivalente a un tringulo con un ngulo recto. Ejemplo 2: Demostrar que toda implicacin es equivalente contrarrecproca. Es decir, hay que verificar la equivalencia (p q) (~q ~p) Para facilitar la escritura en la tabla de verdad tomamos: (p q) como *1, y, (~q ~p) como *2 a su

Tabla de verdad: Representacin esquemtica de las relaciones entre proposiciones, sirve para determinar los valores de verdad de proposiciones compuestas. Conectivos fundamentales: Negacin (~), disyuncin ("V") y conjuncin (" ") Ley de la doble negacin: La negacin, de la negacin de una proposicin es equivalente a la proposicin, es decir, ~ (~ p) puede ser remplazada por p en cualquier expresin lgica. Proposicin condicional: Es aquella formada por dos proposiciones simples enlazadas por la expresin si... entonces. Si p entonces q se simboliza p q y se lee p implica q; p recibe el nombre de antecedente o hiptesis y q consecuente o conclusin de la implicacin. El condicional es falso nicamente cuando el antecedente es verdadero y el consecuente falso. A partir de la proposicin p q se pueden construir las siguientes proposiciones: 1. Recproca: qp 2. Inversa: ~p~q 3. Contrarrecproca: ~ q ~ p

Ley de la contrarrecproca: Una proposicin puede ser remplazada por su contrarrecproca sin que afecte su valor de verdad. Bicondicional: Proposicin formada por dos proposiciones simples conectadas por la expresin "si y solo si" p si y solo si q, se simboliza p q, p recibe el nombre de primer miembro y q segundo miembro El blcondicional est 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, la cual se escribe p q y se lee p equivalente a q. El bicondicional es verdadero siempre que ambos miembros sean verdaderos o ambos miembros sean falsos.

1, Escriba la negacin de cada una de las siguientes proposiciones. 1.1 4+1=0 1.2 El internet es un medio de comunicacin 1.3 11 es un nmero primo 1.4 El rea de un cuadrado se halla multiplicando el largo por el ancho 1.5 2 >3 1.6 8 <5 1.8 Irs hoy en la noche e irs maana 1.9 El hombre vive para comer y no come para vivir 1.10 Si un tringulo no tiene todos sus lados iguales no es equiltero 2. Dadas las siguientes proposiciones: p: 13 es un nmero primo q: 13 no es nmero impar r: 26 no es nmero primo s: 26 es nmero par Traducir al lenguaje simblico cada una de las siguientes oraciones 2.1 26 no es un nmero primo pero 13 s 2.2 Es falso que 13 es nmero impar 2.3 13 es un nmero par 26 es impar 2.4 Es falso que: 26 es nmero primo y 13 no es nmero primo 3. Con las oraciones anteriores, traducir al lenguaje ordinario cada una de las siguientes proposiciones.

3.1 p (~ q) 3.2 (~r) v s 3.3 (~ q r) v ~ (p s) 4. Construir la tabla de verdad de cada una de las proposiciones 3.1 y 3.2 5. Si p tiene valor V q tiene valor F y r tiene V, determinar el valor de verdad de las siguientes proposiciones. 5.1 (p (q v r) ((p q) v ( p r) 5.2 {((pvq) q) ((p r) ( q r))}
5.3 ~ ((~ p ~q) (p v r))

5.4 ~ q (p (p v - q)) 5.5. ~ (p q) (~ p v ~ q) 5.6 (p v q) ~ (p (q r) 5.7 - ((- p v q) ~ (q ~ p)) (( ~p r) q) 5.8 Demuestre que (p q) ~ p v q 6. Traducir al lenguaje simblico cada una de las siguientes oraciones utilizando la forma si - entonces 6.1 Tendrs xito solamente si aprecias la opinin de los dems 6.2 Todo trabajo es noble (Thomas Carlyle) 6.3 La combustin es una condicin suficiente para la presencia del oxgeno. 6.4 Para que una funcin sea diferenciable es necesario que la funcin sea continua.

OBJETIVO GENERAL
Estudiar las leyes de la lgica para permitir el anlisis proposicional en una situacin dada.

OBJETIVOS ESPECFICOS
Identificar cuando una proposicin compuesta es una tautologa. Diferenciar una tautologa de una contradiccin. Establecer las leyes de la lgica. Identificar los tipos de razonamiento. Analizar la validez de un argumento. Clasificar las falacias lgicas.

4.1 TAUTOLOGA
Entre las proposiciones compuestas existen unas muy importantes por ser siempre verdaderas sin tener en cuenta el valor de verdad de las proposiciones que la conforman; este tipo de proposiciones reciben el nombre de tautologas. En otras palabras, se dice que una tautologa es una proposicin que es verdadera en todos los casos. Ejemplo 1: Demostrar que la proposicin (p v q) ( ~q p) es una tautologa. Para verificar la validez de esta proposicin es necesario realizar la tabla de verdad y comprobar que en la ltima columna solamente aparecen valores verdaderos. Tabla 17. La proposicin (p v q) ( ~q p) es tautologa p V V F F q V F V F PVq V V V F ~q F V F V ~q p V V V F (p v q) ( ~q p) V V V V

Una proposicin compuesta que es falsa en todos los casos independientemente de los valores de verdad de las proposiciones que la conforman se llama contradiccin. Ejemplo 2: Es (p ~ q) q una tautologa? Tabla 18. La proposicin (p ~ q) q es una contradiccin
p V V F F
q

~q
F V F V

p~q
F V F F

(p ~ q) q
F F F F

V F V F

No, esta proposicin es una contradiccin porque todos los valores en la ltima columna son falsos. Dos proposiciones compuestas se consideran lgicamente equivalentes, si tienen los mismos valores de verdad para cada opcin de su tabla de verdad, es decir, si las columnas finales de las proposiciones compuestas son iguales; simblicamente p q si solo si p q es tautologa. Ejemplo 3: Establecer si las proposiciones (p .q) y (~ p v q) son lgicamente equivalentes. Para esto, basta probar que (p q) (~ p v q) es una tautologa Tabla 19. Equivalencia entre las proposiciones (p q) y (~ p v q) p
V V F F

q
V F V F

pq
V F V V

~p
F F V V

(~ p v q) (p q) (~ p v q)
V F V V V V V V

Por lo tanto las proposiciones son equivalentes.

4.2 TAUTOLOGAS
Las tautologas permiten estructurar diferentes mtodos de demostracin que son ampliamente utilizados en la matemtica. De ah la importancia de familiarizarse con el simbolismo manejado y su correspondiente aplicacin. A continuacin se estudiarn ocho tautologas conocidas tambin como leyes de la lgica.

4.2.1 TAUTOLOGA TRIVIAL


Esta tautologa establece que cualquier proposicin es equivalente asimismo, sto es p p su tabla de verdad es: Tabla 20 p p. Tautologa trivial P V F pp V V

La contradiccin clsica o trivial es la proposicin compuesta p ~ q. TABLA 21 (p ~ q). Contradiccin trivial P V F ~p F V p~q F F

Esta tabla muestra claramente que la ltima columna est conformada solamente por valores falsos, por tal razn a la proposicin p - p se llama contradiccin trivial o clsica.

4.2.2 LEY DE DOBLE NEGACIN


En la unidad anterior se enunci la ley de la doble negacin y mediante una tabla de verdad se prob que ~ (~ p) es una tautologa, ahora construimos la tabla de verdad de la proposicin p ~ (~ p) para asegurarnos que las proposiciones son lgicamente equivalentes.

TABLA 22. Equivalencia entre p y ~ (~ p) P V F ~p F V (~ p) V F p ~ (~ p) V V

Ejemplo: tomemos las proposiciones p: el acusado es inocente ~p: el acusado no es inocente, el acusado es culpable ~ (~ p): el acusado no es culpable p q: el acusado es nocente es lgicamente equivalente a el acusado no es culpable

4.2.3 LEY DEL MEDIO EXCLUIDO


Esta tautologa afirma que una proposicin toma uno de los dos valores de verdad (verdadero o falso), pero no ambas al tiempo. La siguiente tabla permite realizar su demostracin.

TABLA 23 LEY DEL MEDIO EXCLUIDO p V f ~p f V Pv ~ p V v

Ejemplo: sean las proposiciones p: es de da ~p: no es de da, es de noche p v ~ p: es de da o es de noche

4.24 RAZONAMIENTO
Se define razonamiento el proceso que se realiza para obtener una demostracin y se llama demostracin al encadenamiento de proposiciones que, nos permite obtener otra proposicin (llamada conclusin) a partir de ciertas proposiciones inciales supuestas como verdaderas (llamadas premisas). Existen dos mtodos de razonamiento: directo e indirecto.

4.2.4.1 RAZONAMIENTO DIRECTO


Este mtodo permite la formacin de una cadena de proposiciones a partir de las premisas, o de una consecuencia vlida de una o varias de las proposiciones que la preceden, hasta llegar a deducir la conclusin. E este razonamiento tambin recibe el nombre de Modus Ponendo Ponens o regla de separacin. Para representar simblicamente este argumento se utilizan dos premisas y una conclusin, as: p q llamada premisa mayor p llamada premisa menor q llamada conclusin De tal forma que la representacin queda: ((p q) p) q La siguiente tabla de verdad demuestra que esta proposicin es una tautologa, con la cual queda probada la validez de la representacin simblica. TABLA 24 RAZONAMIENTO DIRECTO p V V F F

q V F V F

pq

(p q) p

((p q) p) q

V F V V

V F F F

V V V V

Si el software est bien instalado, entonces los alumnos realizarn la gua. El software qued bien instalado, por lo tanto los alumnos deben realizar la gua. En este ejemplo se puede distinguir 1. Premisa mayor: Si el software est bien Instalado entonces, los alumnos realizarn la gua 2. Premisa menor: El software est bien instalado. . : 3. Conclusin: Los alumnos realizaron la gua

4.2.4.2 RAZONAMIENTO INDIRECTO


La base fundamental para la aplicacin de este mtodo es el principio lgico de no contradiccin, el cual establece que no pueden ser ciertas la afirmacin y la negacin de una misma proposicin. Esta tcnica consiste en suponer falsa la proposicin que se quiere demostrar, por lo tanto su negacin es verdadera y partiendo de esta ltima se demuestra que la misma no tiene validez, esto significa que se ha llegado a una contradiccin. Este razonamiento tambin se conoce con el nombre de "Modus ToIlens razonamiento de negacin del consecuente. La representacin simblica de este argumento est dada por: ((p q) (~ q)) (~ p) P q se denomina premisa mayor -q se denomina premisa menor -p se denomina conclusin La siguiente tabla de verdad prueba que esta representacin simblica del mtodo indirecto es una tautologa. TABLA 25 RAZONAMIENTO INDIRECTO P V V F F Q V F V F PQ V F V V ~ q (p q) ~ q F F V F F F V V ~P F F V V ((p q) (~ q)) (~ p) V V V V

Si a2 es pan entonces a debe ser par Se tiene que a es impar, por lo tanto a2 es impar. Para facilitar el anlisis de este ejemplo expresamos (a tautologa en forma simblica as: p: a2 es par ; q: a es par

~ p: a2 no es par, que es equivalente a decir a2 es impar ~ q: a no es par, que es equivalente a decir a es impar

Por lo tanto el argumento queda de la forma ((p q) ~ q) identificar con mayor claridad el razonamiento indirecto. ~ p, lo cual permite

4.2.5 LEY DE LA TRANSITIVIDAD


Esta tautologa (tambin llamada silogismo hipottico) considerada cadenas largas de razonamiento mediante la conveccin de varias proposiciones de la forma si entonces: La transitividad se expresa simblicamente as: ((p q) (q r)) (p r) La siguiente tabla demuestra esta ley. Tabla 26 Ley de transitividad 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 pq pr V V V F F V F V V V V F V V V F (p q) (q r) V F F F V F V F pr V F V F V V V V 1 2 V V V V V V V V

Ejemplo. Tomemos las siguientes proposiciones. p: Carlos es buen estudiante q: Carlos ser buen ingeniero r: Carlos tendr dinero Si Carlos es buen estudiante, entonces ser buen ingeniero S Carlos es buen ingeniero entonces tendr dinero. Por lo tanto, si Carlos es buen estudiante, entonces tendr dinero. Este ejemplo se puede extender conectando ms proposiciones as: S Carlos es un buen estudiante, entonces ser un buen ingeniero Si Carlos es buen ingeniero, entonces obtendr un mejor empleo S Carlos tiene un mejor empleo, entonces Carlos tendr dinero Si Carlos tiene dinero, entonces Carlos ser un amigo afortunado Por lo tanto si Carlos es un buen estudiante, entonces Carlos ser un amigo afortunado

4.2.6 LEY DE LA CONTRARRECPROCA


Esta ley fue enunciada y probada en la unidad anterior seccin 3.5, quedando como conclusin que una proposicin poda ser remplazada siempre por su contrarrecproca sin afectar su valor de verdad; en esta seccin abordamos las siguientes proposiciones con su correspondiente contrarrecproca. PROPOSICIN CONTRARRECPROCA

A continuacin demostramos la proposicin 2 y las dems se dejan como ejercicio. Es importante que usted por su propia cuenta realice estas demostraciones.

P ~ q q ~ p
Tabla 27 Contrarrecproca de la proposicin P ~ q p V V F F q V F V F ~q F V F V P ~q F V V V ~p F F V V q~p F V V V (p ~q) (q~p) V V V V

Con la prueba de estas equivalencias se verifica nuevamente la conclusin obtenida en la seccin 3.5 y que citamos as: Una proposicin puede ser reemplazada por su contrarrecproca sin afectar su valor de verdad.

4.2.7 SILOGISMO DISYUNTIVO


Esta tautologa supone la disyuncin p v q verdadera, para el caso en que p es falsa y q es verdadera, con lo cual se tiene que ~ p es verdadera. Teniendo como premisas (o hiptesis) p v q verdadera y ~ p verdadera, este silogismo permite concluir q. Simblicamente tenemos ((p q) ~ p) q y su demostracin se realiza mediante la siguiente tabla: TABLA 28 SILOGISMO DISYUNTIVO p V V F F Ejemplo: En el equipo est instalado el Windows 93 o el Windows 95. En el equipo no est instalado el Windows 93, por lo tanto est instalado el Windows 95. q V F V F Pvq V V V F ~p F F V V (p v q ) ~p ((p v q ) ~p) q F V F V F V V V

4.3 FALACIAS LGICAS


Se llama argumento vlido a la demostracin formal en la cual la conclusin se deduce a partir de la hiptesis y de acuerdo con una sucesin vlida de proposiciones (tautologas); si una o ms de las proposiciones no es vlida, el argumento recibe el nombre de falacia lgica. La lgica simblica se encarga de analizar argumentos vlidos sin importar el valor de verdad de la informacin contenida en la hiptesis o en la conclusin.

Las falacias lgicas se pueden clasificar segn se afirme el consecuente, se niega el antecedente o se forme un esquema de cadena en falso; a continuacin analizamos detenidamente cada clase.

4.3.1 PALACIOIDE AFIRMACIN DEL CONSECUENTE


Esta falacia consiste en suponer que la implicacin y el consecuente son verdaderos y mediante el uso de tautologas concluir el antecedente. Analizando .detenidamente este proceso se observa que no es posible llegar a deducir la conclusin, pues no se estara usando correctamente la definicin del condicional (seccin 3.4); por lo tanto, este argumento no es vlido, es decir, constituye una falacia lgica. Esta situacin se representa simblicamente as: ((p q) q) P con la siguiente tabla queda probado que no es un argumento vlido. TABLA 29 FALACIA AFIRMACIN DEL CONSECUENTE P V V F F Ejemplo: Si una persona vive en Norte Amrica entonces habla ingls. Esta persona habla ingls, por lo tanto vive en Norte Amrica. Claramente este argumento no es vlido, pues si esta persona habla ingls no necesariamente debe vivir en Norte Amrica. Otra forma de demostrar que un argumento no es vlido es encontrando un contraejemplo; esta tcnica consiste en hallar un q V F V F p q (p q) q V V F F V V V F ((p q) q) P V V F V

caso en que el antecedente (p) sea falso y el consecuente (q) verdadero; para nuestro ejemplo tenemos que hay personas que no viven en Norte Amrica pero hablan ingls, como por ejemplo las que viven en Australia.

4.3.2 FALACIA DE NEGACIN DEL ANTECEDENTE


Al igual que la falacia anterior se supone la implicacin verdadera, pero en este argumento se niega el antecedente (p), su propsito es concluir la negacin del consecuente (q). En lenguaje simblico tenemos: ((p > q) (~ p)) (~ q) La tabla de verdad es: TABLA 30 FALACIA NEGACIN DEL ANTECEDENTE p V V F F q V F V F pq V F V V ~p F F V V (p q) (~ p) F F V V ~q F V F V ((p > q) (~ p)) (~ q) V V F V

Con lo cual se afirma que la falacia de la negacin del antecedente no es vlida. Ejemplo: Si Juan va a la Universidad, ser un hombre culto. Juan no va a la Universidad, por lo tanto Juan no ser un hombre culto. Aqu se afirma que el .hecho de no r a la Universidad constituye una razn suficiente para no ser un hombre culto, lo cual no es cierto y por lo tanto queda probado que el ejemplo es una falacia de negacin del antecedente.

4.3.3 ESQUEMA DE CADENA EN FALSO


Esta falacia est constituida por una cadena de dos implicaciones con el mismo antecedente y su propsito es concluir el condicional formado por los dos consecuentes. Simblicamente esta cadena es de forma: ((p > q) (p)) (q r) La demostracin mediante la tabla de verdad se deja como ejercicio para que usted la realice de acuerdo con el aprendizaje obtenido en los casos anteriores. Ejemplo: Los nmeros pares son divisibles por 2. Los nmeros pares terminan en 2, por lo tanto los nmeros divisibles por 2 terminan en 2.

Tautologa: Proposicin compuesta verdadera en todos los casos, Contradiccin: Proposicin compuesta falsa en todos los casos. Proposiciones lgicamente equivalentes: aquellas que tienen los mismos valores de verdad para cada opcin. Clases de tautologas: 1, Trivial: p p 2. Doble negacin: p ~ (~p) 3. Ley del medio excluido p V (~p) 4. Ley del razonamiento 4.1 Directo o Modus Ponendo Ponens ((p q) p) q p q Premisa mayor p___ Premisa menor q Conclusin 4.2 Indirecto o Modus Tollens ((p q) (~ q) (~p) p q Premisa mayor __~q Premisa menor ~p Conclusin 5. Ley de la transitividad: Silogismo hipottico (p q) (q r) (p r)

6. ley de la contrarrecproca 7. Silogismo disyuntivo (p v q) (~p)) q 8. Falacias lgicas: Argumento en el cual una o varias proposiciones no es vlida. Clases de falacias 8.1 Afirmacin del consecuente 8.2 Negacin del antecedente 8.3 Esquema de cadena falso ((p q) q) p ((p q) (~p)) (~q) (p q) (p r) (q r)

1. Defina los siguientes conceptos 1.1 Tautologa 1.2 Contradiccin 1 .3 Proposiciones lgicamente equivalentes 2. Mediante un ejemplo explique cada clase de tautologa. En grupo establezca la validez de cada argumento 3. Analice la validez de cada numeral. Si el argumento es vlido determnela tautologa utilizada y si es invlido establezca la clase de falacia 3.1 Lo real de lo no irreal es real 3.2 Maana es martes o viernes 3.3 Un modem es un modem 3.4 Si Alberto entiende lgica, entonces disfruta de esta clase de problemas. Alberto no entiende lgica, por lo tanto no disfruta de sta clase de problemas 3.5 Si hay tala de rboles entonces se produce la erosin. Si hay erosin se acaban los bosques. Si no hay bosques, escasea el agua. Por lo tanto, si hay tala de rboles escasea el agua. 3.6 Si 3 x -3 = O, entonces x =1. x =1, entonces 3x -3 = O 3.7 Si hay tempestad, se va el fluido elctrico. No hay electricidad entonces hay tempestad 3.8 Equivocarse es un don humano. Felipe se equivoc, entonces Felipe es humano

3.9 Andrea lee un libro o va al cine. Andrea no lee el libro, entonces Andrea va al cine 3.10 Si llena el tanque de combustible entonces tiene gratis el lavado del auto. No tiene gratis el lavado del auto, entonces no tiene lleno el tanque de combustible 3.11 Si el aula de sistemas no est bien dotada entonces la clase se realizar en el saln. El aula de sistemas est bien dotada, entonces la clase no se realizar en el saln. 3.12 Si llueve entonces no hace sol. Hace sol, entonces no llueve. 3.13 Si 2n es par entonces 2n+l es impar. Si 2n es par entonces 2nl es impar. Por lo tanto si 2n+l es impar entonces 2n-l es impar. 3.14 Estudio o trabajo. No estudio, entonces trabajo. 3.15 Si se presenta la emergencia no habr normalidad acadmica. Hay normalidad acadmica, entonces no hay emergencia. 3.16 El mdico aconsejaos! estas enfermo no vas a trabajar". Deyci est enferma luego no va a trabajar. 3.17 Si me caigo de la bicicleta, me herir. Estoy herido; luego, me ca de la bicicleta. 3.18 Si no obtengo un aumento de sueldo, renunciar. No obtengo un aumento de sueldo, por lo tanto, renunciar. -. 3.19 El Decano o su asistente estn de viaje. El asistente no est de viaje por lo tanto el Decano est de viaje. 3.20 Si el auto se descompone no vamos de paseo, por lo tanto si vamos de paseo el auto no se descompuso. 4. Otras leyes de la lgica utilizadas en la demostracin de la validez de un argumento, se indican con su correspondiente simbolizacin, en el presente ejercicio. Para cada una de ellas construya una tabla de verdad

4.1 Ley de Morgan: ~ (p q) (~p v (~ q)) 4.2 Ley de implicacin y disyuncin (p q) (~p v q) 4.3 Ley de contradiccin ~ (p (~p)) 4.4 Propiedad idempotente (p v p) p 4.5 Ley de reduccin (p V (p q)) p

OBJETIVOS GENERALES
Simbolizar proposiciones abiertas utilizando cuantificadores, de tal manera que con el anlisis del conjunto universal y del conjunto dominio de dichas expresiones, pueda establecer su valor de vedad. Utilizar los crculos de Euler o las reglas de la lgica para demostrar la validez de un argumento lgico.

OBJETIVOS ESPECFICOS
Identificar las proposiciones abiertas. Asignar cuantificadores (universal o existencial) a proposiciones abiertas y establecer los valores de verdad de dichas expresiones. Ilustrar relaciones entre proposiciones y verificar la validez de un argumento utilizando los crculos de Euler. Demostrar la validez de un argumento lgico empleando las reglas de la lgica.

5.1 Cuantificador universal y existencial


Existen especialmente en matemticas, expresiones que contienen variables tales como x, y, z, etc., para las cuales su valor de verdad depende del valor que tome la variable. Ejemplo 1. x + 1 = 2 Esta proposicin es verdadera si x = 1 y falsa si x 1. A estas proposiciones se les llama Proposiciones abiertas. Hasta el momento se han tratado proposiciones a las cuales se les puede asignar un valor de verdad, ya sea falso o verdadero, ahora en esta seccin, se estudia la lgica de proposiciones abiertas, para ello, se asigna una expresin llamada cuantificador, que permite restringir los valores de las variables, de tal forma que la proposicin toma un solo valor de verdad para dicha restriccin. En el ejemplo, la proposicin se puede enunciar de las siguientes formas: 1. Existe x = 1 tal que x + 1 = 2. Proposicin verdadera 2. Para todo x 1, se tiene que x + 1 = 2. Proposicin falsa. Simblicamente, () x) (x+1=2) verdadera (v x = 1) (X+1=2) falsa En el primer caso el cuantificador recibe el nombre de cuantificador existencial, pues est informando que existe un slo valor para x que hace verdadera la proposicin dada, mientras que en el segundo caso el cuantificador se llama universal porque afirma que todos los valores de x diferentes de 1 hacen la proposicin falsa, es decir, que un valor de x diferente de 1 convierte x + 1 = 2 en proposicin falsa. Cualquier cuantificador de la forma para todo, todo, para cada, o cada se llama cuantificador universal y se simboliza por as V.

Ejemplo:(VX) (x + 4 = 4 + x). La palabra algunos(s) significa que por lo menos uno. Los cuantificadores de la forma existe, alguno o existe por lo menos uno se llaman cuantificadores existenciales y se representan as: . Ejemplo: ( x) (tal que 2 x + 2 = 5).

5.2 VALORES DE VERDAD DE EXPRESIONES CON CUANTIFICADORES


Para determinar el valor de verdad de una expresin que contiene un cuantificador es importante tener claros los siguientes conceptos: 1. Conjunto Universal: denominamos as al conjunto que contiene todos los elementos considerados en un estudio determinado. 2. Conjunto dominio de la variable: es el conjunto de valores posibles de la variable.

Ejemplo 1: (v x cR) (2X -1 =0) que se lee para todo x que pertenece al conjunto de los reales se verifica que (2x -1 =0). El smbolo denota pertenencia

En esta proposicin el conjunto universal est formado por los nmeros reales y el dominio de la variable es x = 1 /2. Este ejemplo afirma que todo nmero real verifica 2x -1 = O lo cual es falso, pero si cambiamos el conjunto universal, por el conjunto {112} observamos que la proposicin se convierte en verdadera y se enunciara as: (Vx {1/2}) (2x.-l =0) es Verdadera

Lo anterior conduce a la siguiente afirmacin: Una proposicin que contiene un cuantificador universal es verdadera si y slo si el dominio de la variable es igual al conjunto universal. Ejemplo 2: (3 x R) (x2 -1 = 0)

Conjunto Universal: R (Reales) Dominio de la variable: x = 1, V, x = - 1 En el caso del cuantificador existencial ste afirma que por lo menos existe un valor que satisface la proposicin de tal manera que, el ejemplo 2 es verdadero. Ejemplo 3: ( x R) (X2 + 1 =0)

El conjunto universal est formado por los nmeros reales, pero el dominio de la variable es el conjunto vaco, pues no hay un nmero real que al elevarlo al cuadrado y sumarle 1 de como total cero; esto hace que la proposicin sea falsa. Del anlisis de los ejemplos 2 y 3 podemos afirmar: Una proposicin con un cuantificador existencial es verdadera si y slo si el dominio de, la variable no es vaco. Ejemplo 4: Determinar el valor de verdad de cada una de las siguientes proposiciones: 1. ( x R) (2 -x =10) 2. (3 x R) (2 -x = 10) 3. ( x, y) (3x +y = y + 3x) Solucin: Conjunto universal: R (Reales) Dominio de la variable: x = - 8 Como el dominio de la variable es diferente al conjunto universal la proposicin es falsa, adems podemos encontrar un nmero real que no satisface la proposicin. 2. Conjunto universal: (Reales) Dominio de la variable: x = - 8, conjunto no vaco, por lo tanto la proposicin es verdadera. 3. Conjunto universal: R Dominio de las variables: R

La proposicin es verdadera puesto que stos conjuntos son iguales y adems todos los valores de x y de y satisfacen la expresin.

5.3 CRCULOS DE EULER Y SUS APLICACIONES


Inicialmente, el matemtico Suizo Leonhard Euler ilustr las relaciones entre proposiciones mediante crculos o regiones ovalados, que luego fueron utilizadas como diagramas por Jhon Veen: razn por la cual estas representaciones se conocen hoy con el nombre de crculos de Euler o diagramas de Veen. En esta seccin nos ocuparemos de la representacin grfica de las relaciones entre varias proposiciones; para esto consideremos las siguientes proposiciones: p: alumnos que aprueban lgica matemtica q: alumnos que aprueban el semestre acadmico u: conjunto universal formado por los alumnos de primer semestre de la facultad de Ingeniera de Sistemas Existen cuatro posibilidades de relacionar p y q, a saber: Posibilidad 1: Ningn alumno que apruebe lgica matemtica aprueba el semestre.

Posibilidad 2: Algunos alumnos que aprueban lgica aprueban el semestre.

Posibilidad 3. Todos los alumnos que aprueban lgica aprueban el semestre.

Posibilidad 4, Todos los alumnos que aprueban el semestre aprueban lgica matemtica. Es el recproco de la tabla 3.

A continuacin se representan grficamente los conectivos fundamentales mediante diagramas de Venn, donde la proposicin enunciada est determinada por la regin sombreada. 1. Negacin para una proposicin p

2. Disyuncin para dos proposiciones p y q FIGURA 14 Disyuncin

3. Conjuncin para p y q FIGURA 15 Conjuncin

Ejemplo 1: Utilizar los diagramas de Venn para representar grficamente el condicional y el bicondicional.

Se observa que el condicional se puede establecer cuando q est incluida en p, o, cuando p est incluida en q (caso 3 y caso 4 respectivamente) FIGURA 17 Bicondicional

La representacin grfica del bicondicional solamente se puede realizar si y solo si p est incluida en q y q est incluida en p (caso 3), en los dems casos no es posible. Ejemplo 2: Utilizar los crculos de Euler para demostrar el razonamiento directo. Recordemos que el razonamiento directo se simboliza as: ((p q) p) q Para realizar la demostracin utilizando los crculos de Euler, primero representamos la premisa mayor p q FIGURA 18 Premisa mayor p q

A continuacin tomamos un elemento x en p FIGURA 19 ((p q) p

Como p q y x Ejemplo 3:

p entonces x

q y as se obtiene la conclusin.

Demostrar la ley del silogismo disyuntivo utilizando los crculos de Euler. Recordemos la forma simblica del silogismo disyuntivo ((p v q) (~p)) q Como la disyuncin para p y q tiene 3 casos hacemos la demostracin para el caso 1 y los dems se dejan como ejercicio para el alumno.

Al tomar un x que se encuentra en la disyuncin (p v q) y que a la vez no est en p podemos concluir que x est en q y por lo tanto queda probado. EJEMPLO 4: Utilizando los crculos de Euler verificar la validez del siguiente argumento. Todos los leones son feroces. Algunos leones no comen carne. Por lo tanto, algunos animales que comen carne no son feroces. Para efectuar el anlisis tomamos: U: Todos los animales L: Leones F: Animales feroces C: Animales que comen carne FIGURA 22 Crculos de Euler del ejemplo 4

La parte sombreada del cuadro 2 indica que algunos leones no comen carne y la parte sombreada del cuadro 3 muestra que algunos animales que comen carne son feroces; por lo tanto, el argumento es no vlido. EJEMPLO 5: Utilizando los crculos de Euler representar la siguiente expresin: (p v q) (p v r)

FIGURA 23 Representacin del ejemplo 5 por medio de crculos de Euler

Representacin del ejemplo 5 por medio de crculos de Euler

5.4 CARACTERSTICAS DE LA DEMOSTRACIN


Un sistema lgico debe empezar con algunos trminos no definidos (o no definibles), definiciones y postulados o axiomas; a partir de ellos se pueden hacer otras afirmaciones; stas se llaman teoremas y deben probarse empleando las reglas lgica. Los pasos que se siguen para demostrar un argumento lgico son los siguientes: 1. Traducir las expresiones en forma simblica 2. Aplicar una o ms tautologas 3. Luego de simplificar el argumento por medio de una o varias tautologas, se traduce el resultado nuevamente al lenguaje comn. Para que la demostracin sea vlida es necesario dar una razn para cada paso de la demostracin. En los siguientes ejemplos se utilizarn todas las proposiciones de un argumento para obtener una conclusin vlida desde el punto de vista de la lgica. EJEMPLO 1: Si aprendes matemticas, entonces eres inteligente. Si eres inteligente, entonces entiendes a las mujeres. Paso 1. Traducir p: aprendes matemticas q: eres inteligente r: entiendes a las mujeres

Paso 2. Simplifica pq qr p r transitividad Paso 3. Traducir Conclusin: Si aprendes matemticas, entonces entiendes a las mujeres Ejemplo 2. En este caso numeramos cada proposicin as: 1. Si recibo un cheque por $500.000 iremos de vacaciones. 2. Si el auto se descompone, entonces no iremos de vacaciones. 3. El auto se descompone. Paso 1. Traducir p: recibo un cheque por $500.000 q: Iremos de vacaciones r: el auto se descompone Cada proposicin queda traducida as: 1. p q 2. r ~q 3. r Paso 2. Simplificar r ~q proposicin 2 ~q ~q contrarrecproca de la proposicin 1 r ~q transitiva r proposicin 3 ~q razonamiento directo Paso 3. Traducir Conclusin: no recibo un cheque por $500.000

EJEMPLO 3: 1. Todas las frutas inmaduras son poco saludables 2. Todas las manzanas son saludables 3. Ninguna fruta cultivada a la sombra madura Paso 1.Traducir p: frutas maduras q: frutas saludables r: estas manzanas s: frutas cultivadas a la sombra Cada proposicin queda traducida as:
~p

~q r q s ~p

Paso 2. Simplificar r q proposicin 2 q > p contrarrecproca de la proposicin 1 p ~ s contrarrecproca de la proposicin 3 r ~s transitiva Paso 3. Traducir Conclusin: Todas esta manzanas no fueron cultivadas a la sombra.

5.5 PROBLEMAS DE APLICACIN DE LA LGICA


En esta seccin aplicamos otro mtodo de demostracin para resolver algunos problemas de lgica. Ejemplo 1: Los jugadores de canicas. Cuatro jvenes (nios y muchachos) se encontraban jugando canicas. Sus nombres son Gregorio, Hctor, Ignacio y Juan. Uno de ellos tena 9 bolillas, otro 15 y los otros dos tenan 12 cada uno. Sus edades eran 3, 10, 17 y 18 aos, pero no respectivamente. Gregorio lanz antes que Hctor y Juan. Juan era mayor que el jugador que tena 15 canicas. Hctor tena menos de 15 bolillas. Juan lanz antes que hctor. Ignacio lanz despus de Hctor. Si la edad de Ignacio fuera 10 aos, entonces no tena 15 canicas. Gregorio y Juan juntos tenan un nmero par de canicas. El jugador ms joven no era el que tena 15 canicas.

Si Hctor tena 12 canicas, l no era el menor. El nio de 10 aos lanz despus del muchacho que tena 17 aos. En qu orden lanzaron las canicas y qu edad tena cada uno de los jugadores? Para solucionar este problema se emplea una matriz (ordenacin rectangular de nmeros) as: GREGORIO PUESTO 1 2 3 4 # CANICAS 9 15 12 12 EDADES 3 10 17 18 HCTOR 4 1 2 3 12 9 15 12 18 3 10 17 IGNACIO 3 4 1 2 12 12 9 15 17 18 3 10 JUAN 2 3 4 1 15 12 12 9 10 17 18 3

All se especifica la posibilidad que tiene cada jugador con relacin al puesto de lanzamiento, al nmero de canicas y a su edad. A continuacin se analiza cada premisa que suministra el problema y se inicia el proceso de eliminacin, el cual consiste en ir anulando aquellas posiciones que son imposibles de ocupar por los participantes. Agotados los pasos anteriores, se establece la conclusin; en este problema es: El primer lanzamiento lo realiz Gregorio que tena 17 aos 15 canicas; el segundo lo hizo Juan con 18 aos y 9 canicas; el tercero Hctor con 10 aos y 12 canicas; el ltimo lo realiz Ignacio que tena 3 aos y 12 canicas.

EJEMPLO 2: Problema del prisionero Tres prisioneros fueron llevados a un cuarto. En el lugar haba una gran caja que contena 3 sombreros blancos y dos sombreros negros. A cada prisionero se le vendaron los ojos y le fue puesto en la cabeza uno de los sombreros, Los hombres fueron colocados en filas, uno tras otro, dirigidos hacia la pared. Al prisionero que se encontraba ms alejado de pared le fue quitado el vendaje y se le permiti mirar los sombreros de los que se encontraban delante de l. Si deduca (no adivinando) el color del sombrero colocado en su cabeza, sera puesto en libertad. Sin embargo, fue incapaz de decirlo. Luego le fue quitado el vendaje al siguiente prisionero, quien poda ver solamente el sombrero que tena puesto el hombre que se encontraba delante de l. Este prisionero tuvo la misma oportunidad de obtener su libertad, pero tambin fue incapaz de decir el color de su sombrero. El hombre restante dijo a los guardias el color del sombrero que l tena puesto y fue dejado en libertad. De qu color era este sombrero y cmo lo dedujo? FIGURA 24 Ilustracin del ejemplo2

1. Qu vio el prisionero C? Hay cuatro posibilidades:

La posibilidad IV queda descartada, pues si la hubiera visto habra podido deducir que l tena puesto un sombrero blanco, y hubiera quedado en libertad, no fue as; luego slo quedan las posibilidad I, II, III. 2. Qu vio el prisionero B? Si hubiera visto un sombrero negro, entonces haba deducido que su sombrero era blanco. Esto elimina el caso III. Puesto que slo quedan las posibilidades I y II y ellas indican un sombrero blanco para el prisionero de delante, el prisionero A dedujo que tena un sombrero blanco.

Cuantificador: expresin que permite restringir los valores de las variables, de tal forma que la proposicin toma un solo valor de verdad para dicha restriccin. Cuantificador existencial: se simboliza " 3) x "e informa que existe un slo valor para la variable x que hace verdadera la proposicin dada. Cuantificador universal: se simboliza " V x " y afirma que todos los valores de x hacen la proposicin verdadera. El valor de verdad de una proposicin que contiene un cuantificador depende del conjunto universal y del conjunto dominio de la variable, lo cual permite afirmar: 1. Una proposicin con cuantificador existencial es verdadera si y slo si el dominio de la variable es Igual al conjunto universal. 2. Una proposicin con cuantificador existencial es verdadera si y slo si el dominio de la variable no es vaco. Crculos de EULER o diagrama de VEEN: Rectngulos con regiones ovaladas que ilustran las relaciones entre proposiciones y adems, se utilizan para demostrar algunas tautologas.

Para demostrar argumentos lgicos es necesario tener en cuenta los siguientes pasos: 1. Traducir las expresiones a la forma simblica 2. Aplicar las tautologas que sean necesarias y simplificar el argumento, siempre que sea posible. 3. Despus de obtener la conclusin, traducirla nuevamente al lenguaje ordinario.

1. Indicar el tipo de cuantificador que debe utilizarse en cada una de las siguientes proposiciones: 1.1 Algunas manzanas estn verdes 1.2 Todos los computadores son elctricos 1.3 Existen enteros negativos 1.4 Algunos enteros son positivos 1.5 Todos los cuadrados son rectngulos 2. Escriba cada una de las siguientes expresiones abiertas como una proposicin verdadera empleando el cuantificador universal o existencial. Tomar como conjunto universal los nmeros reales, 2.1 2.2 2.3 2.4 2.5 x +8 = 0 x2-4x + 3 = (x-3) (x- 1) 3y < 10 xy=yx a (b + c) = ab + ac

3. Determinar el valor de verdad de las siguientes proposiciones. Tenga en cuenta los siguientes conjuntos universales: U = R 3.1 3.2 3.3 3.4 ( ( ( ( x x x x ; D = {-2, -1 , O, 1 ,2} D) (x-2 =0) R) (x-8 =0) R) (3x+ 1Ox = 13x) R) (x + 2 =10)

3.5 ( 3.6 ( 3.7 ( 3.8 ( 3.9 ( 3.10(

D) (4x+ 1 =0) x D) ((x+ 1) (x- 1) = x2- 1) x D) (x2+ 1 = (x+ I)2) x R) (l +x = x+ 1) x D) (x2-2x+ 1 = 1) x R)(l -x = x- 1 )
X

4. Utilizando los crculos de Euler representar las siguientes expresiones: 4.1 ~ p q 4.2 ~p (~q) 4.3 p (- q) 4.4 p v (~q) 4.5 ~ p v (~q) 4.6 q (-p) 4.7 p v (q v r) 4.8 (p v q) v r 4.9 p v (q r) 4.10 (p v q) (p v r) 5. Para cada uno de los siguientes argumentos obtenga una conclusin vlida empleando todas las proposiciones la correspondiente demostracin. 5.1 SI estoy ocioso, entonces me vuelvo holgazn. Estoy ocioso. 5.2 Si nos oponemos a la publicacin de informacin falsa, somos culpables de suprimir la libertad de otros. No somos culpables de suprimir la libertad de otros. 5.3 Si 2 divide a un entero positivo N y si N es mayor que 2, entonces N no es un nmero primo. N es un nmero primo 5.4 Si vas a la universidad, entonces obtienes un buen empleo. Si obtienes un buen empleo, entonces ganas mucho dinero. Si no obedeces la Ley, entonces no ganas mucho dinero. Vas a la universidad. 5.5 Si escalas la montaa ms alta, entonces te sientes grande. Si te sientes grande, entonces ests contento.

OBJETIVO GENERAL
Identificar cundo un conjunto con una o ms operaciones cumple las propiedades de estructura de grupo y de cuerpo.

OBJETIVOS ESPECFICOS
Definir un sistema matemtico. Identificar y analizar cada una de las propiedades o axiomas que debe verificar un sistema matemtico.

6.1 SISTEMA MATEMTICO


Llamamos sistema matemtico al conjunto no vaco de elementos con una o ms operaciones definidas y una o ms relaciones que satisfacen un conjunto de axiomas. El conjunto de todas las proposiciones posibles da lugar a un sistema matemtico que se estudiar en este captulo y el cual est formado por: 1. Conjunto: Son todas las proposiciones p, q, r, s, t,.... 2. Operaciones: Las operaciones binarias disyuncin (o " v ") conjuncin (y " "). 3. Relacin: Equivalencia entre proposiciones y

4. Axiomas: Es el conjunto de propiedades que verifica un conjunto y que se estudiarn a continuacin.

6.2 PROPIEDAD DE CERRADURA


Se dice que un conjunto es cerrado (o posee la propiedad de cerradura) si al realizar la operacin definida sobre ese conjunto, su resultado es tambin un elemento del conjunto dado. El sistema matemtico formado portadas las proposiciones es cerrado, ya que al realizar la conjuncin y la disyuncin entre dos proposiciones, en ambos casos, el resultado es una proposicin del conjunto.

6.3 PROPIEDAD CONMUTATIVA


Dadas dos proposiciones p y q se probar que verifican: 1. p q q p 2. p v q q v p Es decir, que la conjuncin y la disyuncin satisfacen la propiedad conmutativa. Para cada operacin se realizar la respectiva tabla de verdad para verificar que es una tautologa. 1. (p q) (q p)

TABLA 31 Propiedad conmutativa de la conjuncin p V V F F q V F V F pq V F F F qp V F F F (p q) (q p) V V V V

2. (p v q) (q v p) TABLA 32 Propiedad conmutativa de la disyuncin p V V F F q V F V F pvq V V V F qvp V V V F (p v q) (q v p) V V V V

6.4 PROPIEDAD ASOCIATIVA


Dadas tres proposiciones p, q, r se demostrar que verifican: 1. ((p q) r) (p (q r) 2. ((p v q) v r) (p v (q v r) Las demostraciones se realizarn mediante la construccin de la tabla de verdad. 1. ((p q) r) (p (q r)) Para facilitar la escritura en la tabla de verdad se tomar: ((p q) r) como *1, y, (p (q r)) como *2

TABLA 33 Propiedad asociativa de la conjuncin 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 pq V V F F F F F F (p q) r V F F F F F F F qr V F F F V F F F p (q r) V F F F F F F F *12 V V V V V V V V

2. ((p v q) v r) (p v (q v r)) Esta propiedad queda como ejercicio para que usted, amigo estudiante, afiance y adquiera habilidad en la elaboracin de tablas de verdad con la disyuncin.

6.5 PROPIEDAD DISTRIBUTIVA


Dadas las proposiciones p, q, r se pueden establecer y probar las siguientes propiedades distributivas de la conjuncin respecto a la disyuncin y lo contrario. 1. (p (q r)) (p q) v (p r)) 2. (p v (q r)) (p v q) (p v r)) 1. (p (q v r)) ((p q) v (p r)) Para facilitar la escritura en la tabla de verdad se tomar: (p q) r)) como *1, y, ((p q) v (p r)) como *2

TABLA 33 Propiedad distributiva de la conjuncin respecto a la disyuncin.

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

pq V V F F F F F F

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

qr V F F F V F F F

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

*12 V V V V V V V V

6.6 ELEMENTOS DE IDENTIDAD


En el captulo 4 llamamos tautologa a la proposicin que siempre es verdadera y contradiccin a la proposicin que siempre es falsa; en esta seccin se representar por el smbolo " 1" la tautologa y por el smbolo "O" la contradiccin, smbolos que denominamos elementos de Identidad para la conjuncin y para la disyuncin respectivamente. Lo anterior se expresa simblicamente as: 1. p 1 p, en general, p (tautologia) p 2. p v 0 p, en general, p v (contradiccin) p Donde p es cualquier proposicin. Las demostraciones se realizan mediante el uso de las tablas de verdad. 1. p 1 p TABLA 35 p1p p V F 2. p v 0 p 1 V V p1 V F p1p V V

TABLA 36 pv0p p V F 0 F F p0 V F p0p V V

6.7 INVERSA DE UNA PROPOSICIN Y PROPIEDAD DE COMPLEMENTACIN


En la seccin anterior se demostr: 1. p (tautologa) p, es decir, que una tautologa es el elemento Identidad para la conjuncin, portal razn, para cada proposicin p existe ~ p tal que debe cumplir que p (~p) tautologa es cierto? Realicemos la demostracin. TABLA 37 p (~p) no es tautologa p V F ~p F V p (~p) F F

Esto nos lleva a concluir que las proposiciones no tienen inversa para la conjuncin. 2. p v (contradiccin) p, es decir, una contradiccin es el elemento identidad para la disyuncin, por tal razn, para cada proposicin p existe ~ p tal que debe cumplir que p v (~ p) contradiccin Es cierto? Realicemos la demostracin TABLA 38 P V (~p) no es conduccin p V F ~p F V p(~p) V V

Por tal motivo podemos concluir que las proposiciones no tienen Inversa para la disyuncin. Con la parte 1 y la parte 2 queda demostrado que el conjunto formado por todas las proposiciones no posee la propiedad de la existencia de inversos; pero las operaciones " y" v " estn muy relacionadas mediante estos resultados: 1. p (~p) 0 2. p v (~p) Es decir, una proposicin y su negacin siempre es una contradiccin; una proposicin o su negacin es siempre una tautologa; a estas relaciones, se les denomina propiedad de complementacin; la demostracin queda como ejercicio.

Sistema matemtico: Conjunto de elementos con operaciones definidas, relaciones y axiomas. La lgica simblica constituye un sistema matemtico formado por todas las proposiciones, con las operaciones conjuncin y disyuncin, con la relacin de equivalencia y con las propiedades de cerradura, conmutativa, distributiva, con elementos de identidad y con la propiedad de complementacin.

1. D ejemplos de sistemas matemticos y luego socialcelos con los compaeros. 2. Sea N el conjunto de los nmeros naturales, con la adicin definida sobre N. Cumple este sistema las propiedades estudiadas en la Unidad? Justifique su respuesta. 3. El conjunto de los nmeros 'enteros (Z) con las operaciones adicin y producto cumple las propiedades estudiadas en este captulo? Justifique. 4. Determine si en el conjunto P (todas las proposiciones) la negacin es distributiva respecto de la conjuncin. Justifique su respuesta. 5. Qu entiende por elemento Identidad?

OBJETIVO GENERAL
Aplicar la teora proposicional a los circuitos elctricos. Representar los circuitos abiertos y cerrados por medio de la conjuncin y la disyuncin.

OBJETIVOS ESPECFICOS
Definir los circuitos de conmutacin y establecer su relacin con los circuitos lgicos. Relacionar las dos posiciones de un conmutador (abierto o cerrado) con los valores de verdad de una proposicin (verdadero o falso). Identificar los circuitos elctricos (compuertas lgicas) de negacin, conjuncin y disyuncin.

7.1 DEFINICIN Y REPRESENTACIN DE LOS CIRCUITOS LGICOS


Para llegar al concepto de circuito lgico es necesario establecer una relacin con circuitos fsicos como los de naturaleza elctrica, entonces se estudiarn los conmutadores y las diferentes combinaciones que se pueden efectuar entre ellos, las cuales tiene aplicacin en electrnica y circuitos digitales entre otros. Se llaman circuitos de conmutacin a los circuitos formados por conmutadores o interruptores; para estos dispositivos se consideran dos posiciones: cerrados o abiertos, simbolizadas por "ON" y por "OFF" respectivamente. Un interruptor se encontrar cerrado o abierto y nunca en posicin intermedia. Un conmutador se puede representar grficamente as: FIGURA 25 REPRESENTACIN GRAFICA DE UN CONMUTADOR

EJEMPLO 1: Se conecta una lmpara a un circuito con interruptor, de tal forma que la lmpara se encienda cuando el conmutador est cerrado y se apague cuando est abierto. Si se representa por la lmpara, la fuente de energa por el circuito se puede representar esquemticamente como sigue:

FIGURA 26 Activacin de una lmpara mediante un interruptor

La lmpara se encender siempre que se cierre el circuito, es decir, cuando P adquiera la posicin "ON" y se apagar cuando se abra el circuito o sea cuando P tome la posicin "OFF". Las siguientes figuras muestran estas dos posiciones: FIGURA 27 Conmutador en posicin ON y OFF, respectivamente

El ejemplo anterior muestra claramente que los conmutadores solamente pueden estar en una de las dos posiciones (cerrado o abierto) y como las proposiciones lgicas toman un solo valor de verdad (verdadero o falso), se puede establecer una relacin entre un conmutador y una proposicin lgica; para esto se asigna una proposicin P al conmutador, de tal forma que si P es verdadera se asume que el conmutador est "cerrado" (ON) y si P es falsa el conmutador estar "abierto" (OFF), a estos conmutadores se les denomina circuitos lgicos o compuertas lgicas. A continuacin se analizarn tres circuitos lgicos:

7.2 CIRCUITO DE NEGACIN


Es importante relacionar el estado de la lmpara con la posicin del circuito lgico, as: Si P es verdadera el conmutador est "cerrado" y la lmpara estar encendida; anlogamente si P es falsa el conmutador esta "abierto" y la lmpara estar apagada. Para analizar este circuito se recuerda la tabla de verdad de la negacin: TABLA 41 Tabla de verdad de la negacin P V F ~P P V

Se observa que el valor de verdad de ~ P es el opuesto al valor de P esto significa que cuando el conmutador P est "cerrado" (P verdadera) la lmpara debe estar apagada y si el conmutador P est "abierto" (P falso) la lmpara debe estar encendida.

El circuito de la negacin se puede representar grficamente as: FIGURA 28 Circuito de negacin

7.3 CIRCUITO DE CONJUNCIN


Este circuito toma dos conmutadores P y Q. Se recuerda la tabla de verdad de la conjuncin: TABLA 40 Tabla de verdad de la conjuncin P V V F F Q V F V F PQ V F F F

Indica que P Q es verdadera si y solo si P y Q son ambas verdaderas, en trminos de circuitos esto significa que los conmutadores P y Q deben estar conectados en serle de tal manera que si ambos estn "cerrados" (P y Q verdaderas) el circuito estar "cerrado" y la lmpara estar encendida. Como ejemplo se pueden citar los circuitos elctricos con componentes e Interruptores conectados en serie, como en algunos sistemas de iluminacin.

FIGURA 29 Circuito de conjuncin

7.4 CIRCUITO DE DISYUCIN


Analizando la tabla de verdad de la disyuncin. TABLA 41 Tabla de verdad de la disyuncin P V V F F Q V F V F PVQ V V V F

Se observa que P v Q es verdadera siempre que alguno de los conmutadores P o Q sea verdadero, en trminos de circuitos esto significa que P y Q deben estar conectados en paralelo, de tal forma que el circuito est cerrado; cuando algn conmutador P o Q est cerrado, es decir, la lmpara est encendida siempre que alguno de los conmutadores P o Q est cerrado. La representacin grfica de este circuito es la siguiente.

FIGURA 30 Circuito de disyuncin

Con frecuencia se combinan los circuitos de negacin, conjuncin y disyuncin originando otros ms complejos y convirtiendo su representacin grfica en un esquema complicado; para obviar este problema se emplean nuevos smbolos notacionales con los cuales se representan los circuitos completos.

7.5 COMPUERTAS LGICAS


Las compuertas son dispositivos estado de una seal biestable. capaces de cambiar el

7.5.1 COMPUERTA NO (O NOT)


La compuerta "No" acepta como entrada un valor P y produce como salida su negacin P. Por esta razn esta compuerta tambin se denomina inversor; se representa mediante el siguiente diagrama:

FIGURA 31 Compuerta "No"

Y remplaza la representacin grfica del circuito de negacin. P representa el estado del interruptor y P el estado de la lmpara.

7.5.2 COMPUERTA "V" (O AND)


Su representacin grfica es: FIGURA 32 Compuerta "Y"

Esta compuerta tiene dos conmutadores P y Q los cuales se representan como dos entradas y una salida P A Q que representa el estado de la lmpara.

7.5.3 Compuerta "O" (u OR)


Grficamente se representa as:

FIGURA 33 Compuerta "O"

Al igual que la anterior compuerta tiene dos entradas que representan los estados de los conmutadores P y Q y una salida P v Q que representa el estado de la lmpara. Utilizando las compuertas lgicas simbolizar cada una de las siguientes proposiciones. Hay que recordar que los parntesis indican la operacin que se debe realizar primero. Ejemplo 1: FIGURA 34 ~ (P v Q)

Ejemplo 2: Figura 35 P (Q V R)

Ejemplo 3, Disear un circuito que determine los valores de verdad de la proposicin (P v Q) Q. Primero se simboliza la proposicin mediante el uso de compuertas lgicas, as: FIGURA 36 (P v Q) Q

A continuacin, se conecta una lmpara al circuito, de tal forma que cuando la proposicin es verdadera, la lmpara debe estar encendida y cuando sea falsa, la lmpara debe estar apagada. Esta conexin se representa as:

FIGURA 37 CIRTUITO DE LA PROPOSICIN

Circuito de conmutacin: circuitos formados por conmutadores o interruptores. Conmutador: Dispositivo que se encuentra en una de las dos posiciones "cerrado" (ON) o "abierto" (OFF); sin embargo algunas veces se representa as:

Para indicar que en cualquier instante particular poda estar ya sea cerrado o abierto. Si se conecta una lmpara a un circuito con este interruptor, la lmpara se enciende cuando el conmutador est cerrado y se apaga cuando el conmutador est abierto. Cuando se le asigna una proposicin p a un conmutador, se establece una relacin conmutador-proposicin, de tal forma que si p es verdadera el conmutador est cerrado (ON) y por lo tanto la lmpara estar encendida. Anlogamente, si p es falsa el conmutador toma posicin (OFF) y la lmpara estar apagada. Los circuitos elctricos denominados compuertas lgicas poseen una o ms entradas y slo una salida. Algunos de estos son:

1. Circuito de negacin, o compuerta No (o NOT) ,representado grficamente as:

2. Circuito de conjuncin, o compuerta "Y " (o AND), representado grficamente as:

3. Circuito de disyuncin, o compuerta " O " (u OR), representado grficamente as:

1. Represente grficamente cada una de los siguientes elementos: 1.1 Lmpara 1.2 Fuente elctrica 1.3 Interruptor 1.4 Compuerta "Y 1.5 Compuerta "No" 2. Utilizando un conmutador realice el diagrama de un circuito que represente cada una de las siguientes proposiciones: 2.1 P (P) 2.2 (P V Q) 3. Usando compuertas "Y", compuertas "O" y compuertas "'NO", disee circuitos que determinen los valores de verdad de las siguientes proposiciones. 3.1 (P Q) V (P V Q) 3.2 ((P Q) V R) 4.1 Realice el diagrama del siguiente circuito _______________________ ___________________ {((P V Q) (P)) (P)} 4.2 Si cada compuerta del circuito 4.1 vale $ 800.oo y una compaa va a fabricar un milln de artculos que incluyen este circuito cunto costarn los circuitos?

OBJETIVO GENERAL
Definir un sistema axiomtico llamado algebra booleana, a partir de las propiedades del sistema matemtico de la lgica simblica.

OBJETIVO ESPECIFICO
Aplicar los smbolos de la lgica proposicional para verificar que el sistema numrico, el algebra de conjuntos y los circuitos de conmutacin forman un algebra booleana.

8.1 DEFINICIN
Las propiedades del sistema matemtico de la lgica simblica analizada en el captulo 6, se pueden aplicar al lgebra de conjuntos; para tal fin, se define un sistema matemtico abstracto llamado Algebra Booleana en el cual los smbolos carecen de significado y por tal motivo sta lgebra puede aplicarse en otras reas. Para definir este sistema abstracto es conveniente recordar que una operacin binaria es una funcin que asigna a cada pareja ordenada un solo elemento. Se dice que un conjunto A formado por elementos a,b,c,....,z; con dos operaciones binarias simbolizadas como * y #; y una relacin de equivalencia simbolizada por = ,es un Algebra Booleana si satisface las siguientes propiedades: 1. Cerradura: Si a, b son elementos de A, entonces (a * b) y (a # b) tambin son elementos de A 2. Conmutativa: Si a, b son elementos de A, entonces (a * b)= (b * a) (a # b)= (b # a) 3. y

Asociativa: Si a, b, c son elementos de A, entonces y

(a * b) * c = a * (b * c) (a # b) # c = a # (b # c) 4.

Distributiva: Si a, b, c son elementos de A, entonces

a * (b # c) = (a * b) # (a * c) y a # (b * c) = (a # b) * (a # b) 5. Identidad: Existen elementos e, O en tales que: a*0=a y a#e=a Los elementos Oye reciben el nombre de elementos neutros para las operaciones * y # respectivamente

6. Complementacin: Para cada elemento a que pertenece al conjunto A existe un elemento a' en A tal que: a * a' = 0 y a # a' = e a' se llama elemento inverso para las operaciones * y #.

8.2 ALGEBRA BOOLENA EN SISTEMAS NUMRICOS


Para este sistema se puede adoptar la siguiente simbologa: A: Conjunto de nmeros enteros (Z) Operaciones binarias: + Adicin * Producto Relacin de equivalencia: = A continuacin se realiza la verificacin de que el conjunto de nmeros enteros (Z) es un lgebra booleana, es decir, que satisface cada una de las siguientes propiedades: 1. Cerradura: Si a, b, c, d son elementos de Z, entonces: a+b=c y a*b=d 2. Conmutativa: Para cada par de elementos a y b de Z se verifica: a+b=b+a y a*b=b*a 3. Asociativa: Si a, b, c, son elementos de Z, entonces: a + (b + c) = (a + b) + c = (a + c) + b y a * (b * c) = (a * b) * c = (a * c) * b 4. Distributiva: Si a, b, c, son elementos de Z, entonces: a + (b*c) = (a + b) * (a+ c) y a * (b + c) = (a * b) + (a * c) 5. Identidad: Existen en Z elementos O, 1 tales que: A+0=a y a*l=a Los elementos O y 1 reciben el nombre de elementos neutros para la adicin y multiplicacin respectivamente. 6. Complementacin: Para cada elemento a que pertenece al conjunto Z, existe un elemento (-a) que tambin pertenece al

conjunto de enteros tal que: a + (- a) = O, (-a) es llamado el inverso aditivo del elemento a. Hay que aclarar que la operacin binaria del producto no tiene inverso multiplicativo, es decir, no existe un elemento en los enteros tal que al multiplicarlo con otro entero de como resultado el elemento neutro del producto (1)

8.3 ALGEBRA BOOLEANA DE LA LGICA


Para este sistema matemtico la simbologa correspondiente es: A: Conjunto de todas las proposiciones Operaciones binarias: V Disyuncin Conjuncin Relacin de equivalencia: Elemento neutro: La contradiccin (O) para la disyuncin La tautologa (1) para la conjuncin Elemento Inverso (a'): La negacin de una proposicin La verificacin de que la lgica simblica es un Algebra booleana corresponde al anlisis preposicional realizado en el captulo 6.

8.4 ALGEBRA BOOLEANA DE LOS CONJUNTO


En este sistema se interpreta la simbologa del lgebra booleana as: A: Todos los subconjuntos de un conjunto universal U Operaciones binarias: U Unin Interseccin Relacin de equivalencia: = A continuacin se demuestra, que el lgebra de conjuntos satisface las propiedades de un lgebra booleana. Sean B, C, D, subconjuntos del conjunto A

1. Cerradura B U C es un subconjunto de A y B C es un subconjunto de A 2. Conmutativa

BUC=CUB Y BC=CB 3. Asociativa

(B U C) U D = B U (C U D) y (B C) n D = B n (C U D) 4. Distributiva B U (C D) = (B U C) n (B U D) y

5. Identidad. Existen en el conjunto universal U, el conjunto O (vaco) y el conjunto A tales que: BUA=A y B=

Los conjuntos y A se denominan elementos neutros para la interseccin y para la unin respectivamente. 6. Complementacin. Para cada subconjunto B del conjunto A, existe un subconjunto B', que tambin pertenece al conjunto A tal que: B U B' = A y B B' = O. B' se denomina complemento de B 8.5 ALGEBRA BOOLEANA DE LOS CIRCUITOS DE CONMUTACIN Para este sistema se toma la siguiente simbologa del lgebra booleana. A: Conjunto de los circuitos de conmutacin. Operaciones binarias: Conexin en serie V Conexin en paralelo Relacin de equivalencia: Elemento neutro: Circuito cerrado representado por el smbolo 1 Circuito abierto representado por el smbolo O Elemento inverso (a'): Circuito de negacin La demostracin de que los circuitos de conmutacin forman un Algebra Booleana, queda como ejercicio para el alumno.

Algebra Booleana; Sistema matemtico abstracto formado por un conjunto (no vaco), una relacin de equivalencia y dos operaciones binarias que satisfacen las siguientes propiedades: 1. Cerradura 2. Conmutativa 3. Asociativa 4. Distributiva 5. Poseer elemento de identidad 6. Complementacin El sistema numrico, lgica simblica, los conjuntos y los circuitos de conmutacin son ejemplos de sistemas que verifican los propiedades de un Algebra Booleana.

1. Qu entiende por Algebra Booleana? 2. Pruebe que el conjunto A (formado por todas las proposiciones) se cumple la propiedad asociativa de la conjuncin. 3. Qu significa elemento de identidad? 4. Justificando su respuesta, determine si en el conjunto A, la negacin es distributiva respecto a la disyuncin. 5. Un conmutador booleano es un dispositivo de alambres e interruptores que se puede construir mediante combinaciones en serie y en paralelo, as:

Donde A y B son interruptores

Dados los siguientes circuitos describa la conexin realizada. A y A' significa que cuando uno est abierto el otro cerrado y lo contrario.

Para cada una de las siguientes conexiones construya el circuito correspondiente. 5.3 A (B V A') C 5.4 (A (C V B')) V (B C')

1. Intuitivamente, un conjunto es una coleccin de objetos bien definidos. Estos objetos reciben el nombre de elementos o miembros del conjunto; se nombran con letras maysculas y sus elementos con letras minsculas escritas entre corchetes o llaves. Los conjuntos se representan grficamente por medio de diagramas denominados diagramas de Venn-Euler o simplemente, diagramas de Venn; en los cuales los conjuntos se delimitan por crculos. 2. Existen dos formas para determinar un conjunto: 2.1 Por extensin: nombrando cada elemento. Ejemplo A = {1,3, 5, 7,9} 2.2 Por comprensin: enunciando propiedades comunes entre los elementos. Para esta forma se emplea una letra (por lo general x) para representar un elemento cualquiera del conjunto. Ejemplo A = {x / x es dgito impar} 3. Un elemento est o no est en un conjunto, es decir, forma parte o no forma parte del conjunto. Si A es un conjunto y x es un elemento cualquiera, se puede afirmar que: X pertenece al conjunto A si x est en A. simblicamente se representa as: " x A. x no pertenece al conjunto A si x no est en A. Simblicamente su representacin es: "x A. Cuando un conjunto carece de elementos se dice que el conjunto es vaco, se simboliza as: {}, o as, O. 4. Dos conjuntos A y B se relacionan segn sus elementos as:

4.1 SI no tienen ningn elemento en comn. En este caso se llaman conjuntos disyuntas y su representacin grfica es:

4.2 Si tienen solamente unos elementos en comn. Grficamente,

4.3 Si todos los elementos de A son elementos de B; en ste caso se dice que A est contenido en B o que B contiene al conjunto A, simblicamente se escribe A c B. Grficamente.

4.4 Anlogamente, si todos los elementos de B son elementos de A, aqu se afirma que B est contenido en A o que A contiene al conjunto B, se simboliza por B c A y grficamente.

4.5 Cuando A c B y B c A, se dice que los conjuntos A y B son guales, es decir, cuando todos los elementos de A son elementos de B y lo contrario. Simblicamente A = B .Grficamente,

5.1 La unin d los conjuntos A y B es un conjunto formado por los elementos que pertenecen al conjunto A o al conjunto B, o a ambos. La unin entre A y B se simboliza por A U B AUB = {x/x A, v, x B}

5.2 La interseccin entre dos conjuntos A y B es el conjunto formado por los elementos comunes al conjunto A y al conjunto B, es decir, es el conjunto formado por los elementos que simultneamente pertenecen al conjunto A y al conjunto B. Esta operacin se simboliza por A B y se define as: A B = {x/x A, , x B}

5.3 La diferencia entre dos conjuntos A y B es el conjunto formado por los elementos que pertenecen al conjunto A y no pertenecen al conjunto B; esta operacin se representa simblicamente A - B y se define as: A - B = {x/x A, , x B}

5.4 El complemento de un conjunto A es el conjunto formado por todos los elementos que no pertenecen al conjunto A; su representacin simblica est dada por A' y se define as: A' = {x / x A}

8.1 8.2 8,3 8.4

B' A'-B1 A U (B C) (A B) U (A C)

1. Lgica es la ciencia del pensamiento racional. 4. La lgica pretende obtener precisin, claridad y generalidades en sus razonamientos. 5. Expresin lingstica con la propiedad de que es verdadera o falsa, simples y compuestas. 6. 1. Inductivo 6. 2. Deductivo. 6. 3. Inductivo 6. 4. Deductivo 6. 5. Inductivo 7. 1. Los nmeros pares se pueden representar como el producto de dos por cualquier nmero real. Inductivo. 7. 2. Maana ser domingo. Deductivo 7. 3. Scrates es mortal. Deductivo 7.4. Mi animal favorito es el conejo. Deductivo 7. 5. x=3. Deductivo

2.1 p: Patricia est comiendo q: Patricia se est divirtiendo p q: Patricia est comiendo y divirtindose 2.2 p: Alfredo vino anoche q: Alfredo recogi su dinero (~P) (~q): Alfredo no vino anoche y no recogi su dinero 2.3 p: 4 es positivo q: ~ 4 es negativo p q: 4 es positivo y - 4 negativo 2.4 p: la figura es un tringulo q: la figura es un crculo p v q: la figura es un tringulo o un crculo 2.5 p: todos los crculos son redondos q: todas las lneas son rectas ~q: no todas las lneas son rectas. P ~q: todos los crculos son redondos y no todas las lneas son rectas

1.1 4+1=0 1.2 El internet no es un medio de comunicacin 1.3 11 no es un nmero primo 1.4 El rea de un cuadrado no se halla multiplicando el largo por el ancho 1.5 2<3 1.6 8 >5 1.7 ~(~(~q)) = ~q 1.8 No irs hoy en la noche y no irs maana. No irs hoy en la noche ni maana 1.9 El hombre no vive para comer y come para vivir 1.10 Si un tringulo tiene todos sus lados iguales es equiltero 2.1 2.2 2.3 2.4 3.1 3.2 3.3 3.4 par rp ~(~q) q v(~s) ~ (~r ~p) 13 es nmero primo y nmero impar 26 es nmero primo o nmero par 13 y 2 son nmeros primos y 13 es impar y 26 es par 13 es impar y 26 no es primo o es falso que 13 es primo y 26 es

4. Tabla de la proposicin 3.1 p V V F F q V F V F ~q F V F V p ~q F V F F

Tabla de la proposicin 3.2 r V V F F 5.1 V 5.4 V 5.7 V 5.2 V 5.5 V s V F V F ~r F F V V ~r v s V F V V 5.3 V 5.5 F

6.1 Si tienes xito, entonces aprecias la opinin de los dems 6.2 Si es trabajo entonces es noble 6.3 Si hay combustin entonces est presente el oxgeno 6.4 Si una funcin es continua, entonces es diferenciable

3.1 Ley de la doble negacin. Vlido 3.2 Ley del medio excluido. Vlido 3.3 Tautologa trivial. Vlido 3.4 Invlido. Negacin del antecedente. 3.5 Vlido. Ley transitiva 3.6 Vlido contrarrecproca 3.7 Invlido. Afirmacin del consecuente 3.8 Vlido. Razonamiento directo, o "Modus ponendo ponens"

3.9 Vlido. Silogismo disyuntivo 3.10 Vlido razonamiento indirecto o "Modus tollens" 3.11 Invlido. Negacin del antecedente 3.12 Vlido. Ley de la contrarrecproca 3.13 Invlido. Esquema de cadena falso 3.14 Vlido. Silogismo disyuntivo 3.15 Vlido. Razonamiento Indirecto o "Modus tollens" 3.16 Vlido. Razonamiento directo o "Modus ponendo ponens" 3.17 Invlido. Afirmacin del consecuente 3.18 Vlido. Razonamiento directo 3.19 Vlido, Silogismo disyuntivo 3.20 Vlido Ley contrarrecproca 4.1 Ley de Morgan ~ (p q) (~p) v ~ q) p V V F F q V F V F pq V F F F ~(p q) F V V V ~p F F V V ~q F V F V (~p) v ~ q) F V V V 12 V V V V . :

4.2 Ley de la implicacin y disyuncin (p q) (~p v q) p V V F F q V F V F pq V F V V ~p F F V V ~p v q V F V V (p q) (~p v q) V V V V

4.3 Ley de contradiccin ~ (p (~p)) p V F ~p F V P~p F F ~(p (~p)) V V

4.4 Propiedad idempotente (p v p) p p V F Pq V F Pvqp V V

4.5 Ley de reduccin P v (p q) p p V V F F q V F V F Pq V F F F P v (p q) V V F F P v (p q) p V V V V

1.1 Existencial 1.2 Universal 1.3 Existencial 1.4 Existencial 1.5 Universal 2.1 ( ) x) (x + 8 = 0) 2.2 (Vx) (x2-4x + 3 = (x-3) (x-l) 2.3 ( ) y) (3y < 10)

5 (Vx) (Vy) (xy = yx) 2.6 (V a, b, c) (a (b + c) = ab + ac) 3.1 3.2 3.3 3.4 3.5 V V V F F 3.6 3.7 3.8 3.9 3.10 V F V V F

5.1 Me vuelvo holgazn. 5.2 No nos oponemos a la publicacin de informacin falsa 5.3 Dos no divide a N o N no es mayor que 2 5.4 Obedeces la ley 5.5 Si escalas la montaa ms alta, entonces ests contento

2. (N, +) no cumple la distributiva, no tiene elemento identidad ni tiene inverso. 3. (Z, +,*) Si, Tiene inverso aditivo, no cumple la propiedad de completacin. 4. No. La respuesta se justifica elaborando la tabla de verdad de (~ (p q)) (~p (~q)) y mostrando que el resultado no es una tautologa.

2. Hay que probar que p (q r) (p q) r, lo cual se demuestra verificando que la tabla de verdad correspondiente es una tautologa. p V V V V V V V V q V V F F V V F F r V F V F V F V F qr V F F F V F F F P (q r) V F F F F F F F pq V V F F F F F F (p q) r V F F F F F F F

*1 2 V V V V V V V V

Para facilitar la escritura en la tabla de verdad se toma *1 como p (q r) y como *2 (P q) r 3. Es importante aclarar con el tutor este y otros conceptos de un sistema matemtico, si tiene dudas al respecto. 4. La respuesta es negativa. Su justificacin se realiza mostrando que la tabla (~ (p v q)) (~ p v ~q)) no es tautologa 5.1 A (B v A') 5.2 (A B') v ((A' V C) B) 5.3

5.4

Introduccin a la lgica matemtica / Arrambide Galicia. - - Mxico: Me Graw Hill, 1985 Introduccin a la lgica simblica / J. Smith Karl. - - Mxico: Iberoamrica, 1991 Matemticas discretas / Ross A, Kenneth y Wright Charles R.B. - - 2 ed. - - Mxico: Prentice Hall, 1990 Teora de conjuntos y temas afinaes / Seymor Lipschutz. - Bogot: Me Graw Hill, 1980