www.monografias.

com

Lgica matemtica y lgebra de Boole

Francisco Antonio Cabrera Gonzlez - f_cabrera51@hotmail.com 1. 2. 3. 4. 5. 6. 7. 8. 9. Planteamiento terico-conceptual lgebra de Boole Proposiciones simples y sentido comn Proposiciones compuestas y conectivos lgicos Conectivos lgicos y tabla de verdad Traduciendo del lenguaje natural al lenguaje simblico Tablas de verdad para proposiciones complejas Laboratorio Bibliografa

1- PLANTEAMIENTO TERICO-CONCEPTUAL: Segn el escritor panameo Moiss Chong, en su obra Lecciones de Lgica e Introduccin al Mtodo Cientfico el concepto de la Lgica se entiende como una ciencia formal y, de manera ms exacta como una disciplina desligada por completo de todo posible contenido o materia. Pero la lgica estudia, tambin, las estructuras del pensamiento, con lo cual queda entendido que no se ocupa del estudio acerca de qu es el pensamiento sino cmo es, qu formas o estructuras tiene ste. Y como ciencia formal, la Lgica estudia aquello a lo que el conjunto de las ciencias particulares reconoce pero sin estudiarlo, a saber el pensamiento Continua Moiss Chong en su obra diciendo que la Lgica puede ser entendida, tambin, como aquella ciencia que se ocupa de la determinacin y descripcin de las formas generales del raciocinio empleado, siempre y cuando se razone atendiendo a los principios legtimos del pensamiento. Aqu hay que tomar en cuenta que las leyes del pensamiento son leyes de orden natural en las cuales no le es posible al hombre intervenir. Este hecho indica el carcter objetivo de las leyes lgicas, las cuales representan las conexiones internas y necesarias y en las que se produce el cambio de los procesos y de las propiedades del pensamiento lgico. As por ejemplo, dos cosas iguales a una tercera, son iguales entre s; si se trata de un hecho, de una verdad de carcter objetivo, evidente, natural y simple; y en trminos normales todo el mundo admite este principio tan pronto como llega a comprender el significado real que encierra Concluye diciendo el citado autor que: sin embargo, la Lgica tiene un campo de aplicacin en la vida diaria. de hecho, las distintas operaciones lgicas son practicadas por el hombre sin que sea indispensable el conocimiento riguroso, exacto de los principios involucrados all. Por lo que llegamos a esta otra verdad; el hombre aprende a razonar, no en los tratados o textos de la lgica, sino en las distintas ciencias especiales que se sirven de la lgica. Y as ocurre que la Lgica no ensea a razonar, de la misma manera como la fisiologa no nos ensea ni el conocimiento; ni el conocimiento de la fsica a ser buenos corredores. De hecho, la Lgica se aprende en la vida comn y corriente, sucediendo con ella algo semejante a lo que ocurre con la gramtica, la cual no nos ensea a hablar, pero si nos ensea las reglas para ser ms correctos, precisos y exactos en la expresin escrita y hablada. La Lgica, en su orden de ideas, tiene la cualidad de vigorizar nuestras facultades mentales (Grau) POR QU ESTUDIAR LGICA MATEMTICA? Aprender estadstica o estudiar economa es muy difcil : as se expresan la mayora de los estudiantes de todos los niveles, sin embargo pocas veces se busca una explicacin del porqu no aprenden a entender lo que ocurre en el mundo circundante los alumnos o los polticos y gobernantes. Simplemente no entienden lo que pasa en la sociedad porque no saben relacionar los conocimientos que se le proporcionan en las escuelas (leyes, teoremas, formulas) con los problemas que se le presentan en la vida real. Otro problema grave es que el aprendizaje recibido en un sistema educativo deficiente, tal como el nuestro no es significativo, por tal razn para poder iniciar un curso de teoras de las probabilidades es necesario primero presentar los fundamentos bsicos de la lgica matemtica, y lograr as que los estudiantes sean capaces de encontrar estos razonamiento entre los diferentes esquemas de aprendizaje, para que de esta manera tenga una buena estructura cognitiva y entender as el porqu ocurren las cosas? Al encontrar una explicacin lgica al orden de los fenmenos y relacionar la realidad con las leyes sociales y naturales. La Lgica estudia la forma del razonamiento, es una disciplina que por medio de reglas y tcnicas determina si un argumento es vlido. La Lgica es ampliamente aplicada en la filosofa, matemticas, estadstica y economa. En general la lgica se aplica en la tarea diaria, ya que cualquier trabajo, que se

