Unidad 2.

- Lgica y tablas de verdad

Lgica
Algebra Booleana Las lgebras booleanas, estudiadas por primera vez en detalle por George Boole, constituyen un rea de las matemticas que ha pasado a ocupar un lugar prominente con el advenimiento de la computadora digital. Son usadas ampliamente en el diseo de circuitos de distribucin y computadoras, y sus aplicaciones van en aumento en muchas otras reas. En el nivel de lgica digital de una computadora, lo que comnmente se llama hardware, y que est formado por los componentes electrnicos de la mquina, se trabaja con diferencias de tensin, las cuales generan funciones que son calculadas por los circuitos que forman el nivel. Estas funciones, en la etapa de diseo del hardware, son interpretadas como funciones de boole. Haciendo una correlacin con las frmulas proposicionales. Asimismo, se plantean dos formas cannicas de las funciones booleanas, que son tiles para varios propsitos, tales como el de determinar si dos expresiones representan o no la misma funcin. Pero para otros propsitos son a menudo engorrosas, por tener ms operaciones que las necesarias. Particularmente, cuando estamos construyendo los circuitos electrnicos con que implementar funciones booleanas, el problema de determinar una expresin mnima para una funcin es a menudo crucial. No resultan de la misma eficiencia en dinero y tiempo, principalmente, dos funciones las cuales calculan lo mismo pero donde una tiene menos variables y lo hace en menor tiempo. Como solucin a este problema, se plantea un mtodo de simplificacin, que hace uso de unos diagramas especiales llamados mapas o diagramas de Karnaugh, y el cual tiene la limitacin de poder trabajar adecuadamente slo con pocas variables. Se realizan estas presentaciones con el fin de demostrar la afinidad existente entre el lgebra de boole y la lgica proposicional, y con el objeto de cimentar el procedimiento de simplificacin presentado en la lgica de proposiciones. RESEA HISTRICA A mediados del siglo XIX, George Boole (1815-1864), en sus libros: "The Mathematical Analysis of Logic" (1847) y "An Investigation of te Laws of Thought" (1854), desarroll la idea de que las proposiciones lgicas podan ser tratadas mediante herramientas matemticas. Las proposiciones lgicas (asertos, frases o predicados de la lgica clsica) son aquellas que nicamente pueden tomar valores Verdadero/Falso, o preguntas cuyas nicas respuestas posibles sean S/No. Segn Boole, estas proposiciones pueden ser representadas mediante smbolos y la teora que permite trabajar con estos smbolos, sus entradas (variables) y sus salidas (respuestas) es la Lgica Simblica desarrollada por l. Dicha lgica simblica cuenta con operaciones lgicas que siguen el comportamiento de reglas algebraicas. Por ello, al conjunto de reglas de la Lgica Simblica se le denomina LGEBRA DE BOOLE. A mediados del siglo XX el lgebra Booleana result de una gran importancia prctica, importancia que se ha ido incrementando hasta nuestros das, en el manejo de informacin digital (por eso hablamos de Lgica Digital). Gracias a ella, Shannon (1930) pudo formular su teora de la codificacin y John Von Neumann pudo enunciar el modelo de arquitectura que define la estructura interna de los computadoras desde la primera generacin. Todas las variables y constantes del lgebra booleana, admiten slo uno de dos valores en sus entradas y salidas: S/No, 0/1 o Verdadero/Falso. Estos valores bivalentes y opuestos pueden

Ing. Miguel ngel Durn Jacobo

Unidad 2.- Lgica y tablas de verdad

