Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
LGICA MATEMTICA
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
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
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
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
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.
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.
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.
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.
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.
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.
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....
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.
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.
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.
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:
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.
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
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)
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.
TABLA 11.
Doble negacin P V F ~p F v ~ (~ p) v F
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.
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
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
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
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.
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.
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.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.
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
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
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
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.
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.
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.
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.
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.
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).
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.
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
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
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)
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.
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
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)
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.
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.
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
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.
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:
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:
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.
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.
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.
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.
Y remplaza la representacin grfica del circuito de negacin. P representa el estado del interruptor y P el estado de la lmpara.
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.
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:
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. 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
(a * b) * c = a * (b * c) (a # b) # c = a # (b # c) 4.
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 #.
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)
(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:
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.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}
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
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 . :
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