Para ver trabajos similares o recibir informacin semanal sobre nuevas publicaciones, visite www.monografias.com

www.monografias.com

realiza tiene un procedimiento lgica, por ejemplo; para ir de compra al supermercado, se debe tener una necesidad de alguna mercanca, tener dinero para comprar y posibilidades de desplazarse del hogar al supermercado. La lgica es pues muy importante; ya que permite resolver incluso problemas a los que nunca se ha enfrentado el ser humano utilizando solamente su inteligencia y apoyndose de algunos conocimientos acumulados, se pueden obtener nuevos inventos innovaciones a los ya existentes o simplemente utilizacin de los mismos. La lgica matemtica es la disciplina que trata de mtodos de razonamiento. En un nivel elemental, la lgica proporciona reglas y tcnicas para determinar si es o no valido un argumento dado. El razonamiento lgico se emplea en matemticas para demostrar teoremas; en ciencias de la computacin para verificar si son o no correctos los programas; en las ciencias fsica y naturales, para sacar conclusiones de experimentos; y en las ciencias sociales y en la vida cotidiana, para resolver una multitud de problemas. Ciertamente se usa en forma constante el razonamiento lgico para realizar cualquier actividad. El objetivo de la lgica matemtica es cuestionar con el mayor rigor los conceptos y las reglas de deduccin utilizados en matemticas, constituyendo la lgica por ello una verdadera matemtica. Una teora matemtica considera objetos definidos (enteros, por ejemplo) y define leyes que relacionan a estos objetos entre s (los axiomas de la teora). De los axiomas se deducen nuevas proposiciones (los teoremas), y a veces, nuevos objetos. La construccin de3 sistemas formales (formalizacin), piedra angular de la lgica matemtica, permite eliminar la arbitrariedad en la eleccin de los axiomas y definir explicita y exhaustivamente las reglas de la deduccin matemtica. LGEBRA DE BOOLE George Boole (1815-1864), hace ms de 100 aos logro traducir, utilizando un procedimiento formal, la lgica de los trminos a una teora de ecuaciones, por lo cual es conocido como el Padre de la Lgica Moderna. Afirma Moiss Chong en su citada obra que el aporte de la obra de Boole, conocido como Algebra Booleana, consiste en un vasto movimiento de formalizacin del lenguaje lgico y, por consiguiente, el intento de que la validez de toda aseveracin est en funcin matemtica, dando lugar a la lgica simblica, que ha venido a servir como procedimiento fructfero en el campo de la investigacin y la demostracin cientfica. El simbolismo lgico se ha llegado a convertir en una especie de culminacin, formalizadora, permitiendo, as, que la lgica sea tratada como un calculo, pudindose de este modo analizar sus posibilidades, formas, etc, con la misma objetividad y precisin, orden y claridad que hasta hace mucho parecan patrimonio del matemtico. De esta conclusin, puede afirmarse entonces, que el aporte de Boole. contribuy a simplificar el lenguaje corriente natural de los pueblos (espaol, ingls, ruso, etc), a quedarse tan slo con el esqueleto lgico de una o varias expresiones dadas, sin que haya lugar a la menor suposicin psicolgica, y eliminando as todo contenido anmico que pudiera deformar las expresiones en su contenido conceptual. Desde este punto de vista, la lgica simblica busca la superacin de todos los defectos tradicionales del lenguaje. A su vez, se desinteresa del requisito de la verdad de lo que se afirma, en el sentido de que no se preocupa de decirle a uno qu afirmaciones son verdaderas, sino que simplemente propone darnos criterios que garanticen hasta donde sea posible, la verdad de determinadas proposiciones si algunas otras lo son, llegando as a establecer reglas generales, las cuales no se ocupan de una determinada demostracin, sino que se refiere a conjuntos enteros sin interesarse por el contenido fctico de si, por ejemplo, es verdad que los cuadrpedos son animales o si Euclides fue un gran matemtico Dentro de estas orientaciones, existen trminos que no poseen significado propio, signo que desempean una determinada funcin y que establecen siempre conexiones o bien, precisin al mbito a que se refieren a otros trminos de una proposicin. Se trata de los conectores o conectivas tales como algunos, y, o, no, pero, si,entonces, etc. Ahora bien dentro de una proposicin dada sucede que ciertos nombres, categormaticos en este caso, podemos reemplazarlos por variables, esto es, por letras y que dan lugar a expresiones que no designan o sealan nada determinado y que pueden volver a indicar algo cuando sus variables son reemplazadas de nuevo por nombres. Afirma el filosofo panameo Moiss Chong en su obra ya citada anteriormente lo siguiente: igualmente sabemos que la introduccin de smbolos constantes y bien determinados en lugar de expresiones sincategoremticas como y, no, o, etc., no modifica sustancialmente del procedimiento formal pero, en cambio, nos lleva a prescindir an ms de los contenidos. Cuando se introducen, como veremos ms adelante, smbolos, se ofrecen ventajas bsicas que nos convencen ms todava de la importancia y valor de su uso. Sin embargo, no hay que confundir formalismo y simbolismo, puesto que es posible, y en efecto as lo es, que un sistema formal no sea simblico, de la misma manera que podemos tener entre nosotros una escritura puramente simblica que no represente o implique necesariamente una