ser representados por nmeros binarios de un dgito (bits), por lo cual el lgebra booleana se puede entender cmo el lgebra del Sistema Binario. Al igual que en lgebra tradicional, tambin se trabaja con letras del alfabeto para denominar variables y formar ecuaciones para obtener el resultado de ciertas operaciones mediante una ecuacin o expresin booleana. Evidentemente los resultados de las correspondientes operaciones tambin sern binarios. Todas las operaciones (representadas por smbolos determinados) pueden ser materializadas mediante elementos fsicos de diferentes tipos (mecnicos, elctricos, neumticos o electrnicos) que admiten entradas binarias o lgicas y que devuelven una respuesta (salida) tambin binaria o lgica. Ejemplos de dichos estados son: Abierto/Cerrado (interruptor), Encendida/Apagada (bombilla), Cargado/Descargado (condensador), Nivel Lgico 0/Nivel lgico 1 (salida lgica de un circuito semiconductor), etctera. Los dispositivos con los cuales se implementan las funciones lgicas son llamados puertas (o compuertas) y, habitualmente, son dispositivos electrnicos basados en transistores. Estos dispositivos, y otros que veremos a lo largo de esta unidad, son los que permiten el diseo, y la ulterior implementacin, de los circuitos de cualquier computadora moderna, as como de muchos de los elementos fsicos que permiten la existencia de las telecomunicaciones modernas, el control de mquinas, etctera. De hecho, pensando en las computadoras como una jerarqua de niveles, la base o nivel inferior sera ocupada por la lgica digital (en el nivel ms alto de la computadora encontraramos los actuales lenguajes de programacin de alto nivel). En esta unidad se representan las puertas lgicas elementales, algunas puertas complejas y algunos ejemplos de circuitos digitales simples, as como algunas cuestiones de notacin. Por otra parte se plantean actividades de trabajo, muchas de las cuales implican una respuesta escrita en su cuaderno de trabajo. Trataremos de que resulte sencillo y ameno adentrarnos en el mundo de la lgica digital y despertar la curiosidad, tanto por ella, como por la matemtica que subyace en ella. INTRODUCCIN Lgica es la disciplina que trata de los mtodos de razonamiento. En un nivel elemental, la lgica proporciona reglas y tcnicas para determinar si es o no vlido un argumento dado. La lgica es el estudio del razonamiento; en particular, se analiza si un razonamiento es correcto. La lgica se centra en las relaciones entre los enunciados y no en el contenido de un enunciado particular. Por ejemplo, considrese el siguiente argumento: Todos los matemticos utilizan sandalias. Cualquier persona que utilice sandalias es algebrista. Por tanto, Todos los matemticos son algebristas. Desde el punto de vista tcnico, la lgica no permite determinar si estos enunciados son verdaderos; sin embargo, si los dos primeros enunciados fuesen verdaderos, la lgica garantizar que el enunciado. Todos los matemticos son algebristas, tambin es verdadero.

Ing. Miguel ngel Durn Jacobo

Unidad 2.- Lgica y tablas de verdad

Los mtodos lgicos se utilizan en matemticas para demostrar teoremas, y en computacin para demostrar que los programas hacen precisamente lo que deberan de hacer. Proposiciones Una proposicin es todo enunciado que expresa algo sobre lo que se pueda decir si es verdadero o falso, pero no ambas cosas. Cul de los siguientes enunciados es verdadero falso (pero no ambos)? a) Los nicos enteros positivos que dividen a 7 son 1 y el propio 7. b) Alfred Hitchcock gan un Premio de la Academia en 1940 por dirigir Rebecca. c) Para todo entero positivo n, existe un nmero primo mayor que n. d) La tierra es el nico planeta en el universo que tiene vida. e) Compre dos boletos para el concierto de rock de Unicar para el viernes. La afirmacin (a) es verdadera. Un entero n es primo si n > 1 y los nicos enteros positivos que dividen a n son 1 y el propio n. La afirmacin (a) es otra forma de decir que 7 es un nmero primo. La afirmacin (b) es falsa. Aunque Rebecca gan el Premio de la Academia como mejor pelcula en 1940, John Ford gan el premio al mejor director por The Grapes of Wrath. Es sorprendente, pero Alfred Hitchcock nunca gan un Premio de la Academia como director. La afirmacin (c) es verdadera; es otra forma de decir que existe una infinidad de nmeros primos. La afirmacin (d) puede ser falsa o verdadera (pero no ambas), pero nadie podra decidir esto en este momento. La afirmacin (e) no es verdadera ni falsa (en realidad es una orden). Una afirmacin que es verdadera o falsa, pero no ambas, es una proposicin. Las afirmaciones (a) (d) son proposiciones, mientras que la afirmacin (e) no lo es. En general una proposicin se expresa como una afirmacin declarativa (y no como una pregunta, una instruccin, etc.). las proposiciones son los bloques de construccin bsicos para cualquier teora de la lgica. Un computador puede ser programado para tomar decisiones basadas en si ciertos enunciados por ejemplo, el nmero que se ha computado es mayor de 100 son verdaderos o falsos. A la verdad o falsedad de un enunciado se le llama valor de verdad; un enunciado es verdadero o falso, pero no ambas cosas. Algunos enunciados son proposiciones compuestas, es decir, estn integrados por subenunciados y varias conectivas.