Para ver trabajos similares o recibir informacin semanal sobre nuevas publicaciones, visite www.monografias.com

www.monografias.com

formalizacin. Lo que si es cierto es que el simbolismo aparece como resultado de todo el milenario esfuerzo de la llamada lgica formal.0. A partir de estas concepciones tericas la lgica simblica o algebra booleana permiti traducir las expresiones en lenguaje natural a smbolos matemticos y estableci as las bases para el posterior desarrollo de la informtica y las computadoras. PROPOSICIONES SIMPLES Y SENTIDO COMN. Una proposicin es una asercin o enunciado expresado en lenguaje natural escrito o hablado, mediante una expresin declarativa; que puede ser cierta o falsa, pero no ambas a la vez. La proposicin es un elemento fundamental de la lgica matemtica.. La proposicin puede ser simple o compuesta y se denotan generalmente por las ultimas letras del alfabeto (p, q, r, s,,z) Una proposicin es simple, cuando no puede parirse en partes constitutivas que sean a su vez proposiciones. Como ejemplos de proposiciones simples podemos sealar, las siguientes: o Esta lloviendo o Comet una equivocacin al matricular este curso Las proposiciones simples deben ser enunciados simples del espaol, pero debemos recordar que el espaol usual es un lenguaje informal, o sea que es un lenguaje cuya gramtica est sujeta a modificacin de estilo y la manera en la cual una verdad puede ser expresada correctamente en algo que depende en mucho de la opinin de cada quien. Debe tenerse cuidado de emplear ambigedades de las que surgen en la conversacin ordinaria y cuidarse del lenguaje ambiguo que se usa deliberadamente en los discursos polticos. Para ilustrar la necesidad de definiciones cuidadosas, consideraremos la proposicin las ventas estn bajas. Antes de que podamos determinar si esta proposicin es verdadera o falsa, debemos precisar el significado de baja., definiendo que baja significa por ejemplo menos del promedio diario. Sino tenemos definiciones precisas para todas nuestras palabras y frases, entonces tendremos slo un lenguaje informal que puede dar lugar a ambigedades. De ahora en adelante supondremos que todos los enunciados considerados son proposiciones y tomaremos en cuenta su contenido para determinar su validez, antes de poder determinar si son falsas o verdaderas. Por ejemplo, sea: o p= la tierra es plana o q= -17+38= 21 o r= x y-9 o s= Herrera ser campen de bisbol en el presente campeonato. o t= Hola cmo ests? o w= psame el libro por favor Obsrvese, que las proposiciones p y q sabemos que pueden tomar un valor de falso o verdadero; por lo tanto son proposiciones vlidas. La proposicin r tambin es una proposicin valida, aunque el valor de falso o verdadero depende del valor signado a las variables x y y en determinado momento. La proposicin s tambin esta perfectamente expresada aunque para decir si es falso o verdadera se tendra que esperar a que termine el presente campeonato. Sin embargo las proposiciones t y w no son vlidos, ya que no pueden tomar un criterio de verdad (falso o verdadero), el primero, t, es un saludo y el otro, w, es una orden o solicitud. PROPOSICIONES COMPUESTAS Y CONECTIVOS LGICOS. Una proposicin es compuesta si se puede partir en partes constitutivas que son a su vez proposiciones simples y estn unidas por conectivos lgicos. Comenzamos por hacer abstracciones de ciertas propiedades del lenguaje informal. En particular hacemos abstraccin de las propiedades lgicas de las conectivas con las cuales combinamos proposiciones simples para formar proposiciones compuestas. Tenemos que hacer reglas precisas sobre el modo como estas conectivas combinan proposiciones y, para construir un lgebra necesitamos tener una manera simblica de representar las proposiciones simples y tambin las conectivas. No debemos olvidar que dentro de la esfera de la lgica tradicional, calcada sobre un gramaticismo un tanto confuso y discutible, el lenguaje corriente presenta ambigedades. Por eso, en la lgica moderna se trata de simplificar y de purificar el lenguaje lgico de todo elemento que se preste a confusiones y de que, por la tanto, de lugar a malentendidos. Veamos por ejemplo, como ejemplo, lo siguiente: Si quisiramos expresar en trminos de lgica simblica la siguiente expresin o Lenguaje natural: Pancho es un artista de cine y Mara se enoj