Ing. Miguel ngel Durn Jacobo

Unidad 2.- Lgica y tablas de verdad

Ejemplo: (a) Las rosas son rojas y las violetas azules es un enunciado compuesto por los subenunciados las rosas son rojas y las violetas son azules. (b) l es inteligente o estudia todas las noches es, implcitamente, un enunciado compuesto por los subenunciados l es inteligente y estudia todas las noches. (c) Para dnde va? no es un enunciado ya que no es ni verdadero ni falso. La propiedad fundamental de un enunciado compuesto es que su valor de verdad est completamente determinado por los valores de verdad de sus subenunciados junto con la manera como estn conectados para formar el enunciado compuesto. Conectivos lgicos y proposiciones compuestas En matemticas las letras x, y, z, . . . denotan, a menudo, variables que pueden ser remplazadas por nmeros reales, y estas variables pueden combinarse con las operaciones comunes +, X, -, y . En lgica, las letras p, q, r, denotan variables propositivas, es decir, variables que pueden ser remplazadas por proposiciones. As se puede escribir p: El sol est brillando hoy. q: Hace fro. Entonces, para denotar enunciados utilizaremos las letras p, q, r (en minsculas o maysculas, con o sin subndices). Las proposiciones o variables pueden combinarse por medio de conectivos lgicos para obtener proposiciones compuestas. Por ejemplo, se pueden combinar las proposiciones anteriores con el conectivo y para formar la proposicin compuesta p y q: El sol est brillando y hace fro. El valor de verdad de una proposicin compuesta depende solamente de los valores de verdad de las proposiciones que se estn combinando y de los tipos de conectivos que se utilice. A los estados de verdadero o falso que pueden tener una proposicin se les llama valor de verdad o valor lgico de esa proposicin. Se pueden considerar dos tipos de proposiciones: Proposiciones simples. Son aquellas que no pueden reducirse a otras ms sencillas. Es decir, no tienen conectivos, por ejemplo: Pedro es alto. Proposiciones compuestas. Son aquellas que pueden reducirse a otras ms sencillas. Se reconocen porque usan conectivos lgicos. Cuando nos refiramos a proposiciones compuestas usaremos las letras maysculas: P, Q, Un ejemplo sera: Pedro es alto y el 7 es par.

Ing. Miguel ngel Durn Jacobo

Unidad 2.- Lgica y tablas de verdad

A continuacin se vern los conectivos lgicos ms importantes. Conectivo no y o o o , pero no ambos si , entonces si y slo si Smbolo Nombre negacin conjuncin disyuncin inclusiva disyuncin exclusiva condicional bicondicional

p (no p)
^

Los valores de verdad de proposiciones, como las conjunciones y disyunciones, pueden describirse mediante tablas de verdad. Una tabla de verdad de una proposicin P formada por las proposiciones p1, , pn enumera todas las condiciones posibles de los valores de verdad para p1, , pn, donde V indica verdadero y F falso, de modo que para cada una de estas combinaciones se indica el valor de verdad de P. Negacin La negacin de una proposicin p es otra proposicin que afirma lo que se niega en la primera y viceversa. Se representa por p y se lee no p Si p es una proposicin, la negacin de p es la proposicin no p, denotada por p. As p es la proposicin no es el caso de p. De esta definicin se desprende que si p es verdadera, entonces p es falsa, y si p es falsa, p es verdadera. El valor de verdad de p relativo a p se da en la siguiente tabla:
p V F

p
F V

A una tabla como esta, que da valores de verdad de una proposicin compuesta en funcin de sus partes componentes, se le llama tabla de verdad. Estrictamente hablando, no no es un conectivo, en vista de que no une dos proposiciones, y p no es en realidad una proposicin compuesta. Sin embargo, no es una operacin unitaria para la coleccin de proposiciones, y p es una proposicin si p lo es. Ejemplo: D la negacin de las siguientes proposiciones. (a) p: 2 + 3 > 1 (b) q: Hace fro.

Ing. Miguel ngel Durn Jacobo

Unidad 2.- Lgica y tablas de verdad

Solucin: (a) p: 2 + 3 no es mayor que 1. Es decir, p: 2 + 3 1. Como p es verdadera en este caso, p es falsa. (b) q: No es el caso de que haga fro. Ms simplemente, q: No hace fro. Conjuncin, p ^ q Dos enunciados cualesquiera se pueden combinar con la palabra y para formar un enunciado compuesto llamado la conjuncin de los enunciados originales. Simblicamente, p ^ q denota la conjuncin de los enunciados p y q, que se lee p y q. La tabla de verdad del enunciado compuesto p ^ q est dada por la siguiente tabla:
p V V F F q V F V F p^q V F F F

Observemos que en la tabla de verdad aparecen las cuatro combinaciones posibles de las asignaciones de verdad para p y q. En este caso, la primera lnea es una manera abreviada de decir que si p es verdadero y q es verdadero, entonces p ^ q es verdadero. Las otras lneas tienen significados anlogos. Consideramos que esta tabla define precisamente el valor de verdad del enunciado compuesto p ^ q como una funcin de los valores de verdad de p y q. Observe que p ^ q es verdadero solamente en el caso en que ambos subenunciados sean verdaderos. Ejemplo: Considere los cuatro enunciados siguientes: (i) Pars est en Francia y 2 + 2 = 4. (iii) Pars est en Inglaterra y 2 + 2 = 4. (ii) Pars est en Francia y 2 + 2 = 5. (iv) Pars est en Inglaterra y 2 + 2 = 5. Solamente el primer enunciado es verdadero. Cada uno de los otros enunciados son falsos ya por lo menos uno de sus subenunciados es falso. La conjuncin de dos proposiciones es una proposicin compuesta que resulta verdadera cuando lo son las dos proposiciones simples que la constituyen, y falsa en caso contrario, es decir, cuando alguna de las dos es falsa. Disyuncin inclusiva, p q Dos enunciados cualesquiera se pueden combinar con la palabra o (en el sentido y/o) para formar un nuevo enunciado que se llama la disyuncin de los enunciados originales. Simblicamente, p q denota la conjuncin de los enunciados p o q, que se lee p o q.

Ing. Miguel ngel Durn Jacobo

Unidad 2.- Lgica y tablas de verdad

La tabla de verdad del enunciado compuesto p q est dada por la siguiente tabla:
p V V F F q V F V F pq V V V F

Observemos que en la tabla de verdad aparecen las cuatro combinaciones posibles de las asignaciones de verdad para p o q. La tabla de verdad igualmente nos indica que p q es falso cuando ambos enunciados son falsos. Ejemplo: Considere los cuatro enunciados siguientes: (i) Pars est en Francia y 2 + 2 = 4. (ii) Pars est en Francia y 2 + 2 = 5. (iii) Pars est en Inglaterra y 2 + 2 = 4. (iv) Pars est en Inglaterra y 2 + 2 = 5. Solamente el enunciado (iv) es falso. Cada uno de los otros enunciados son verdaderos ya por lo menos uno de sus subenunciados es verdadero. A no ser que se diga otra cosa, la o se usar en el sentido de y/o. Esta observacin hace sobresalir la precisin que ganamos con nuestro lenguaje simblico: p q est definido por su tabla de verdad y siempre significa p y/o q. La disyuncin inclusiva de dos proposiciones es una proposicin compuesta que resulta verdadera cuando lo es al menos una de las dos proposiciones que la constituyen, y falsa en caso contrario, es decir, cuando las dos son falsas. Por ejemplo: estudiamos informtica o vamos al cine. Ntese que aunque nos hemos referido para el caso de dos proposiciones, se puede extender el criterio al caso de ms de dos proposiciones. Disyuncin exclusiva, p q La palabra o se usa comnmente de dos maneras. Algunas veces se usa en el sentido de p o q o ambos, mejor dicho, por lo menos una de las dos alternativas ocurre, como antes se seal, y algunas veces se usa en el sentido de p o q pero no ambos, mejor dicho, exactamente una de las dos alternativas ocurre. Por ejemplo, la frase El estudiar en la Universidad Nacional o en el Politcnico usa el o en el segundo sentido llamado disyuncin exclusiva.