Para ver trabajos similares o recibir informacin semanal sobre nuevas publicaciones, visite www.monografias.com

www.monografias.com

Se traducira en lenguaje simblico en p ^ q, en donde: p = Pancho es un artista de cine q = Mara se enojo ^ = conjuncin conectiva y Por lo pronto vamos a considerar las siguientes conectivas (conectores lgicos), signos de importancia para el manejo de las traducciones al simbolismo lgico, as como para la determinacin de verdad o falsedad de las proposiciones. El trmino conectivas se refiere a ciertas conjunciones lgicas que gobiernan las distintas frmulas lgicas. Recordemos lo siguiente, segn Moiss Chong: llamamos proposiciones coligativas a aquellas proposiciones compuestas, es decir, son proposiciones que consisten en la unin de dos o ms proposiciones , Y as, como se vio en el ejemplo anterior, la unin de las proposiciones componentes se efecta mediante las conjunciones. La caracterstica fundamental de toda proposicin coligativa es que su verdad depende de la verdad de las proposiciones coligadas. He aqu las conectivas ms corrientes: a) La negacin b) La conjuncin c) La disyuncin inclusiva d) La disyuncin exclusiva e) La condicional f) La bicondicional o CONECTIVOS LGICOS Y TABLA DE VERDAD. A partir de los conectores u operadores lgicos, listado anteriormente, es posible formar proposiciones compuestas (formadas por varias proposiciones simples y conectadas entre s por los conectores lgicos), sin embargo los criterios de verdad resultantes de los operadores lgicos estn regidos por determinadas reglas de la lgica booleana que sealaremos a en forma posterior. Pero para ser ms preciso es necesario tener en cuenta que las proposiciones simples estn determinadas por condiciones dialcticas de tiempo y espacio. Por ejemplo si se seala llueve y no tengo paraguas, al construir la tabla de verdad es necesario resolver en dnde? y cundo? La afirmacin llueve se entiende en que es en ese momento y ese lugar y con una simple mirada al cielo sabemos si es cierto o falso. Hechas estas observaciones pasamos a revisar las reglas especficas que rigen a cada conector lgico. LA NEGACIN La negacin se simboliza, generalmente por el signo ~. Este signo puede ser traducido en palabras, as: no es el caso que o, ms brevemente, no. A partir de la teora de conjuntos, establecimos si un elemento pertenece o no a un conjunto y se seal que si no es elemento del conjunto, entonces es elemento del conjunto complemento. Por tanto la negacin se refiere al conjunto complemento. Se establece el siguiente principio para la negacin lgica: la negacin de un enunciado verdadero es falsa; la negacin de un enunciado falso es verdadero. Lo que equivale a decir que la negacin de la negacin de una proposicin verdadera es verdadera; y la negacin de la negacin de una proposicin falsa es falsa. Adems la conectiva no es la nica de tipo singular del listado de conectores lgicos sealado anteriormente. p V F ~p F V