Ing. Miguel ngel Durn Jacobo

Unidad 2.- Lgica y tablas de verdad

Con frecuencia se habla de p o q en el sentido exclusivo, es decir, que slo se puede cumplir una de las proposiciones integrantes, pero no ambas a la vez. Esta es la caracterstica de la llamada disyuncin exclusiva. La disyuncin exclusiva de dos proposiciones es una proposicin compuesta que resulta verdadera cuando lo es una y slo una de las dos proposiciones que la constituyen, y es falsa en caso contrario. Se representa por p q y se lee p o-exclusiva q, o bien, p o q, pero no ambas La tabla de verdad del enunciado compuesto p q est dada por la siguiente tabla:
p V V F F q V F V F p q F V V F

Por ejemplo: o vamos en autobs o vamos en taxi. Obsrvese que el primer o nicamente sirve para reforzar el sentido exclusivo, pero no es necesario. Tambin en este caso, aunque lo hemos definido para dos proposiciones, se generalizara de igual modo para cualquier nmero de proposiciones. Condicional Se representa por (p q) y se lee si p, entonces q. A la proposicin p se le llama antecedente, y a q, consecuente. La definiremos como: p q = p q, es decir: La condicional de dos proposiciones es una proposicin compuesta que resulta falsa cuando el antecedente es verdadero y el consecuente falso, y en los dems casos es verdadera. Tabla de verdad:
p V V F F q V F V F pq V F V V

p
F F V V

p q
V F V V

Como se ve, la propia tabla justifica la definicin. Por ejemplo: Si hace buen tiempo, entonces iremos al campo.

Ing. Miguel ngel Durn Jacobo

Unidad 2.- Lgica y tablas de verdad

Bicondicional Se representa por (p q) y se lee p si y slo si q. La proposicin bicondicional de dos proposiciones p y q es equivalente a la proposicin compuesta: (p q) ^ (q p) La bicondicional de dos proposiciones es una proposicin compuesta que resulta verdadera cuando ambas son verdaderas o ambas son falsas, y en caso contrario es falsa. Tabla de verdad:
p V V F F q V F V F pq V F F V

Por ejemplo: Un tringulo es equiltero si y slo si tiene los tres lados iguales. Ejercicio de aplicacin 1 Determine si cada una de las afirmaciones de los ejercicios 1-8 es una proposicin. Si la afirmacin es una proposicin, escriba su negacin. (No se le piden los valores de verdad de las afirmaciones que son proposiciones). 1. 2 + 5 = 19 2. Mesero, puede traer las nueces? Es decir, puede servir las nueces a los invitados? 3. Para algn entero positivo n, 19340 = n 17. 4. Autrey Meadow fue la Alicia original en The Honeymooners. 5. Plame una uva. 6. La frase Hazlo de nuevo, Sam aparece en la pelcula Casablanca. 7. Todo entero mayor que 4 es la suma de dos nmeros primos. 8. La diferencia de dos primos. Ejercicio de aplicacin 2 Construir la tabla de verdad de (p q) r. El nmero de casos o filas que tiene la tabla de verdad de una proposicin compuesta es siempre 2n, siendo n el nmero de proposiciones simples de que consta. Por ejemplo, si intervienen tres proposiciones habr: 23 = 8 casos.

Ing. Miguel ngel Durn Jacobo

Unidad 2.- Lgica y tablas de verdad

Para colocar ordenadamente todos los casos, la tabla se puede formar de la siguiente manera: En la primera proposicin de la tabla, ponemos la mitad de todos los casos posibles con V y la otra mitad con F. En nuestro ejemplo, 4 V y 4 F. En la segunda proposicin ponemos alternativamente V y F, en grupos mitad de la longitud de los grupos anteriores. En nuestro ejemplo 2V, 2 F, 2 V, 2 F. Y as sucesivamente, con las restantes columnas de la tabla. Para formar la tabla de verdad de (p q) r, la descompondremos en otras ms simples, as:
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

q
F F V V F F V V

p q F F V V V V V V

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

Ejercicio de aplicacin 3 Evale cada proposicin en los ejercicios 1 6 con los valores de verdad. p = F, 1. p q 2. p q 3. p q 4. p (q ^ r) Verdadero 5. (p q) ^ (p r) 6. (p r) ^ ((q r) (r p)) Verdadero q = V, r= F.

Ing. Miguel ngel Durn Jacobo

10

Unidad 2.- Lgica y tablas de verdad

Tautologas y contradicciones Se definen los siguientes tipos de proposiciones segn los valores de su tabla de verdad: Una proposicin es una tautologa cuando todos los valores de su tabla de verdad son verdaderos. Por tanto, la tautologa es una proposicin siempre verdadera independientemente de los valores de verdad o falsedad de las proposiciones simples que la constituyen. Una proposicin es una contradiccin cuando todos los valores de su tabla de verdad son falsos. Por tanto, es falsa, independientemente de los valores de verdad o falsedad de las proposiciones simples que la constituyen. Una proposicin es indeterminada cuando en su tabla de verdad hay valores verdaderos y falsos. Por tanto, su valor lgico depende de los valores de verdad o falsedad de las proposiciones simples que la constituyen.

Ejemplo: averiguar si la siguiente proposicin es tautologa, contradiccin o indeterminada. q ^ (q r)

q V V F F r V F V F qr V V V F

(q r)
F F F V

q ^ (q r) F F F F

Dicha proposicin resulta ser una contradiccin ya que su valor lgico es falso en todos los casos posibles. IMPLICACIN Y EQUIVALENCIAS LGICAS Implicacin lgica Cuando una condicional es una tautologa, es decir, cuando nunca es falsa, se dice que es una implicacin lgica. O dicho de otra forma: una proposicin compuesta P implica a otra Q (P Q), cuando si P es verdadero, entonces, Q es verdadero. El smbolo se lee implica. Tambin (P Q) se lee P es condicin suficiente para Q, o Q es condicin necesaria para P.

Ing. Miguel ngel Durn Jacobo

11

Unidad 2.- Lgica y tablas de verdad

Ejemplo: p (p q) es una tautologa, como lo demuestra su tabla de verdad.

p V V F F q V F V F pq V V V F p (p q) V V V V

Y entonces podemos escribir p (p q), puesto que es tambin una implicacin lgica. Obsrvese que p es verdadera en las dos primeras lneas, y para estos casos (p q) es igualmente verdadera. EQUIVALENCIA LGICA Cuando una bicondicional es una tautologa, se dice que es una equivalencia lgica. O dicho de otra forma: una proposicin P es equivalente a otra Q (P Q), cuando las tablas de verdad en P y Q son iguales. El smbolo se lee equivalencia lgica. Tambin (P Q) se lee P es condicin necesaria y suficiente para Q. La equivalencia significa (P Q) lo mismo que: P Q ^ Q P Ejemplo: (p q) (q p) es una tautologa, como lo demuestra su tabla de verdad.
p V V F F q V F V F

q
F V F V

pq F V V V

p
F F V V

Qp F V V V

(p q) (q p) V V V V

Y entonces podemos escribir (p q) (q p), puesto que se trata de una equivalencia lgica entre proposiciones. Propiedades de las proposiciones El conjunto de las proposiciones lgicas, con los conectivos definidos entre ellas como operaciones, cumple una serie de propiedades que nos permitirn dotarles de una cierta estructura. Estas propiedades se presentan en la tabla a continuacin, donde T simboliza Tautologa y C simboliza Contradiccin.

Ing. Miguel ngel Durn Jacobo