LA CONJUNCIN. La conjuncin es el operador correspondiente al trmino y, siendo su smbolo ms corriente el siguiente, ^, se le conoce como la multiplicacin lgica. Expresado en el lenguaje matemtico, la conjuncin est regida por la ley asociativa , (pq)r equivale a decir pqr. Pero tambin es de carcter conmutativo: pq y qp son irrelevantes en su orden. La regla para establecer los criterios de verdad de la conectiva lgica conjuncin es la siguiente: o Una conjuncin de enunciados en los cuales todos son verdaderos, es verdadera o Una conjuncin de enunciados en donde no todos son verdaderos es falsa.

Para ver trabajos similares o recibir informacin semanal sobre nuevas publicaciones, visite www.monografias.com

www.monografias.com

Lo que equivale a decir que basta que uno de sus componentes sea falsa para que toda la proposicin sea falsa y slo ser verdadera en el caso de que ambos componentes lo sean. La expresado anteriormente se resumen simblicamente de la siguiente manera: o p V V F F q V F V F p^q V F F F

Ejemplo: Sea el siguiente enunciado el auto enciende cuando tiene gasolina en el tanque y tiene corriente en la batera Sean: p= tiene gasolina el tanque q = tiene corriente la batera r = el auto enciende = p ^ q La conclusin resultante es que para que el auto encienda se debe tener gasolina en el tanque y corriente en la batera, sino se tiene una de estas dos condiciones el auto no arrancar. LA DISYUNCIN INCLUSIVA La disyuncin inclusiva, llamada tambin, alternacin, expresada ordinariamente mediante la palabra o, simblicamente se le representa por medio de la letra v, colocada entre dos proposiciones. Sin embargo, la o en este caso no tiene carcter de encrucijada o de dilema, y se puede interpretar como o uno u otro o ambos. Por ciertas analogas con el lgebra se le llama tambin suma lgica. La alternacin posee, igualmente, la propiedad asociativa que consiste en la no importancia de la agrupacin en relacin con la verdad o la falsedad de una proposicin dada. Tambin es afectada por la ley conmutativa de que el orden de las alternativas no afecta a la alternacin. La regla de la tabla de verdad para esta conectiva lgica es la siguiente: o Una disyuncin inclusiva es verdadera cuando por lo menos una de sus alternativas es verdadera; solamente ser falsa si las dos lo son . La tabla de verdad del enunciado anterior es como sigue: p V V F F q V F V F pvq V V V F

Ejemplo: Sea el siguiente enunciado Una persona puede entrar al cine si compra boleto u obtiene un pase Sean: p= compra boleto q = obtiene un pase r = una persona entra al cine = p v q La conclusin resultante es obvia, puesto que para entrar al cine es necesario tener por lo menos una de las dos condiciones: comprar un boleto o tener un pase, si se tiene ambas tambin se puede entrar, si no tengo ninguna de las dos alternativas entonces no se puede entrar al cine. LA DISYUNCIN EXCLUSIVA La disyuncin exclusiva se simboliza pro el signo v, corresponde a la expresin o uno u otro, pero no ambos a la vez. Una de las propiedades de esta conectiva es la de ser conmutativa y la de poseer el carcter asociativo. Se puede mostrar la equivalencia de los esquemas

Para ver trabajos similares o recibir informacin semanal sobre nuevas publicaciones, visite www.monografias.com

www.monografias.com

proposicionales as como establecer que es inesencial la agrupacin por la cual optemos. Ejemplos de expresiones afines a esta conectiva son a menos que o salvo que La regla de la tabla de verdad para esta conectiva lgica es la siguiente: o Una disyuncin exclusiva es verdadera cuando una de sus alternativas es verdadera; y ser falsa si las dos alternativas son falsas o verdaderas. La tabla de verdad del enunciado anterior es como sigue: p V V F F q V F V F pvq F V V F

LA CONDICIONAL La condicional, expresada por la frase si, entonces, se simboliza mediante el signo colocado entre las dos proposiciones.. La primera proposicin lleva el nombre de antecedente y la segunda proposicin la de consecuente. Algunos lgicos la denominan proposicin hipottica o proposicin implicativa. La importancia de esta clase de proposiciones es la de que la utiliza frecuentemente en el lenguaje de las ciencias, particularmente en la ciencia de la fsica y en la matemtica. El condicional, segn veremos, es una conectiva para la cual importa el orden de las clusulas, esto es, se trata de un conector no conmutativo. En este caso el antecedente es una condicin suficiente respecto del consecuente y el consecuente es una condicin necesaria respecto del antecedente. La regla de la tabla de verdad para esta conectiva lgica es la siguiente: o La condicional ser falsa slo cuando el antecedente es verdadero y el consecuente es falso, en los dems caso ser verdadera. La tabla de verdad del enunciado anterior es como sigue: p V V F F q V F V F pq V F V V

Ejemplo: Si se tiene lo proposicin Si un cuerpo se calienta, entonces se dilata, se observa que estamos diciendo es que la primera proposicin si el cuerpo se calienta implica a la segunda proposicin entonces se dilata, pero no se afirma que el antecedente es verdadero, ni el consecuente es verdadero, puede ser que el cuerpo no se calent y el cuerpo se dilato por causa de otros factores ajenos a la temperatura, un golpe LA BICONDICIONAL La bicondicional, expresada por la frase si y solo s, denotada por el signo, significa una relacin bidireccional en donde ambas proposiciones se necesitan entre s. La regla de la tabla de verdad para esta conectiva lgica es la siguiente: o La conectiva bicondicional ser verdadera solamente si y solo si las dos sentencias que la componen son a la vez verdaderas o si son ambas falsas. La expresado anteriormente se resumen simblicamente de la siguiente manera: p V V F F q V F V F pq V F F V

TRADUCIENDO DEL LENGUAJE NATURAL AL LENGUAJE SIMBLICO El analista econmico para entender el mundo circundante (la sociedad y sus relaciones econmicas) debe ser capaz de hacer abstracciones para encontrar las partes esenciales y sus relaciones a fin de poder tener indicios del porque del comportamiento.

Para ver trabajos similares o recibir informacin semanal sobre nuevas publicaciones, visite www.monografias.com

www.monografias.com

A continuacin le presentaremos algunos ejemplos de traducccinlgica: Ejemplo #1: Se tiene la siguiente proposicin compuesta :Hoy es domingo y tengo que estudiar estadstica o no aprobare el curso Al separar la proposicin en sus partes esenciales se tiene lo siguiente: Sea p= Hoy es domingo q= tengo que estudiar estadstica r= aprobare el curso, ~r = no aprobare el curso p ^ q v ~r Ejemplo #2: Se tiene la siguiente frase: Si no pago la luz, entonces me cortaran la corriente elctrica. Y si pago la luz, entonces me quedare sin dinero y pido prestado, entonces no podr pagar la deuda, si y solo si soy desorganizado Donde: p = pago la luz q = me contarn la corriente elctrica r = me quedare sin dinero s = pedir prestado t = pagar la deuda w = soy desorganizado Lo que en lenguaje simblico equivale a: (~p q) ^ [ p (r ^ s)] t TABLAS DE VERDAD PARA PROPOSICIONES COMPLEJAS Se tiene el siguiente enunciado lgico (p v ~q) ^ r, encuentre su tabla de verdad: Obsrvese que en este caso aparecen involucrados en la proposicin compleja tres proposiciones simples, p, q, y r. Para poder determinar la cantidad de criterios de verdad a considerar al construir la tabla, se aplica la siguiente frmula: No. de lneas = 2n, donde n= nmero de variables distintas.

Lo que en lenguaje simblico equivale a

Ejemplos: 1- Se tiene una sola variable p, entonces n=1 y 2 1=2, luego: p V F 2- Se tienen dos variables p y q, entonces n=2 y 22=4, luego: p V V F F q V F V F