12

Unidad 2.- Lgica y tablas de verdad

Leyes del lgebra de proposiciones Disyuncin ppp pqqp p (q r) (p q ) r p (p ^ q) p p (q ^ r) (p q) ^ (p r) Disyuncin respecto a la conjuncin ppt pcp c es elemento neutro de la ptt Idempotencia Conmutativa Asociativa Absorcin Distributiva Negacin Identidad Identidad de t y c Negacin de c y t Involucin (doble negacin) Leyes de DeMorgan Conjuncin p^pp p^qq^p p ^ (q ^ r) (p ^ q ) ^ r p ^ (p q) p p ^ (q r) (p ^ q) (p ^ r) Conjuncin respecto a la disyuncin p^pt p^tp t es elemento neutro de la ^ p^cc

ct p p (p q) p ^ q

tc

(p ^ q) p q

Obsrvese que la disyuncin y la conjuncin de proposiciones se comportan como operaciones duales. Por cumplir las propiedades anteriores, el conjunto de las proposiciones lgicas con los conectivos negacin, disyuncin y conjuncin, tiene una estructura de lgebra de Boole. RAZONAMIENTOS Un razonamiento es el proceso consistente en partir de una serie de hiptesis llamadas premisas, que se suponen verdaderas, y obtener finalmente una proposicin denominada conclusin. Cuando el razonamiento se compone de tres proposiciones, que pueden llamarse premisa mayor, premisa menor y conclusin, y sta se deduce de la mayor por medio de la menor, dicho razonamiento se denomina silogismo. Para demostrar la validez o invalidez de un razonamiento, se puede proceder de dos formas: Aplicando las propiedades dadas anteriormente. Usando tablas de verdad. Nosotros veremos nicamente este ltimo procedimiento.
Ing. Miguel ngel Durn Jacobo 13

Unidad 2.- Lgica y tablas de verdad

VALIDEZ DE RAZONAMIENTOS: MTODO DE LAS TABLAS DE VERDAD Para determinar la validez de un razonamiento, seguiremos los siguientes pasos: 1. Se forma la tabla de verdad de todas las premisas y de la conclusin. Por sencillez, se suele interesar poner las premisas ms simples al principio. 2. Se eliminan todas aquellas lneas en las que alguna premisa sea falsa, pues las premisas son por definicin verdaderas. En los ejercicios marcaremos con el smbolo la premisa que permita eliminar una lnea dada. 3. Observando las lneas resultantes y la columna correspondiente a la conclusin diremos: a. Todos los casos resultaron Verdadero: razonamiento Vlido. El razonamiento est bien hecho. b. Todos los casos resultaron Falso: razonamiento Invlido. El razonamiento est mal hecho, pero en este caso ocurre que la conclusin contraria es verdadera. c. Existen casos Verdadero y Falso: razonamiento Invlido. El razonamiento no vale, y la conclusin no puede extraerse de las premisas de partida. d. Ninguna fila resultante: razonamiento inconsistente. El razonamiento no vale, pues las premisas se contradicen. Ejemplo: Estudiar la validez del razonamiento:
(p q) r r q p

Solucin:
p V V V V F F F F q V V F F V V F F r V F V F V F V F

r
F V F V F V F V

q
F F V V F F V V

pq V V F F V V V V

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

Hemos simbolizado con premisas de valor falso eliminadas.

las premisas, con doble trazo la conclusin y con las

Por tanto, al quedar una lnea V, estamos en el caso a), luego entonces, el razonamiento es Vlido.

Ing. Miguel ngel Durn Jacobo

14

Unidad 2.- Lgica y tablas de verdad

En la prctica podemos combinar los puntos 1 y 2 de forma que cada vez que construyamos una premisa aprovecharemos para eliminar los casos falsos, y as, nos ahorraremos hacer el resto de la tabla para esas lneas eliminadas. Aplicando este procedimiento en el ejemplo anterior, quedara:
p V V V V F F F F q V V F F V V F F r V F V F V F V F

r
F V F V F V F V

q
F V F V

pq

(p q) r

Ing. Miguel ngel Durn Jacobo

15