3- 3- Se tienen tres variables p, q y r, entonces n=3 y 23=8, luego: p V q V r V

Para ver trabajos similares o recibir informacin semanal sobre nuevas publicaciones, visite www.monografias.com

www.monografias.com

V V F V F V V F F F V V F V F F F V F F F En el caso en consideracin tenemos tres variable (p,q,r) y aplican las reglas algebraicas de solucin de los parntesis (de adentro hacia afuera) por tanto se resuelve de la siguiente manera (p V V V V F F F F 1 v V V V V F F V V 3 ~ F F V V F F V V 2 q) V V F F V V F F 1 ^ V F V F F F V F 4 r V F V F V F V F 1

Pasos utilizados al construir la tabla de verdad resultante: 1- Se anotaron los criterio de verdad elementales de cada variable 2- Se resolvi la negacin de q (~q). 3- Se resolvi el parntesis ( p v ~q) 4- Se resolvi la conectiva final y (^) Nota: obsrvese que la tabla final resultante esta en negritas en la columna denotada abajo 4. LABORATORIO (Resolver y entregar en grupos de tres estudiantes, equivalen a nota de un parcial) Problema #1: Anote las siguientes expresiones expresadas en lenguaje natural en notacin simblica. Si usted invierte en el mercado de valores, se har rico y entonces ser feliz Si bajan los impuestos, entonces se eleva el ingreso Los precios de los artculos de primera necesidad estn altos y encarecindose Pasare este curso, si y solo si, estudio y me esfuerzo al mximo .Si asisto a clases, todos los das entonces aprobare y no fracasare en la vida. Problema #2: Se tienen las siguientes proposiciones: p = los precios de los artculos de primera necesidad estn altos q = estn encarecindose r = sobrevivir Traduzca al lenguaje natural las siguientes expresiones lgicas. p^q ~p r p ^ ~q ~p v ~q (~p ^ ~q) r Problema #3: Encuentre la tabla de verdad de las siguientes expresiones lgicas p (q v r) (p v r) ^ (p q)

Para ver trabajos similares o recibir informacin semanal sobre nuevas publicaciones, visite www.monografias.com

www.monografias.com

(p v q) (q v p) p ^ ~p (p p) v (p ~p) ( p ^ ~q) ^ r [p (q r)] [(p q) (p r)]

BIBLIOGRAFA Chong, Moiss Lecciones de Lgica e Introduccin al Mtodo Cientfico. The Open University LGICA I- ALGEBRA DE BOOLE Curso bsico de matemticas. Unidad II McGraw-Hill. 1971 Jimnez Murillo Lgica Matemtica. Ilustrados.com Jos Alfredo y otra autora. Autor: Francisco Antonio Cabrera Gonzlez f_cabrera51@hotmail.com

Datos del Autor: Graduado en mayo de 1980 de Economista-Organizador de la Produccin Agrcola y Master en Ciencias Econmicas en la Academia Agrcola K. A. Timiriazev de Mosc Rusia. Profesor de la Universidad de Panam desde 1981. Ha ejercido la docencia universitaria en los Centros Regionales de Azuero (Chitr), Los Santos, Veraguas, Cocl y San Miguelito. Catedrtico (Profesor Regular) desde 1991 del Departamento de Estadstica Econmica y Social de la Facultad de Economa. En su vida universitaria, como docente, ha sido representante de los profesores del CRU-Azuero (Chitr) ante el Consejo General Universitario -CGU (1990-1992), Vicepresidente de la Asociacin de Profesores de la Universidad de Panam APUDEP (1991-1993), Presidente de la APUDEP (1993-1995), Director del Centro Regional Universitario de San Miguelito CRUSAM (1995-2000) y en la actualidad es docente investigador de la Universidad de Panam.

UNIVERSIDAD DE PANAM CENTRO REGIONAL UNIVERSITARIO DE SAN MIGUELITO FACULTAD DE ECONOMA DEPARTAMENTO DE ESTADSTICA ECONMICO Y SOCIAL Curso: Estadstica Econmica II.

Para ver trabajos similares o recibir informacin semanal sobre nuevas publicaciones, visite www.monografias.com