UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD FACULTAD DE CIENCIAS BSICAS E INGENIERIA

LOGICA MATEMATICA MATERIAL PROVISIONAL EN REVISIN

AUTOR NUBIA JANETH GALINDO PATIO

REVISIN JORGE ELIECER RONDON DURAN

-----------------------------------------------------------------------------------Cualquier observacin o comentario sobre este material por parte de Tutores o Estudiantes, por favor enviarlo a la Unidad de Ciencias Bsicas, Facultad de ciencias Bsicas e Ingeniera UNAD

TABLA DE CONTENIDO Pag. 1. TEORA DE CONJUNTOS Definicin y Generalidades Relacin de Conjuntos Representacin Grfica Operaciones entre Conjuntos Sigma lgebra de Conjuntos Principios de Dualidad Conjuntos Parcialmente Ordenados Autoevaluacin No 1 Ejercicios de Profundizacin 2. PRINCIPIOS DE LGICA Historia y Clasificacin Lgica y Lingstica Simbolizacin y Proposiciones Conectivos Lgicos Tablas de verdad Leyes de la Lgica Inferencias Lgicas Demostraciones Cuantificadores Autoevaluacin No 2 Ejercicios de Profundizacin 3. DEDUCCIN Introduccin Proposiciones Categricas Silogismos Categricos Validez de un Argumento: Mtodo Deductivo Reglas de Inferencia Autoevaluacin No 3 Ejercicios de Profundizacin 4. INDUCCIN Introduccin Argumentos por Analogas Evaluacin de los Argumentos Analgicos Refutacin por medio de una Analoga Lgica Autoevaluacin No 4 Ejercicios de Profundizacin 5. ALGEBRA BOOLEANA Introduccin Variables y Constantes Booleanas lgebra Booleana de Sistemas Numricos lgebra Booleana en Conjuntos lgebra Booleana Lgica 3 4 8 9 16 19 20 25 26 31 32 33 36 40 43 46 50 53 56 58 59 61 69 72 73 79 83 86 87 88 89 90 92 96 96 97 98 99

Relacin de Orden en el lgebra Booleana Expresiones Booleanas Forma Normal Disyuntiva Forma Normal Conjuntiva Simplificacin de Expresiones Booleanas Mapas de Karnaugh para Tres Variables Mapas de Karnaugh para Cuatro Variables Autoevaluacin No 5 Ejercicios de Profundizacin 6. CIRCUITOS LGICOS Definicin y Representacin de los Circuitos Circuitos de Conjuncin Circuitos de Disyuncin Multiplicacin o Producto Lgico Complementacin o Inverso Lgico Correspondencia entre Lgica-Conjuntos-Algebra Booleana y Compuertas Lgicas Otras Compuertas Lgicas Aplicaciones de los Circuitos Lgicos Circuitos Aritmticos Digitales Autoevaluacin No 6 Ejercicios de Profundizacin Bibliografa

100 100 101 104 107 110 110 113 116 121 122 123 125 125 125 128 131 131 137 141 144

1. TEORIA DE CONJUNTOS OBJETIVO GENERAL Estudiar, analizar y profundizar los conceptos fundamentales de la teora de conjuntos, para que sean aplicados en forma clara y concisa en la solucin de problemas. OBJETIVOS ESPECFICOS 1. 2. 3. 4. 5. 6. Identificar las relaciones entre conjuntos. Distinguir las diferentes clases entre conjuntos. Representar grficamente los conjuntos. Realizar las diferentes operaciones entre conjuntos. Demostrar cundo un conjunto est parcialmente ordenado. Reconocer el primer y ltimo elemento de un conjunto parcialmente ordenado. 7. Identificar los elementos maximal y minimal de un conjunto ordenado.

EVALUACIN INICIAL No. 1 La siguiente prueba tiene como propsito invitarlo a recordar algunos conceptos bsicos de la teora de conjuntos, que le sern de gran utilidad para el desarrollo del presente mdulo. Para iniciar esta labor, se le sugiere buen nimo y disposicin, as obtendr mejores resultados. La solucin de cada uno de los puntos propuestos, se desarrollar a lo largo del captulo. XITOS! 1. Todos los conjuntos que se nombran por comprensin, se pueden escribir por extensin? 2. Si A, B y C son tres conjuntos no vacos que verifican las condiciones A B y B C, qu se puede concluir de A con respecto a C? 3. El conjunto (vaco) es un subconjunto de todo conjunto? Justificar. 4. Cuntos y cules son los subconjuntos que se pueden formar de un conjunto A = { 1,3,5}? 5. Enuncie y defina las operaciones entre dos conjuntos A y B. 6. El producto cartesiano entre dos conjuntos A y B es conmutativo? (A X B = B X A) 7 Qu significa la expresin Familia de conjuntos? 8. Cundo se dice que un conjunto esta parcialmente ordenado? 9. Cmo se identifican el primer y ltimo elemento de un conjunto ordenado? 10. Cundo un elemento de un conjunto ordenado es maximal o minimal?

1.1 DEFINICIN Y GENERALIDADES Las nociones de conjunto y de elemento son ideas primitivas que se presentan en forma intuitiva. Los conjuntos estn relacionados con el proceso de contar y por lo tanto permiten resolver problemas que involucran el concepto de cantidad. Se puede afirmar que un conjunto es una coleccin de objetos, smbolos o entidades bien definidas, que reciben el nombre de miembros o elementos del conjunto. Generalmente, los conjuntos se identifican con letras maysculas y sus elementos con minsculas. Para indicar que un elemento es un miembro de un

conjunto, se utiliza el smbolo (se lee pertenece a) y para indicar que no esta en el conjunto se utiliza el smbolo (se lee no pertenece a). Bsicamente existen dos formas para determinar un conjunto, stas son: 1. Por extensin: cuando se describe el conjunto nombrando, cada uno de sus elementos. Ejemplos: A = {2, 4, 6, 8} B = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} C = {1, 3, 5, 7, 9, 11, 13, 17, 19,} 2. Por comprensin: cuando se busca una propiedad, una regla o una caracterstica comn a los elementos del conjunto. Ejemplos: C = {Nmeros impares menores que 10} D = {Vocales} B = {Dgitos} E = {x R / 0 x < 9}, en este caso se utiliza un lenguaje muy especfico, el cual se lee as: E igual al conjunto de todos los nmeros reales tales que (o que verifican que) cero (0) es menor o igual a x, y, x a su vez es menor que 9, esta notacin se usa con mucha frecuencia para describir intervalos, para escribir la solucin de una inecuacin o para representar el dominio de una funcin real. Existen conjuntos como por ejemplo, A = {x R / 0 x < 9} Z = {x N / x es par}

Que no se pueden expresar por extensin debido a que nunca se terminara de escribir la lista de los nmeros reales que pertenecen al conjunto A, o, los naturales que pertenecen a Z, este tipo de conjuntos, reciben el nombre de INFINITOS; mientras que otros, como por ejemplo: C = {x / x es vocal} D = {x / x es dgito par}

Que estn formados por cierto nmero de elementos distintos, reciben el nombre de conjuntos FINITOS. El anlisis anterior, permite dar respuesta a la pregunta No.1 de la evaluacin inicial, se sugiere buscar ms ejemplos que justifiquen la respuesta para que sean analizados con el tutor y luego socializados en los equipos de trabaja. 1.2 RELACIONES ENTRE CONJUNTOS 1.2.1 Subconjuntos

Un conjunto A es un subconjunto de un conjunto B, si todo elemento del conjunto A tambin es elemento del conjunto B. Simblicamente esta relacin se expresa as: A B (se lee A esta contenido en B) si todo elemento conjunto A entonces x tambin est en B, es decir; A B si todo x A, entonces x B Ejemplo 1. Si A = {x / x es dgito par} y B = {x / x es dgito}, claramente A B ya que todo dgito par es dgito. Por extensin la situacin se expresa as: A = {2, 4, 6, 8} y B = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} x que est en el

Entonces A es un subconjunto de B. Un resultado muy til e importante acerca de la contenencia entre conjuntos es el siguiente: Si A es un subconjunto de B y B es un subconjunto de C, entonces, A es un subconjunto de C; simblicamente este enunciado se escribe as: S A B y B C, entonces, A C

La demostracin es la siguiente: S x A; entonces x B porque A B, pero x tambin esta en C porque B C; por lo tanto si xA, entonces x C y esto se cumple para todo elemento x que est en A, debido a que el conjunto A esta contenido en el conjunto B y B a su vez, esta contenido en C; por consiguiente queda demostrado que A C. El anlisis anterior da respuesta a la pregunta No. 2 de la evaluacin inicial. 1.2.2 Igualdad entre conjuntos El conjunto A es igual al conjunto B si ambos conjuntos tienen los mismos elementos, es decir, si todos los elementos de A pertenecen a B y si todos los elementos de B pertenecen al conjunto A. La igualdad entre conjuntos se simboliza de la siguiente forma: A = B si A B y B A

Ejemplo 1.
7

Si M = {1, 1, 0, 2} y N = {2, 1, 0, 1}, claramente se observa que M N y que N M, por lo tanto M = N. Ejemplo 2. Si A = {x / x es dgito} y B = {x / x es dgito par}, se puede observar que B A pero A B, por lo tanto el conjunto A no es igual al conjunto B, lo cual se escribe, A B. Es importante destacar que cuando dos conjuntos son completamente diferentes (no tienen ningn elemento en comn) reciben el nombre de conjuntos disyuntos. Ejemplo 3. Los conjuntos A = {x / x es dgito par} y B = {x / x es dgito impar} no tienen ningn elemento en comn, es decir A y B son disyuntos. 1.2.3 Subconjunto propio Todo conjunto es subconjunto de s mismo, es decir, A A (con A un conjunto cualquiera), si ese subconjunto se llama B, entonces se puede afirmar que B es un subconjunto propio de A, este hecho se simboliza as: B A (se lee B est contenido o es igual al conjunto A) Ejemplo 1. Al considerar los conjuntos A = {x / x es vocal} y B = {a, e, i, o, u}, se puede afirmar que A = B, en particular se observa que A B y B A, lo cual permite afirmar que A es subconjunto propio de A, y B es subconjunto propio de A. Ejemplo 2. Los conjuntos A = {1, 2, 3}, B = {1, 3}, C = {0, 2} y D = {1} son todos subconjuntos del conjunto M = {0, 1, 2, 3}, pero ninguno es un subconjunto propio de M, ya que con ninguno se puede establecer alguna de las relaciones siguientes: A M, B M, C M, D M 1.2.4 Conjuntos especiales 1.2.4.1 Conjunto vaco

Un conjunto que carece de elementos se denomina conjunto vaco y se simboliza as: { } 1 Naturalmente el conjunto forma parte de cualquier conjunto A, por lo cual se puede afirmar que A, esto responde a la pregunta No. 3 de la evaluacin inicial. Ejemplo 1. Si D = {x N / x x ), obviamente D es un conjunto que carece de elementos, puesto que no existe ningn nmero natural que sea diferente a s mismo. 1.2.4.2 Conjunto unitario

Se denomina conjunto unitario el que esta formado por un solo elemento. Por ejemplo: E = {x / x es un primo par} El nico nmero que cumple las dos condiciones (ser primo y a la vez par) es el nmero 2, por lo tanto E = {2} se llama unitario. 1.2.4.3 Conjunto universal

Cuando se habla o se piensa en los conjuntos, es conveniente establecer la naturaleza de sus elementos, por ejemplo: Los elementos del conjunto A = {a, e, i} pertenecen al conjunto de las vocales, = {a, e, i, o, u}, es decir, A V, este conjunto V constituye el universo del conjunto A, por esta razn se dice que V es un conjunto Universal. Similarmente, si A = {x N / x es primo} sus elementos son elementos del conjunto de los nmeros naturales N, A N y en este caso, N se constituye en el conjunto universal. Generalmente, el conjunto universal se simboliza con la letra U. 1.2.4.4 Conjunto de partes o conjuntos de conjuntos

Si A es un conjunto, el conjunto de partes de A, escrito como P(A) est formado por todos los subconjuntos que se pueden formar del conjunto A. ------------------------------------------------1. Notacin tomada del texto Introduccin a la teora de conjuntos de Jos Mara Muoz Quevedo. Departamento de matemticas y estadstica. Universidad Nacional de Colombia. 1983

Ejemplo 1. Si A = {1, 3, 5}, entonces el conjunto partes de A esta formado por los siguientes subconjuntos: P (A) = {{1}, {3}, {5}, {1,3}, {1,5}, {3, 5}, {1, 3, 5}, }. Como se analiz en la seccin 1.2.4.1, el conjunto vaco est en todo conjunto y este caso no es la excepcin, por esta razn P(A). Adems, cave anotar que los elementos del conjunto A son a su vez conjuntos, por lo que se dice que el conjunto P(A) constituye una familia de conjuntos. El nmero de elementos del conjunto P(A) depende del nmero de elementos de A; en el ejemplo, A tiene 3 elementos y P(A) tiene 8 = 23 elementos, en general, Si A tiene n-elementos se pueden formar 2n subconjuntos del conjunto A. De esta forma queda resuelta la pregunta No. 4 de la evaluacin inicial. Ejemplo 2. Sea B = {2, {1, 3}, 4, {2, 5}}. B no es una familia de conjuntos porque algunos elementos de B son conjuntos y otros no. Para que el conjunto B fuera un conjunto de partes o una familia de conjuntos debera estar expresado de la siguiente forma: B = {{2}, {1,3}, {4}, {2,5}}. 1.3 REPRESENTACION GRFICA Una forma sencilla de visualizar los conjuntos y las relaciones entre ellos, es mediante la utilizacin de esquemas grficos llamados CIRCULOS DE EULER o DIAGRAMAS DE VENN. Estos esquemas estn compuestos por una regin cerrada del plano (generalmente un rectngulo), la cual representa el conjunto universal, y por uno o varios crculos que representan los conjuntos a graficar. Ejemplo 1. La representacin grfica de la relacin A B es: B B

AA

U Figura No. 1 A B

10

1.4 OPERACIONES ENTRE CONJUNTOS As como las operaciones suma, resta, multiplicacin y divisin estn definidas sobre los nmeros reales, tambin existen operaciones definidas entre los conjuntos como la unin, interseccin, complemento, diferencia, diferencia simtrica y producto cartesiano; stas se estudiarn en las siguientes secciones. 1.4.1 Unin Si A y B son dos conjuntos no vacos, se define la unin entre A y B como el conjunto de todos los elementos que pertenecen al conjunto a o al conjunto B. Simblicamente la unin se define as: A B = {x / x A,, x B}, donde el smbolo se lee o. Para representar grficamente una operacin entre conjuntos, se debe tener en cuenta la relacin que exista entre ellos, segn los siguientes casos: Caso 1. Que los conjuntos no tengan ningn elemento en comn. (conjuntos disyuntos). Caso 2. Que los conjuntos tengan slo unos elementos en comn. Caso 3. Que un conjunto este contenido en el otro. Teniendo en cuenta estas situaciones, la unin entre conjuntos se puede representar de la siguiente forma, donde la parte sombreada indica la operacin.

CASO 1.

uu

CASO 2.

B U

Figura No 2 A U A Ejemplo 1. Si A = {x N / x es dgito par o dgito primo} Grficamente la representacin de est unin es:

11

A 8 8

Figura No. 3 A B. Ejemplo 1.

La figura No.3 permite apreciar que el nico dgito que es a la vez par y primo es el nmero 2; esto conlleva a la formulacin de la siguiente operacin entre conjuntos. 1.4.2 Interseccin Se define la interseccin entre dos conjuntos A y B como el conjunto formado por todos los elementos que pertenecen simultneamente al conjunto A y al conjunto B. Simblicamente la interseccin se expresa as: A B = {x / x A,, x B}, el smbolo se lee interseccin y el smbolo se lee y. Teniendo en cuenta los casos citados en la seccin anterior (1.4.1), la representacin grfica de la interseccin se muestra en la siguiente figura.
A B A B

CASO 1. B

CASO 2.

CASO 3

Figura No. 4. A B.

12

En el caso 1 de la figura No.4, se puede observar que cuando dos conjuntos son diferentes, su interseccin es vaca y los conjuntos se llaman disyuntos, como ya se haba mencionado en la seccin 1.2; el caso 3 de la misma figura permite afirmar que si A B, entonces. A B = A; anlogamente se puede inferir que si B A, entonces, A B = B. A continuacin se realiza la demostracin analtica para el caso 3 de la figura No. 4, la otra situacin si B A, entonces, A B = B, se deja como ejercicio complementario (se encuentra al final del captulo), esta demostracin es muy similar a la que se har a continuacin, sin embargo la puede consultar en el libro, Teora de conjuntos de Seymour Lipschutz. Si A B, por definicin de contenencia entre conjuntos se puede afirmar que todo elemento x A, entonces x B; por definicin de interseccin, stos elementos x forman el conjunto A B y como todos estos son elementos de A, se puede concluir que A B = A. Ejemplo 1. Dados los conjuntos: M = {x N / x es mltiplo de 2} N = {x N / x es mltiplo de 3} P = {x N / x es impar} Se pueden analizar las siguientes intersecciones: M N = {6, 12, 18, 24, 36,}, escrito por comprensin es: M N = {x N / x es mltiplo de 6}. 2. M P = , no existe ningn nmero natural que sea mltiplo de 2 y a la vez impar. 3. M =, como se estudi en la seccin 1.2, el conjunto vaco est contenido en cualquier conjunto, en particular en M, esto es M, y por la demostracin que se realiz en la seccin 1.4.2 del caso 3 de la figura No.4. se puede concluir que M = . 1. 4. Para hallar la interseccin M N P, se puede encontrar la interseccin de M con N y luego con el conjunto P, es decir, hay que encontrar los elementos que estn en los tres conjuntos: M, N y P. En este caso M N = {x N / x es mltiplo de 6} y ste intersecado con el conjunto P est formado por los mltiplos de 6 que son impares, es decir, M N P = {x N / x es impar y mltiplo de 6}, por extensin el conjunto es: M N P = , pues no existe ningn nmero natural que sea a la vez impar y mltiplo de 6. 1.4.3 Diferencia Segn los tres casos estudiados en la seccin 1.4.1, se puede afirmar que al comparar dos conjuntos no vacos, puede suceder que: 1. No tengan ningn elemento en comn, (conjuntos totalmente diferentes).
13

2. 3. 4.

Slo algunos elementos sean comunes, (conjuntos parcialmente diferentes o parcialmente iguales) Un conjunto este contenido en el otro. Tengan exactamente los mismos elementos, (conjuntos iguales)

En los numerales 1, 2 y 3, se puede formar un conjunto con los elementos que le faltan a un conjunto para ser igual a otro, este conjunto as formado, se denomina diferencia entre conjuntos. Si A y B son dos conjuntos no vacos, entonces se define la diferencia entre A y B as: A B = {x / x A, , x B}, esto se lee: A menos B, es el conjunto formado por los elementos que estn en el conjunto A pero no en el B. En la siguiente grfica, la parte sombreada representa la diferencia entre los conjuntos A y B, segn las tres situaciones planteadas.

CASO 1. A B = A

CASO 2.

B Figura No. 4. A B

CASO 3. A B =

Figura No 4 A -- B En la grfica, el caso 3 de la figura No. 4, se puede observar que todos los elementos que estn en A, estn en B (debido a que A B), por lo tanto no existe ningn elemento que pertenezca a la diferencia A B y en consecuencia A B = . Surge ahora, la siguiente inquietud: Cul ser la diferencia entre A y B (A B) cuando B A? Esta pregunta se plantea formalmente en el numeral 4 de los ejercicios complementarios y el propsito es realizar la demostracin con el apoyo del tutor.

14

Ahora, la diferencia B A para los tres casos planteados, se representa por la parte sombreada de la siguiente figura:

CASO 1.

CASO 2. B A

CASO 2. A -- B

Figura No. 5. B A Ejemplo 1. Dados los conjuntos A = {x / x es un dgito} y B = {0, 2, 3, 7} hallar A B y B A y hacer la representacin grfica. Para efectuar estas operaciones se escriben los conjuntos por extensin, as: A = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} y B = {0, 2, 3, 7}, entonces: A B = {1, 4, 5, 6, 8, 9} y B A = , la representacin grfica se muestra en la figura No. 6

A B

AB

BA

Figura No. 6. Grfica del ejemplo 1.

15

1.4.4 Diferencia simtrica Se define la diferencia simtrica entre dos conjuntos no vacos A y B, como el conjunto formado por los elementos que pertenecen al conjunto A o al conjunto B, pero no pertenecen simultneamente a ambos conjuntos. Simblicamente la diferencia simtrica entre A y B se escribe as: A B = {x / x A, , x B, , x A B}. Su representacin grfica es:
A B A B

CASO 1. A B =

CASO 2.

CASO 3.

Figura No. 7. A B Ejemplo 1. Si A = {x / x es una letra de la palabra INGENIERIA} y B = {x / x es una letra de la palabra SISTEMAS}, entonces A B = {N, G, R, M, S, T}. Ejemplo 2. Dados los conjuntos M = {1, 2, 3, 4} y N = {4, 5}, la diferencia simtrica entre M y N es: M N = {1, 2, 3, 5}, claramente se puede observar que el nmero 4, no pertenece a la diferencia simtrica porque forma parte de la interseccin entre M y N. 1.4.5 Complemento Si A es un conjunto no vaco, el complemento de A, simbolizado por A, est formado por todos los elementos que no pertenecen al conjunto A, es decir, A = {x / x A} En la siguiente figura la parte sombreada muestra el complemento del conjunto A, en cada uno de los casos descritos anteriormente.

16

CASO 1 B

CASO 2

Figura No. 8. A

CASO 3

Figura N0 8 A Ejemplo 1. Al considerar el conjunto universal como el conjunto de los estudiantes de Ingeniera de sistemas de la UNAD y A como el conjunto de los estudiantes que estn en el primer semestre, el complemento del conjunto A (A) ser el conjunto formado por todos los estudiantes de ingeniera de sistemas de la UNAD que no cursan primer semestre, esto es: U = {x UNAD / x estudia ingeniera de sistemas}. A = {x Ingeniera de sistemas / x Primer semestre}. A = {x Ingeniera de sistemas / x Primer semestre}. 1.4.6 Producto Cartesiano Si A y B son dos conjuntos no vacos, se define el producto cartesiano entre A y B as: A X B = {(x , y ) / x A , , y B }. La expresin (x , y ) representa una pareja ordenada , que cumple la condicin de que su primera componente, (x) pertenece al conjunto A y la segunda componente (y) pertenece al conjunto B. Ejemplo 1. Si A = {1, 2,3} y B = {-1, 0, 2} el producto cartesiano de A X B es:

17

A X B = {(1,-1),(1,0),(1,2),(2,-1),(2,0),(2,2),(3,-1),(3,0),(3,2)} y el producto de BXA es B X A = {(-1,1),(-1,2),(-1,3),(0,1),(0,2),(0,3),(2,1),(2,2),(2,3)} Se puede observar que el producto cartesiano entre A y B no es conmutativo, puesto que la pareja ordenada ( x, y ) es diferente a la pareja ordenada ( y, x ), en particular, (-1,1) es diferente a (1, -1) y ( 3,-1) es diferente a (-1,3). La siguiente grfica muestra la diferencia.

Figura No. 8

Producto cartesiano

1.5 LA SIGMA LGEBRA DE CONJUNTOS 1.5.1 Propiedades de las operaciones entre conjuntos Las siguientes cuatro propiedades, son vlidas para las operaciones de unin e interseccin: a) Leyes de idempotencia: A U A = A A A = A b) Leyes asociativas: (A U B) U C = A (A B) C = A c) Leyes conmutativas: A U B = B U A A B = B A d) Leyes distributivas: A U (B C) = (A U B) A (B U C) = (A B)

U (B U C) (B C)

(A U C) U (A C)

Las siguientes propiedades estn relacionadas con los conjuntos Universal U y vaco : e) Leyes de identidad: A U U = U A U = A Propiedades con respecto al complemento. f) Leyes del complemento:

A U =A A =

18

A U A' = U (A' )' = A

A A' = ' = U

Estas leyes del complemento se pueden representar grficamente de la siguiente forma:

A A

Figura No. 9. A A = U

A A

A A

Figura No. 10. A A =

A A A A A

(A) = A

Figura No. 11. (A) = A

U Figura No. 12 = U

19

g) Leyes de Morgan: h) (A U B)' = A' B' (A B)' = A' U B' La representacin grfica es la siguiente:

A A

A A B

B A B

A B

A U B

(A U B)

Figura No. 13 (A B) = A B

A A B

B A B

A B

AB

(A B)

Figura No. 14 (A B) = A B Las anteriores leyes estn formuladas por pares, lo cual verifica la naturaleza dual de la teora de conjunto. .

20

1.5.2 PRINCIPIO DE DUALIDAD Si se intercambian las operaciones unin (U) por interseccin (), como tambin el conjunto universal (U) por el conjunto vaco (), en cualquier razonamiento sobre conjuntos, el enunciado resultante se llama DUAL del primero. Ejemplo 1. Demostrar que el dual de; (U U B) (A U ) = A es: ( B) U (A U) = A Tomando la primera parte y por las leyes de identidad se tiene que: (U U B) (A U ) U A = A Ahora, considerando la segunda y nuevamente aplicando las leyes de identidad se tiene que: ( B) U (A U) U A = A Con lo cual queda demostrado. Ejemplo 2. Demostrar que el dual de (A B) U (A B') = A es (A U B) (A U B') = A En este caso se puede hacer la demostracin en forma grfica as: i) La primera parte se puede representar de la siguiente forma:

A AB B A B'

Figura No.15

Primera parte del ejemplo 2

(A B) U (A B') = A

Figura No 15 Primera parte del ejemplo 2

21

ii) La representacin grfica de la segunda parte es:

A U B

A U B'

( A U B) (A U B') = A

Figura No. 16

Segunda parte del ejemplo 2

1.6 CONJUNTOS PARCIALMENTE ORDENADOS Un orden parcial en un conjunto A, es una relacin R en A que cumple: 1. Es reflexiva: (a,a) R para todo a A 2. Es antisimtrica: si (a,b) R y (b,a) R entonces a = b 3. Transitiva: Si (a,b) R y (b,c) R, entonces (a,c) R. Si una relacin R en A, define un orden parcial en A, entonces (a,b) R ( que se puede interpretar como a esta relacionado con b ),se simboliza como a b y se lee a anterior a b. Ejemplo 1. Si A es una familia de conjuntos. Demostrar que la relacin R definida por X es un subconjunto de Y es un orden parcial de A. Para que R defina un orden parcial en A debe verificar cada una de las siguientes propiedades: 1. Reflexiva: X es subconjunto de X, esto se verifica en virtud de la seccin 1.2.3 Subconjunto propio. 2. Antisimtrica: X es subconjunto de Y, Y es subconjunto de X, entonces X = Y, esta conclusin corresponde a la definicin de igualdad entre conjuntos seccin 1.2.2

22

3. Transitiva: Si X es subconjunto de Y, Y es subconjunto de Z, entonces X es subconjunto de Z, corresponde a la contenencia entre conjuntos, lo cual se demostr en la seccin 1.2.1. Lo anterior permite concluir que la relacin X, es un subconjunto de Y define una relacin de orden parcial sobre el conjunto A. Ejemplo 2 Sea A un subconjunto de los nmeros reales. La relacin R sobre A definida por X Y, X es menor o igual a y, es un orden parcial en A, la cual se llama orden natural en A. Para verificar cada una de las propiedades sean a, b, c nmeros reales, entonces: 1. Reflexiva: a = a para todo elemento a que esta en los nmeros reales, en este caso la propiedad se verifica para la igualdad, debido a que ningn nmero real es menor que s mismo. 2. Antisimtrica: Si a b y b a, necesariamente a = b, por la misma razn expuesta en el numeral 1. 3. Transitiva: Si a b y b c, entonces, a c, esto se puede analizar de la siguiente manera: Si a esta a la izquierda de b, y b esta a la izquierda de otro nmero c, entonces se puede asegurar que a est a la izquierda del nmero c. Por lo tanto X Y define el orden natural en los nmeros reales. Ejemplo 3. Sea R la relacin en V = {1, 2, 3, 4, 5, 6} definida por X divide a Y. Entonces R define un orden parcial en V. La relacin R est formada por los siguientes elementos: R = {(1, 2), (1, 3), (1,4), (1,5), (1,6), (2, 4), (2,6), (3, 6)}. Para visualizar este orden parcial en V, se utiliza un diagrama, en el cual las flechas representan la relacin entre los elementos de V, y dos o ms flechas consecutivas la propiedad transitiva; de esto surgen las siguientes trayectorias: 1 3 6. Se lee: 1 divide a 3, 3 divide a 6, y, 1 divide a 6 1 2 4. Se lee: 1 divide a 2, 2 divide a 4, y, 1 divide a 4 1 2 6. Se lee: 1 divide a 2, 2 divide a 6, y, 1 divide a 6 1 5 Se lee: 1 divide a 5.

23

4 2

6 3 5

Figura No.17 Definicin

Ejemplo 3.

Un conjunto A parcialmente ordenado est constituido por el conjunto A, y una relacin R de orden parcial. 1.6.1 PRIMERO Y ULTIMO ELEMENTOS PARCIALMENTE ORDENADO Definicin Sea A un conjunto ordenado. El elemento a A, se dice primer elemento de A, si para todo x A, a es anterior a todos los elementos de A; anlogamente, un elemento b A, se dice ltimo elemento de A, si para todo x A, b es posterior a todos los elementos de A. Ejemplo 1. Sea W = {a, b, c, d, e} ordenado por el siguiente diagrama: DE UN CONJUNTO

a b d Figura No.18 Ejemplo 1 c e

En este ejemplo a, es un elemento ltimo de W porque es posterior a todo elemento. W carece de primer elemento. El elemento d, no es un primer elemento porque d no es anterior a e y e no es un primer elemento porque e no es anterior a d.

24

Ejemplo 2 En los nmeros naturales N, el 1 es un primer elemento de N, pero no hay ltimo elemento. Ejemplo 3 Si A = {x / 0 < x < 1} ordenado por la relacin x y , A no tiene primero ni ltimo elemento. Ejemplo 4 Si A = {x / 0 x < 1} es un conjunto parcialmente ordenado por la relacin x y, el primer elemento es el 0, pero no tiene ltimo elemento. 1.6.2 ELEMENTOS MAXIMAL Y MINIMAL Si A es un conjunto ordenado, se dice que un elemento a A es MAXIMAL si no hay en A, ningn elemento posterior al elemento a en sentido estricto; anlogamente, se dice que un elemento b A es MINIMAL si ningn elemento de A es estrictamente anterior a b. Ejemplo 1 Sea W = { a, b, c, d, e} un conjunto ordenado por el diagrama del ejemplo 1 de la seccin 1.6.1, se puede observar que d y e son elementos minimales, puesto que no hay en W, ningn elemento estrictamente anterior a ninguno de ellos y el elemento a, es un maximal debido a que no hay ningn elemento posterior al elemento a. Ejemplo 2 Sea W = {a, b, c, d, e} un conjunto ordenado por el siguiente diagrama:

a e c Figura No.19

d Ejemplo 2

Los elementos c y d son minimales y los elementos a y b son maximales; es de observar que W no tiene primero ni ltimo elemento.

Ejemplo 3

25

Si A = {x / 0< x 1} ordenado por la relacin x y, este conjunto no tiene elemento minimal, pero su elemento maximal es el 1. Ejemplo 4 Si A = { x / 0 < x < 1} ordenado por la relacin x y no tiene elemento maximal ni minimal. Los ejemplos anteriores permiten afirmar que: 1. Si a es un primer elemento del conjunto A, entonces a es un elemento minimal del conjunto A y es nico; de igual forma, un ltimo elemento de A, es un elemento maximal de A y es nico. 2. Todo conjunto finito parcialmente ordenado, tiene por lo menos un elemento maximal y un elemento minimal. 3. Un conjunto infinito parcialmente ordenado, como en el ejemplo 4, puede no tener elementos maximales o minimales.

26

AUTOEVALUACIN No. 1 1. Si X = {1, {1}}; hallar todos los subconjuntos de X. 2. Sean A = {1, 2, 3, 4, 5}, B = {2, 4, 6,}, C = {3, 5, 7} y U = {x / x es un nmero natural menor o igual que 9}. Hallar: 2.1 A ' B' 2.2 A' B' 2.3 A - B 2.4 A B 2.5 B C 2.6 A U 2.7 B C 2.8 B X C 2.9 A B 2.10 B C 2.11 Comprobar que el nmero de elementos de A B y de B C esta dado respectivamente por: n (A B) = n (A) + n(B) - n(A B) y el n(B C) = n(B) + n(C) 3. Hallar los conjuntos A y B si se sabe que: A' = {2, 3, 5, 7}, B' = {1, 4, 7} y U = {1, 2, 3, 4, 5, 6, 7, 8} 4. El nmero de elementos de los conjuntos A, B, C y U son: n (U) = 60, n(A) = 26, n(B) = 24, n(C) = 8, n(A B) = 10, n(A C) = 0 y se sabe que C B. Hallar: 4.1 4.2 4.3 4.4 n(A - B) n(A B)' n(A C)' n[A - (B C)' ]

5. Construya un diagrama de Venn con 3 conjuntos A, B y C no vacos, de tal forma que cumplan con las siguientes caractersticas. 5.1 A B; C B; A C = 5.2 A B; C B; A C 5.3 A B; B C; A B ; B .

27

EJERCICIOS DE PROFUNDIZACIN No. 1 1. Representar mediante diagramas de Veen o crculos de Euler las relaciones entre conjuntos. 2. Demostrar o refutar cada una de las siguientes propiedades entre conjuntos. 2.1 A B = B A 2.2 A ( A U B ) y B ( A U B ) 2.3 Si B C entonces A B = B 3. Si B A, hallar A B y hacer la representacin grfica. 4. Hallar el dual de cada una de las siguientes operaciones. Realizar la demostracin. 4.1 (B C) A = (B A) (C A) 4.2 A (A' B) = A B 4.3 (A U) ( A') = 4.4 (A ) (A U ) = A 4.5 A = 4.6 (A B)' = A' B' 5. En cada uno de los siguientes diagramas identificar el rea sombreada. AA

5.1

5.2

5.3

5.4
28

5.5

5.6

6. En un examen a 200 estudiantes relacionado con la habilidad para leer ingls, francs y espaol se obtuvieron los siguientes resultados: 80 leen ingls, 105 leen francs, 80 leen espaol, 55 leen espaol y francs, 55 leen ingls y no leen francs, 60 leen ingls y no leen espaol, 15 leen ingls y espaol, pero no francs. Cuntos de estos estudiantes: 6.1 6.2 6.3 6.4 Leen los tres idiomas Leen nicamente francs No leen ninguno de los tres idiomas Leen espaol pero no ingls ni francs

29

INFORMACION DE RETORNO No. 1 1. P (X) = [{1}, {{1}}, {1, {1}}, ] 2.1 Por DMorgan A B = (A B) = {7, 8, 9} 2.2 Por DMorgan A B = (A B) = {1, 3, 5, 6, 7, 8, 9} 2.3 A B = {1, 3, 5} 2.4 A B = {2, 4} 2.5 B C = 2.6 A U = {6, 7, 8, 9} 2.7 B C = {2, 3, 4, 5, 6, 7} 2.8 B x C = {(2, 3), (2,5),(2,7),(4,3),(4,5),(4,7),(6,3),(6,5),(6,7)} 2.9 A B = {1, 2, 3, 4, 5, 6} 2.10 B C = {2, 3, 4, 5, 6, 7} 2.11 n(A B) = n(A) + n(B) - n(A B) 6 =5 + 3 - 2 6 = 6 (B C) = n(B) + n(C) 6 = 3 + 3 6 = 6 3. Como (A) = A, entonces A = {1, 4, 6, 8} (B)= B, entonces B = {2, 3, 5, 6, 8} 4.1 4.2 4.3 4.4 5.1 n(A B) = 2 n(A B) = 10 n(A C) = 26 n[A (B C)] = 26 5.2

B A AA AA

5.3

30

2. PRINCIPIOS DE LA LOGICA OBJETIVO GENERAL Establecer el valor de verdad de muchos de los enunciados lgicos, utilizando las leyes de la lgica y las de las inferencias, ya sea para determinar la conclusin, o para determinar la consistencia interna del razonamiento. OBJETIVOS ESPECFICOS 1. Conocer la historia de la lgica y su clasificacin. 2. Establecer la relacin entre lgica y lingstica. 3. Aprender los conectivos lgicos: disyuncin, conjuncin, negacin, implicacin y equivalencia. 4. Elaborar la tabla de verdad de enunciados o expresiones lgicas. 5. Aplicar las leyes del lgebra de proposiciones para realizar demostraciones. 6. Determinar la conclusin de un grupo de premisas utilizando las inferencias lgicas. 7. Definir y diferenciar conceptos tales como razonamiento, demostracin y argumento.

31

EVALUACIN INICIAL No. 2 1. 2. 3. 4. Por qu Aristteles fue considerado como el Padre de la Lgica? Cmo se puede clasificar la lgica?. Explicar. Cmo se define la lgica? Qu tipos de lenguajes se pueden reconocer? Cul es su diferencia y cul su semejanza? 5. Qu es una proposicin y cmo se simboliza? 6. Cmo se definen los conectivos lgicos y para qu sirven? 7. Escriba en lenguaje cotidiano y en forma simblica los conectivos que conoce. 8. Cul es la forma recproca del enunciado si se conocen las leyes de las inferencias lgicas, entonces se facilitar sacar conclusiones de los razonamientos. 9. Qu proceso se utiliza para decidir si la proposicin p q p q es una tautologa o contradiccin? 10. Escriba la conclusin del siguiente razonamiento: Si aprob el examen semestral y el examen final, entonces aprob el curso. Si aprob el curso, entonces aprob el final. Reprob el curso.

32

2.1 HISTORIA Y CLASIFICACIN Etimolgicamente la lgica es la ciencia del logos. Originalmente logos significa palabra o discurso, por lo que en un principio se defini la lgica como la rama de la gramtica que se ocupaba de ciertas formas de lenguaje. Como la palabra es la expresin, o manifestacin del pensamiento y el pensamiento racional es la base de la filosofa, puede decirse en general, que la lgica es la ciencia del pensamiento racional; es de aclarar que la lgica no se ocupa del contenido de los pensamientos sino de la manera o forma de los pensamientos. En respuesta a la necesidad de construir argumentos, para defender o refutar pensamientos de los dems, Aristteles, considerado por los griegos. El padre de la lgica, creo mtodos sistemticos para analizar y evaluar dichos argumentos, para lo cual desarroll la lgica proposicional estableciendo procedimientos para determinar la verdad o falsedad de proposiciones compuestas. El gran matemtico Gottfried Leibniz en 1646 fue el primero en intentar reformar la lgica clsica, planteando que la dependencia lgica entre proposiciones es demostrada, reduciendo argumentos complejos en simples, para lo cual propuso representar el conocimiento, en una forma que pudiera ser usado por un razonamiento mecnico y a ste esquema (lgica simblica) lo llam una caracterstica universal. El proceso de la lgica continu en el siglo XIX. En 1847 el matemtico ingls George Boole en compaa de Augustus de Morgan hizo notar el parentesco entre las operaciones lgicas con las matemticas, pues a partir de los operadores aritmticos de adicin, multiplicacin y sustraccin crearon los operadores lgicos equivalentes de unin, interseccin y negacin; adems formularon los principios del razonamiento simblico y el anlisis lgico. A Boole se le atribuye la invencin de las tablas de verdad para comprobar la veracidad de proposiciones compuestas. Este trabajo fue retomado por Bertrand Russell y Alfred Whitehead 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 esta razn la fundacin de la lgica formal moderna se le atribuye a ellos. La lgica se puede clasificar como: 1. Lgica tradicional o no formal. 2. Lgica simblica o formal. En la lgica tradicional se consideran los procesos psicobiolgicos del pensamiento lgico, y los mtodos de inferencia que estn relacionados con la destreza para interpretar y distinguir el razonamiento correcto del incorrecto; se

33

puede considerar que la lgica no formal resume las experiencias humanas obtenidas del conocimiento y de la observacin del mundo circundante. La lgica como ciencia constituye la lgica formal o simblica, la cual se encarga de investigar, desarrollar y establecer los principios fundamentales que siguen la validez de la inferencia; es considerada como uno de los sistemas mediante el cual se llega a formas puras y rigurosas. En el pensamiento simblico, las palabras se manipulan, segn las reglas establecidas, como si fueran simples signos sin preocuparse por su sentido. 2.2 CONCEPTUALIZACIN La lgica ofrece mtodos que ensean cmo formar proposiciones, evaluar sus valores de verdad y determinar si unas conclusiones se pueden deducir correctamente a partir de proposiciones supuestas; adems, la lgica es una ciencia que se interesa por las relaciones existentes entre las proposiciones, con el fin de obtener precisin, claridad y generalidad en los razonamientos. La precisin la logra mediante el uso de smbolos, los cuales tienen como funcin primordial eliminar las ambigedades que la estructura del lenguaje ordinario no puede evitar con facilidad. La claridad y generalidad, la consigue en la medida en que el usuario se familiariza con los elementos bsicos de un argumento lgico, tanto en su representacin simblica como en su significado para luego establecer un lenguaje simblico artificial, que le permita simplificar argumentos lgicos complicados; de esta manera, el smbolo permite concentracin sobre lo esencial de un contexto dado, incrementando la fiabilidad con que se aplica el conocimiento. 2.3 LGICA Y LINGSTICA

Por su origen y desarrollo natural, han sido reconocidos dos tipos bsicos de lenguajes: los lenguajes naturales y los lenguajes formales o artificiales. Los lenguajes naturales no se establecieron a travs de ninguna teora, entre ellos estn el castellano, el francs y el ingls. Las teoras y gramticas de lenguajes naturales, fueron establecidas a posteriori, es decir despus de que el lenguaje ya haba madurado. Los lenguajes formales como las matemticas y la lgica, fueron desarrollados, generalmente, a partir del establecimiento de una teora, la cual da las bases para que a travs de dichos lenguajes se pueda desarrollar la misma teora. Los lenguajes naturales y formales tienen puntos en comn, en principio, se tiene la existencia de un conjunto finito llamado alfabeto, el cual esta constituido de smbolos simples llamados comnmente letras. En los lenguajes naturales se tienen como ejemplos los alfabetos: latino, griego y rabe-persa,

34

entre otros. En los formales como la lgica se tiene el lxico del clculo proposicional y de predicados. Mediante la concatenacin de las letras del alfabeto se forman los monemas, fonemas o palabras que se encuentran en el interior de un enunciado, de tal forma que un lenguaje se considera como un conjunto infinito de oraciones o enunciados que se forman con palabras del diccionario. En los sistemas formales los enunciados del lenguaje consisten en una lista de smbolos, (lgicos o matemticos) sujetos a diversas interpretaciones. En un lenguaje formal, las palabras y las oraciones estn perfectamente definidas, una palabra mantiene el mismo significado prescindiendo del contexto o de su uso. Los lenguajes formales son, por esto, necesariamente exentos de cualquier componente semntico fuera de sus operadores y relaciones, y es gracias a esta ausencia de significado especial, que los lenguajes formales pueden ser usados para modelar una teora de la ingeniera de sistemas, mecnica, elctrica, entre otras. 2.4 SIMBOLIZACIN : PROPOSICIONES

La lgica utiliza un lenguaje exacto que no da lugar a imprecisiones, para tal fin toma como elemento bsico de anlisis a la proposicin, que no es otra cosa que una oracin del lenguaje cotidiano con un significado mucho ms limitado, en tales condiciones, se puede considerar una proposicin como una excepcin lingstica que tiene la propiedad de ser verdadera o falsa, y para simplificar la escritura de argumentos lgicos complicados; crea un lenguaje simblico artificial, en donde establece un conjunto de reglas claras, bien definidas y que no presentan las ambigedades ni vaguedades del lenguaje corriente. Es importante tener en cuenta que las proposiciones representan oraciones declarativas, las cuales contienen un sujeto perfectamente definido o dado por el contexto, un predicado y una conjugacin del verbo ser. Las proposiciones se representan simblicamente mediante el uso de letras minsculas del alfabeto tales como p, q, r, s, ..., x, y, z, las cuales reciben el nombre de letras o variables proposicionales, de esta forma, el lenguaje proposicional se hace ms simple y exacto que el lenguaje natural. Los siguientes ejemplos ilustran cmo se pueden simbolizar las proposiciones: p: q: r : s: x: Hoy es sbado. Estudio ingeniera de sistemas. New York es llamada la capital del mundo. 1 no es un nmero primo. 4 + 3 = 10.

Es decir, se puede establecer una relacin biunvoca entre el lenguaje natural y el lenguaje formal. Estas proposiciones generalmente se llaman frases.

35

En el lenguaje cotidiano se encuentran expresiones como por ejemplo: Las rosas son rojas y tienen espinas. La seleccin Colombia gan o perdi? En el pas no hay violencia.

Si estudio lgica matemtica entonces ser un destacado ingeniero de sistemas. 4 es un nmero par si y slo si se puede dividir por 2. Estas expresiones se denominan oraciones y para su formacin se utilizaron las letras y, o, no, si entonces, s y slo si, que sirvieron para unir o enlazar los enunciados. Estos trminos de enlace reciben el nombre de CONECTIVOS LGICOS y al igual que a las proposiciones, tambin se les asignan un lenguaje simblico, as: LENGUAJE NATURAL y o no Si entonces S y slo si La notacin simblica de las proposiciones 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 x y : 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. LENGUAJE FORMAL ~

36

En lgica se consideran y se simbolizan dos clases de proposiciones: atmicas o simples y moleculares o compuestas. 2.4.1 PROPOSICIONES SIMPLES Se denominan proposiciones simples aquellas oraciones que no utilizan conectivos lgicos. Ejemplos: p : El eclipse es un fenmeno natural. q : La luna es un satlite de la tierra. r : 2 es el inverso multiplicativo de 2. s: -3 es el inverso aditivo de 3. El valor de verdad de una proposicin simple puede ser verdadero (V) o falso (F), pero no los dos valores al mismo tiempo, pues dejara de ser proposicin. 2.4.2 PROPOSICIONES COMPUESTAS Las proposiciones compuestas son aquellas que se obtienen combinando dos o ms proposiciones simples mediante trminos de enlace. Ejemplos: p : Est lloviendo. q: El sol brilla. p q: Est lloviendo y el sol brilla. x : Quieres caf?. y : Quieres t?. x y : quieres caf o t?. s : Llueve. r : Hace fro. s r : Si llueve entonces hace fro. p : Un tringulo es equiltero. q: Un tringulo tiene sus tres lados iguales. p q : Un tringulo es equiltero si y slo si tiene sus tres lados iguales. La veracidad o falsedad de una proposicin compuesta, depende del valor de verdad de cada una de las proposiciones simples que la conforman y de la forma como estn combinadas; para establecer este valor, se fijan criterios que se estudiarn en las prximas secciones de este captulo.

37

2.5

CONECTIVOS LGICOS

Como ya se dijo en la seccin anterior, los smbolos que sirven para enlazar dos o ms proposiciones simples, se llaman conectivos lgicos, estos son: la conjuncin, la disyuncin, la negacin, el condicional y el bicondicional. 2.5.1 La conjuncin: Sean p y q dos proposiciones simples. La proposicin compuesta p y q simbolizada por p q, se denomina la conjuncin de p y q. Ejemplo 1. La proposicin compuesta r s : 6 es nmero par y entero positivo, est formada por: r : 6 es un nmero par. :y s : entero positivo. Ejemplo 2 p q : Termino de escribir mi programa de computacin y luego jugar tenis p: Termino de escribir mi programa de computacin. : y q: jugar tenis. Para establecer el valor de verdad de la conjuncin, surgen las siguientes posibilidades: 1. 2. 3. 4. Que p y q sean verdaderas. Que p sea verdadera y q sea falsa. Que p sea falsa y q verdadera. Que p y q sean falsas.

A continuacin se analizan estas posibilidades para el ejemplo 1, el anlisis del ejemplo 2 se deja como ejercicio. 1. r: Verdadera. 6 es un nmero par. s: Verdadera. 6 es un entero positivo. r s : Verdadera (V)

2.

r: Verdadera. 6 es un nmero par. s: Falsa. 6 no es un entero positivo. r s : Falsa (F). r: Falsa. 6 no es un nmero par. s: Verdadera. 6 es un entero positivo. r s :Falsa (F).

3.

38

r : Falsa. 6 no es un nmero par. s: Falsa. 6 no es un entero positivo. r s: Falsa (F). 2.5.2 La disyuncin V Sean p y q dos proposiciones simples. La proposicin p o q, simbolizada p v q se llama disyuncin de p y q. El operador o se puede usar de dos formas: como o incluyente o como o excluyente. En el primer caso (o incluyente) hace que el valor de verdad de una de las dos proposiciones simples repercuta en el valor verdadero de la proposicin disyuntiva; mientras que en la segunda forma (o excluyente) el valor de verdad de una proposicin, excluye la veracidad de la otra proposicin, esto hace que la proposicin disyuntiva tome el valor verdadero. Ejemplo 1. Uso del o incluyente r v s: Juan estudia ingeniera o Paola estudia medicina. r : Juan estudia ingeniera. v:O s: Paola estudia medicina. Ejemplo 2. Uso del o excluyente. x v y : Quieres helado o gaseosa. x : Quieres helado. v: O y: Quieres gaseosa. Ejemplo 3: Uso del o excluyente p v q: Alexandra vive en Bogot o en Barranquilla. p : Alexandra vive en Bogot. v:O q : Alexandra vive en Barranquilla. 2.5.3 La negacin Sea p una proposicin simple. Se define la negacin de p mediante la proposicin compuesta no p simbolizada por: ~ p. Ejemplo 1. p : 3 es un nmero entero primo. ~ p : 3 no es un nmero entero primo, tambin se puede leer. es falso que 3 es un nmero entero primo. Ejemplo 2. q : El automvil de Francisco es rojo. ~ q: El automvil de Francisco no es rojo ,o, es falso que el automvil de Francisco es rojo. 2.5.4 El condicional

39

Se dice que una proposicin compuesta es condicional, si esta formada por dos proposiciones simples enlazadas por la expresin sientonces. Si p y q representan dos proposiciones, la expresin si p entonces q se simboliza as : p q y se lee p implica q. La proposicin precedida por la expresin si, se llama antecedente o hiptesis y la proposicin precedida por la expresin entonces, se llama consecuente o conclusin de la implicacin. En la expresin p q, el antecedente es p y el consecuente es q. Las proposiciones condicionales se pueden enunciar de diferentes maneras as: 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. El algoritmo esta bien enunciado si el programa corre. Si dos rectas nunca se cortan necesariamente son paralelas. Cuando una proposicin condicional se escribe en una de las anteriores formas, probablemente, en el lenguaje comn habr alguna que no se interprete como se desea, pero como la lgica no permite ambigedades, stas se deben escribir segn la definicin dada en la seccin. Existen varias formas de enunciar proposiciones condicionales as: Implicacin directa: pq Implicacin contraria: qp Implicacin recproca: ~p~q Implicacin contrarrecproca: ~q~p Ejemplo 1. Dadas las proposiciones p: q: 2m es divisible por 4 m es par

entonces: La proposicin directa es: p q: si 2m es divisible por 4 entonces m es par, la contraria es: q p: Si m es par entonces 2m es divisible por 4, la recproca es: ~ p ~ q: si 2m no es divisible por 4, entonces m no es par y la contrarrecproca es: ~ q ~ p : Si m no es par, entonces 2m no es divisible por 4. Ejemplo 2. Teniendo en cuenta la proposicin directa: formas de la implicacin. Contraria: q~p Recproca: ~ (~ p) ~ q p ~ q Contrarrecproca: ~ q ~ (~ p) ~ q p. ~ p q construir las otras

40

Ejemplo 3. Proposicin directa: Contraria: Recproca: Contrarrecproca:

~p~ q ~q~ p ~ (~ p) ~ (~ q) p q

~ (~ q) ~ (~ p) q p En la seccin 2.7 se analizar la equivalencia de las formas de enunciar las implicaciones. 2.5.5 El bicondicional Se denomina bicondicional a la proposicin formada por dos proposiciones simples conectadas por la expresin s y slo s. 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 bicondicional 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. La proposicin bicondicional tiene varias formas de traduccin ms no de significacin, stas son: p s y slo si q. q s y slo si p. si p entonces q y recprocamente. si q entonces q 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. El bicondicional p q se puede traducir de las siguientes formas: Un tringulo es rectngulo s y slo s tiene un ngulo recto. Un tringulo tiene un ngulo recto s y slo s es un tringulo rectngulo Si un tringulo es rectngulo entonces tiene un ngulo recto y si un tringulo tiene un ngulo recto entonces es un tringulo rectngulo. Una condicin necesaria y suficiente para que un tringulo sea rectngulo es que tenga un ngulo recto. Una condicin necesaria y suficiente para que un tringulo tenga un ngulo recto es que sea un tringulo rectngulo. Un tringulo rectngulo es equivalente a un tringulo con un ngulo recto.

41

2.6 TABLA DE VERDAD 2.6.1 Definicin Una tabla de verdad es una representacin esquemtica de las relaciones entre proposiciones; sirve para determinar los valores de verdad de proposiciones compuestas, las cuales dependen de los conectivos utilizados y de los valores de verdad de sus proposiciones simples. En la elaboracin de una tabla de verdad los trminos de enlace tales como la negacin ( ~ ), la disyuncin ( ) y la conjuncin ( ) se consideran conectivos fundamentales; por tal razn, sus valores de verdad constituyen base para establecer bajo qu condiciones una proposicin compuesta es verdadera o falsa. Para simbolizar los valores de verdad de una proposicin, se utiliza el sistema binario, mediante el cual se le asigna 1 al valor verdadero y 0 al valor falso. La siguiente tabla resume los valores de verdad de los conectivos lgicos: p 1 1 0 0 q 1 0 1 0 ~p 0 0 1 1 pq 1 0 0 0 pq 1 1 1 0 pq 1 0 1 1 pq 1 0 0 1

2.6.2 Construccin de tablas de verdad Para determinar el valor de verdad de una proposicin compuesta es necesario elaborar la correspondiente tabla de verdad; para tal fin y mediante el siguiente ejemplo se enuncian los pasos a seguir: Ejemplo 1. Construir la tabla de verdad para la proposicin ~ (p q). Paso 1. Se hace un recorrido de izquierda a derecha teniendo en cuenta los parntesis. Paso 2. Se identifica el conectivo que aparece dentro del parntesis, en este ejemplo la conjuncin. Paso 3. Se precisa el trmino de enlace que precede al parntesis, en el ejemplo la negacin. Paso 4. Se elabora la tabla con el nmero de columnas determinado por: Proposiciones que intervienen Conectivos utilizados dentro del parntesis Conectivo utilizado fuera del parntesis. La siguiente tabla ilustra el paso 4 p q pq ~(pq)

42

Paso 5. Se fijan los valores de verdad en las columnas de las proposiciones p y q. se ilustra en la siguiente tabla p q pq ~(pq) 1 1 1 0 0 1 0 0 Paso 6. Se completa la tabla por columnas, teniendo en cuenta el conectivo y el valor de verdad de cada proposicin simple. La finalizacin de la elaboracin de la tabla de verdad es: p 1 1 0 0 q 1 0 1 0 pq 1 0 0 0 ~(pq) 0 1 1 1

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. p 1 1 0 0 Ejemplo 3 Elaborar la tabla de verdad para la doble negacin, es decir, ~ (~ p) p 1 0 ~p 0 1 ~ (~ p) 1 0 q 1 0 1 0 pq 1 1 1 0 pq 1 0 0 0 (p q) (p q) 1 0 0 0

Este resultado permite concluir que la doble negacin de una proposicin es la misma proposicin.

43

2.7 TABLAS DE VERDAD PARA LOS CONECTIVOS LGICOS 2.7.1 La conjuncin p V V F F q V F V F Tabla No. 1 La conjuncin. Lo anterior permite concluir que la conjuncin es verdadera nicamente cuando las dos proposiciones simples son verdaderas, en cualquier otro caso la proposicin es falsa. 2.7.2 La disyuncin p V V F F 2.7.3 La negacin p V F Tabla No. 3 La negacin. 2.3.4. El condiciona p 1 1 0 0 q 1 0 1 0 Tabla No. 4 El condicional. 2.7.4 El bicondicional. p 1 1 0 0 q 1 0 1 0 Tabla No. 5 El bicondicional. pq 1 0 0 1 pq 1 0 1 1 ~p F V q V F V F Tabla No. 2 La disyuncin p v q V V V F pq V F F F

44

2.7.5. Implicacin directa, contraria, recproca y contrarecproca En la seccin 2.5.4 se enunciaron las cuatro formas de la implicacin, corresponde en esta seccin, hacer la tabla de cada una de ellas y analizar sus equivalencias. p 1 1 0 0 q 1 0 1 0 ~p ~q 0 0 1 1 0 1 0 1 pq qp ~p~q Directa Contraria Recproca 1 1 1 0 1 1 1 0 0 1 1 1 Tabla No. 6. Formas de la implicacin. ~q~p Contrarrecporca 1 0 1 1

Esta tabla permite analizar que los valores de verdad correspondientes a las columnas de la directa y la contrarecpoca coinciden, al igual que los de las columnas de la contraria y de la recproca, por lo tanto estas implicaciones son equivalentes, es decir: 1. ( p q ) (~ q ~ p ) 2. ( q p ) (~ p ~ q ) 2.8 LEYES DE LA LGICA

2.8.1 Tautologa: Entre las proposiciones compuestas existen unas muy importantes por ser siempre verdaderas, independientemente del valor de verdad de las proposiciones que la conforman, este tipo de proposiciones reciben el nombre de tautologas, es decir, una tautologa es una proposicin que es verdadera en todos los casos. Ejemplo 1. Demostrar que la proposicin ( p q ) (~ q p ). 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. p 1 1 0 0 q 1 0 1 0 pq 1 1 1 0 ~q ~qp 0 1 0 1 1 1 1 0 Tabla No. 7. Ejemplo 1. ( p q ) (~ q p) 1 1 1 1

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.

45

Ejemplo 2. Es ( p ~ q ) q una tautologa? Para responder la pregunta se hace necesario hacer la tabla, as: p 1 1 0 0 q 1 0 1 0 ~q 0 1 0 1 p~q 0 1 0 0 ( p ~ q) q 0 0 0 0

Por lo tanto esta proposicin no es una tautologa, es una contradiccin. Dos proposiciones compuestas se consideran lgicamente equivalentes si tienen los mismos valores de verdad para cada una de las opciones en la tabla de verdad. Ejemplo 3 Establecer si las proposiciones (p q ) y (~ p q ) son lgicamente equivalentes. Para esto hay que probar que (p q) (~ p q), la tabla de verdad es: p 1 1 0 0 q 1 0 1 0 pq 1 0 1 1 ~p 0 0 1 1 ~pq 1 0 1 1 (p q ) (~ p q) 1 1 1 1

Como la ltima columna es toda verdadera (tautologa), se puede concluir que las proposiciones son lgicamente equivalentes. 2.8.2. Leyes del lgebra de proposiciones Las siguientes son las leyes de la lgica. 1. Idempotencia: ppp p p p 3. Asociativas: (p q) r p (q r ) (p q) r p (q r) 4. Conmutativas: pqqp p q q p

46

5. Distributivas: p (q r) (p q) (p r) p (q r) (p q) (p r) 6. Identidad: p0p, p 11 p 0 0 , p 1 p. 7. Complemento: p ~ p 1, p ~ p 0 ~ ( ~ p) p, ~ 1 0, ~ 0 1 8. Leyes D Morgan ~(pq)~p~q ~(pq)~p~q Estas leyes estn formuladas por pares debido a la naturaleza dual del lgebra de proposiciones. En los ejemplos que aparecen a continuacin, se utilizan las leyes de la lgica para realizar las respectivas demostraciones Ejemplo 1. Demostrar que: 1. p p p 2. p p p. Estas demostraciones se pueden efectuar partiendo del primer miembro y llegar al segundo o partiendo del segundo y llegar al primero. En la parte derecha se escribe el nombre de la ley que justifica ese paso. 1. Partiendo del primer miembro se llega al segundo as: p p (p p) 0 Identidad p p (p p) (p ~ p) Complemento p p p (p ~ p) Distributiva ppp1 Complemento ppp Identidad 2. Partiendo del segundo miembro se llega al primero as: pp0 Identidad p p (p ~ p) Complemento p (p p) (p ~ p) Distributiva p (p p) 1 Complemento p (p p) Identidad. Se sugiere hacer las demostraciones partiendo del primer miembro. Ejemplo 2. Demostrar que: (p q) (~ p q) q ( q p) (q ~ p) q Conmutativa

47

q(p~p) q0 q

Distributiva Complemento Identidad

Ejemplo 3. Demostrar que: [ (p q) (~ p r) (q r) ] [ (p q) (~ p r)] [ (p q) (~ p r) (q r) ] [ (p q) (~ p r) (q r) ] 0 Identidad [(p q) (~ p r) (q r)] (q r) ~ (q r) Complemento (p q) (~ p r) (q r) ~ (q r) Asociativa (p q) (~ p r) 0 Complemento (p q) (~ p r) Identidad Ejemplo 4. Demostrar: (p ~ q) (q r) (q ~ r) (p q) (p ~ q) [q (r ~ r)] (p ~ q) [q 0] (p ~ q) q (p q) (~ q q) (p q) 0 (p q) Distributiva Complemento Identidad Distributiva Complemento Identidad.

Ejemplo 5. Demostrar: ~ [(p ~ q r) (p q r)] (~ p ~ r) ~ [(p ~ q r) (p q r)] ~ [(p r) (~ q q)] Conmutativa y distributiva ~ [(p ~ q r) (p q r)] ~ [(p r) 1] Complemento ~ [(p ~ q r) (p q r)] ~ (p r) Identidad ~ [(p ~ q r) (p q r)] (~ p ~ r) D Morgan 2.9 INFERENCIAS LOGICAS Para definir las inferencias lgicas es necesario precisar algunos conceptos tales como razonamiento y demostracin. Razonamiento es el proceso que se realiza para obtener una demostracin. Demostracin es el encadenamiento de proposiciones que permiten obtener otra proposicin, llamada conclusin, a partir de ciertas proposiciones iniciales supuestas como verdaderas, que reciben el nombre de premisas. En la seccin 2.10 se har un anlisis ms detallado de la demostracin. Las inferencias lgicas son las conclusiones que se pueden obtener despus de realizar un razonamiento, este razonamiento solamente es verdadero si se cumplen las siguientes condiciones: 1. Las premisas deben ser verdaderas. 2. Durante el proceso de deduccin las premisas deben relacionarse sujetas a las leyes de la lgica.

48

As, el conocimiento obtenido de proposiciones verdaderas preestablecidas (premisas), y aplicando las leyes de la lgica a esas premisas, se denomina conclusin. Las reglas de inferencia lgica son: 2.9.1 Modus Ponendo Ponens (MPP) Este mtodo de inferencia establece que si una implicacin es cierta y adems tambin lo es su antecedente, entonces su consecuente es necesariamente verdadero; de forma simblica esto se expresa as: [(pq)p]q Ejemplo 1. Premisa 1. Si Julin estudia Ingeniera de sistemas a distancia, entonces l estudia en la UNAD. Premisa 2. Julin estudia Ingeniera de sistemas a distancia. Conclusin. Julin estudia en la UNAD. Simblicamente, el ejemplo 1 se expresa as: Si p: Julin estudia Ingeniera de Sistemas a Distancia q: l estudia en la UNAD. Entonces: Premisa 1. p q Premisa 2. p Conclusin. q Ejemplo 2. Premisa 1. Si x + y = z, entonces, y + x = z. Premisa 2. x + y = z Conclusin. y + x = z Simblicamente, si p: x + y = z q: y + x = z Entonces: Premisa 1. p q Premisa 2. p Conclusin. q Ejemplo 3. Premisa 1. ~ p s Premisa 2. ~ p Conclusin. s Ejemplo 4. Premisa 1. ~ r ~ t s Premisa 2. ~ r Conclusin. ~ t s 2.9.2 Modus Tollendo Tollens ( MTT ) Esta regla de inferencia dice que si una implicacin es verdadera y su consecuente es falso, entonces su antecedente ser necesariamente falso; simblicamente se expresa as:

49

[(pq)~q]~p

Ejemplo 1 Premisa 1. Si un ngulo de un tringulo es mayor de 90, entonces la suma de los otros dos ngulos es menor de 90. Premisa 2. La suma de los otros dos ngulos no es menor de 90. Conclusin. Un ngulo de un tringulo no es mayor de 90. Simblicamente: p: Un ngulo de un tringulo es mayor de 90. q: La suma de los otros dos ngulos es menor de 90. Premisa 1. p q Premisa 2. ~ q Conclusin. ~ p Ejemplo 2 Deducir una conclusin del siguiente conjunto de premisas. Premisa 1. q ~ r Premisa 2. ~ (~ r) Conclusin. ~ q. Ejemplo 3. Premisa 1. p q r Premisa 2. ~ r Conclusin. ~ (p q) ~ p ~ q Ejemplo 4. Demostrar que la conclusin es consecuencia de las premisas dadas. Premisa 1. ~ b Premisa 2. a b Premisa 3. ~ a c. Demostrar c. Premisa 4. De la premisa 2 y de la premisa 1, [(a b) ~ b] se puede concluir ~ a por el MTT. Premisa 5. De las premisas 3 y 4, [(~ a c) ~ a] se puede concluir la proposicin c por el MPP. 2.9.3 Modus Tollendo Ponens ( MTP) Esta ley se enuncia as:

D Morgan.

50

Si una disyuncin es verdadera y una de sus proposiciones simples es falsa, entonces necesariamente la otra proposicin ser verdadera. Simblicamente se escribe as: [(pq)~p]q o [ (pq)~q]p Ejemplo 1 Premisa 1. O la energa interna de un tomo puede cambiar con continuidad o cambia slo a saltos. Premisa 2. La energa interna de un tomo no puede cambiar con continuidad Conclusin. La energa interna de un tomo cambia slo a saltos. Simblicamente p: La energa de un tomo puede cambiar con continuidad q: La energa de un tomo slo cambia a saltos Premisa 1. p q Premisa 2. ~ p Conclusin. Q. Ejemplo 2 Premisa 1. ~ q r Premisa 2. ~ r Conclusin. ~ q Ejemplo 3 Premisa 1. (s t) r Premisa 2. ~ ( s t) Conclusin. r Ejemplo 4. Demostrar que la conclusin es consecuencia de las premisas dadas. Premisa 1. ~ q s Premisa 2. ~ s Premisa 3. ~ (r s) q. Demostrar r s Premisa 4. De las premisas 1 y 2 se puede concluir ~ q por MTP Premisa 5. De las premisas 3 y 4 se puede concluir ~ (~ (r s)) por MTT, que es equivalente a r s por la ley de la doble negacin. 2.9.4 Silogismo Hipottico ( SH ) Es un argumento que se expresa simblicamente as: [ ( p q ) ( q r ) ] ( p r)

51

Ejemplo 1. Premisa 1. Si el agua se hiela, entonces sus molculas forman cristales. Premisa 2. Si las molculas forman cristales, entonces el agua aumenta de volumen. Conclusin. Si el agua se hiela, entonces el agua aumenta de volumen. Simblicamente Sean las proposiciones Premisa 1. p q Premisa 2. q r Conclusin. p r Ejemplo 2 Premisa 1. q ~ p Premisa 2. ~ p r Conclusin. q r Ejemplo 3 Premisa 1. s t r q Premisa 2. r q ~ p Conclusin. s t ~ p Ejemplo 4. A partir de las premisas dadas indicar la demostracin de la conclusin. Premisa 1. ~ r Premisa 2. Premisa 3. Premisa 4. Premisa 5. ~p q qr Demostrar p De las premisas 2 y 3 se concluye ~ p r por SH De las premisas 1 y 5 se concluye p por MTT. p: El agua se hiela q: Sus molculas forman cristales r: El agua aumenta de volumen

2.10. DEMOSTRACIN La demostracin es un razonamiento que prueba la validez de un nuevo conocimiento; es el enlace entre los conocimientos recin adquiridos y los conocimientos anteriores. Los procedimientos de demostracin permiten establecer la conexin lgica entre las proposiciones fundamentales de la teora, sus consecuencias sucesivas, hasta deducir la conclusin o tesis que as se demuestra. Los principales tipos de demostracin son:

52

2.10.1. Demostracin directa. La demostracin directa de una proposicin t (teorema) es un conjunto de proposiciones o premisas que son postulados o proposiciones de validez aceptada y de las cuales se infiere t como consecuencia inmediata. Ejemplo 1. Dadas las premisas: 1. p q 2. r q Concluir t. p r Demostracin: Puesto que r q es equivalente a q r, se tiene la premisa 3. q r, ahora, de las premisas 1 y 3 se puede concluir t, es decir, como p q y q r, entonces, p r. Ejemplo 2 Demostrar que si x es impar, entonces que x2 es impar. El enunciado genera las siguientes premisas: 1. x es impar 2. x = 2n+ 1, donde n es un entero Hay que demostrar que x2 = (2n + 1)2 es impar. Demostracin: Si x es impar, entonces x = 2n + 1, entonces x2 = (2n + 1)2 = 4n2 + 4n + 1, esta expresin se puede escribir de la forma 2(2n2 + 2n) + 1, tomando el trmino 2n2 + 2n como el entero m, se tiene que x2 = (2n + 1)2 = 2m + 1, es decir , x2 es un nmero impar. 2.10.2 Demostracin indirecta. Se realiza una demostracin indirecta cuando se establece la validez de una tesis t probando que las consecuencias de su contraria son falsas. Ejemplo 1. Construir la demostracin indirecta de: Si x2 es par, entonces x es par, (con x entero) Suponga que existe al menos un entero x tal que x2 es par y x es impar. Por el ejemplo 2 analizado en la demostracin directa, se sabe que si x es impar, entonces x2 es impar, luego es imposible que x sea impar y que x2 sea par. Esta es la contradiccin buscada. 2.10.3. Demostracin por recursin Cuando la tesis se prueba por medio de induccin matemtica.

53

Ejemplo 1. Este tipo de demostraciones se utilizan cuando los enunciados tienen una proposicin abierta en una variable n, y es necesario demostrar que tal proposicin se verifica para todos los elementos n que pertenecen a un subconjunto infinito dado sobre los nmeros enteros, el axioma de la induccin matemtica es el siguiente: Dado un conjunto de nmeros enteros A = {n / n a} y una proposicin de la forma P(n), se puede demostrar la verdad de esta proposicin estableciendo los siguientes pasos: I. P(a) es verdadera cuando se sustituye n por a en P(n) II. Se supone que la proposicin P(n) es verdad para todo k del conjunto A, es decir, P(k) es verdadera, a esta proposicin, se le llama HIPTESIS DE INDUCCIN. III. Se demuestra que para el siguiente trmino al k-simo, osea k+1, P(k+1) es verdadera. Ejemplo 1. Demostrar que para todo entero 1, se verifica que P(n): 1+2++n = n (n+1) / 2 I. P(1) es verdadera porque : 1 = 1(1 + 1) / 2 II. Hiptesis de Induccin: P(k): 1+2++k = k (k + 1) / 2 para todo k 1 III. Demostrar para el trmino k + 1, es decir, probar que se verifica: 1 + 2 + + k + k + 1 = (k + 1) (k + 2) / 2. Por hiptesis de induccin: 1+2++k = k (k + 1) / 2 para todo k 1, sumando k + 1 a cada miembro de esta igualdad se obtiene: 1+2++k + k + 1 = k (k + 1) +k+1 resolviendo la suma 2 = k2 +k+2k+2 sumando trminos semejantes 2 = k2 +3k +2 factorizando 2 = (k + 1) (k + 2) / 2 lo que se quera demostrar. 2.10.4 Demostracin por refutacin Es el razonamiento que prueba la falsedad de una hiptesis o la inconsecuencia de su supuesta demostracin; los mtodos de refutacin son la refutacin por contradiccin y la refutacin por contraejemplo.

54

Ejemplo 1.Refutacin por contradiccin: Refutar la proposicin el cuadrado de todo nmero impar es un nmero par Como todo nmero impar se puede escribir de la forma 2n + 1, donde n es un entero, y puesto que todo nmero par se puede escribir en la forma 2m, con m un entero, la proposicin dada implica que: (2n + 1)2 = 2m para algn n y algn m o, 4n2 + 4n + 1 = 2m Se supone que ambos miembros deben representar el mismo entero, pero el miembro de la izquierda no es divisible por 2, mientras que el de la derecha si es divisible por 2. Esto es una contradiccin evidente y, por lo tanto, la proposicin dada es falsa. Ejemplo 2. Refutacin por contraejemplo. Refutar la proposicin El cuadrado de todo nmero impar es par. Se debe encontrar un nmero impar cuyo cuadrado sea impar, como 52 = 25, queda refutada la proposicin. Se deja como ejercicio de consulta investigar otros ejemplos de los tipos de demostracin y de los mtodos de refutacin. 2.11. CUANTIFICADORES 2.11.1 Cuantificador Universal y existencial Existen especialmente en matemticas, expresiones que contienen variables tales como x,y,z, etc., para las cuales su valor de verdad depende del valor que tome la variable. Ejemplo 1. x+1=2

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

55

Cualquier cuantificador de la forma para todo, todo, para cada, o cada se llama cuantificador universal y se simboliza por Ejemplo 2. ( x) / ( x + 4 = 4 + x). Significa que todo x verifica la ecuacin. La palabra algunos(s) significa que por lo menos uno verifica la condicin. Los cuantificadores de la forma existe por lo menos uno, y se llaman cuantificadores existenciales y se representan as: . Ejemplo 3 ( x ) / ( 2 x + 2 = 5 ). 2.11.2 Valores de verdad de expresiones con cuantificadores

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

Ejemplo 1. (x R ) / ( 2 x 1 = 0 ) que se lee para todo x que pertenece a los reales se verifica que 2 x 1 = 0 . En esta proposicin el conjunto universal esta formado por los nmeros reales y el dominio de la variable es x = . El ejemplo afirma que todo nmero real verifica 2x 1 = 0, lo cual es falso, pero si se cambia el conjunto universal, por el conjunto { 1/2 }, la proposicin se convierte en verdadera y se enuncia as: ( x { 1/2 } ) / ( 2 x 1 = 0) es verdadera. Lo anterior conduce a la siguiente afirmacin: Una proposicin que contiene un cuantificador universal es verdadera s y slo s el dominio de la variable es igual al conjunto universal. Ejemplo 2. (x R ) / ( x 2 - 1 = 0) Conjunto universal: R (reales) Dominio de la variable: x = 1 ,, x = -1 En este caso el cuantificador existencial afirma que por lo menos existe un valor que satisface la proposicin, as, el ejemplo 2 es verdadero.

56

Ejemplo 3. (x R ) ( x 2 + 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 cmo resultado cero, esto hace que la proposicin sea falsa. Del anlisis de los ejemplos 2 y 3 se puede afirmar: Una proposicin con un cuantificador existencial es verdadera si y slo si el dominio de la variable no es vaco.

57

AUTOEVALUACIN No. 2 1. Diga si las siguientes expresiones son proposiciones o no; en caso afirmativo traduzca las proposiciones a la forma simblica y escriba su valor de verdad. 1.1 La divisin entre cero es imposible. 1.2 Patricia esta comiendo y divirtindose. 1.3 Alfredo no vino anoche y no recogi su dinero. 1.4 Ests resfriado?. 1.5 La figura es un tringulo o un crculo. 1.6 26 no es nmero primo pero 13 s. 1.7 Es falso que: 26 es nmero primo y 13 no es nmero primo. 1.8 Es falso que 13 es nmero impar. 1.9 13 es nmero par 26 es impar. 2. Si p es verdadero (1), q es falso (0) y r es verdadero (1), determinar el valor de verdad de cada una de las siguientes proposiciones: 2.1 [( p q) (q p)] [( p r) q] 2.2 [p (q r)] [(p q) (p r)]2.3 (p q) [p (q r)] 3. Deducir la conclusin del siguiente grupo de premisas: 1. ( s t) r 2. q 3. s 4. (q r) 4. Establecer mediante una tabla de verdad si la siguiente proposicin es o no una tautologa. [( p q) (q p)] [( p r) q] 5. Dadas las proposiciones p, q, r, demostrar utilizando las leyes del lgebra de proposiciones las siguientes equivalencias: 5.1 [(p q) ( p r) (q r)] [p q) ( p r)] 5.2 (p q r) ( p q r) 1 es un tautologa

58

INFORMACION DE RETORNO No. 2 1.1 S. p: La divisin entre cero es imposible. Verdadera. 1.2 S. p: Patricia esta comiendo. q: Patricia esta divirtindose. Verdadera. 1.3 S. p: Alfredo no vino anoche. q: Alfredo no recogi su dinero Verdadera. 1.4 No. 1.5 S. p: La figura es un tringulo. q: La figura es un crculo. Verdadera. 1.6 S. r: 26 no es nmero primo. s: 13 es un nmero primo. Verdadera. 1.7 S. p: 26 es nmero primo. q: 13 no es nmero primo. (p q). 1.8 S. r: 13 es nmero impar. r. 1.9 S. p: 13 es nmero par. q: 26 es impar. q s. 2.1 2.2 2.3 3.1 1 1 0 De la premisa 1. [( s t) r] [ (s t) r]. Premisa 5. De 5. [( s t) r] [ (s t) r]. [r (s t)]. Premisa 6. (Porque el teorema directo es igual al contrarrecporco). De 4. (q r) (q r). Premisa 7 De 7 y 6. {(q r) [r (s t)]} [q (s t)]. Premisa 8 (SH) De 8 y 2. {[q (s t) q} (s t). Premisa 9. (MPP) De 9 y 3. [(s t) s] t. (MTP) Conclusin t. 4. Tautologa p q. p q. p q. r s.

59

EJERCICIOS DE PROFUNDIZACIN No. 2 1. Construir la tabla de verdad para cada una de las siguientes proposiciones: 1.1 (p q r) ( p q r) ( p q r) 1.2 [p (q r)] [(p q) (p r)] 2. Indicar el cuantificador que debe utilizarse en cada una de las siguientes proposiciones: 2.1 Algunas manzanas estn verdes. 2.2 Todos los computadores son elctricos. 2.3 Existen nmeros negativos. 2.4 Algunos enteros son positivos. 2.5 Todos los cuadrados son rectngulos. 3. Para cada uno de los siguientes argumentos obtenga una conclusin vlida empleando todas las proposiciones y la correspondiente demostracin. 3.1 Si estoy ocioso, entonces me vuelvo holgazn. 3.2 Si no 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. 3.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. 3.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. 3.5 Si escalas la montaa ms alta, entonces te sientes grande, si te sientes grande, entonces ests contento.

60

3. DEDUCCIN

OBJETIVO GENERAL Utilizar el mtodo deductivo como una forma de razonamiento mediante el cual se puede establecer un principio general a partir de casos particulares. OBJETIVOS ESPECFICOS 1. Identificar y clasificar las proposiciones categricas de un argumento 2. Diferenciar la cualidad y cantidad de una proposicin categrica en forma estndar. 3. Establecer el tipo de oposicin que se puede presentar entre dos proposiciones categricas 4. Representar grficamente proposiciones categricas de forma estndar 5. Inferir una conclusin a partir de dos o ms premisas 6. Utilizar las reglas de inferencia para establecer la validez o invalidez de un argumento. 3.1 INTRODUCCIN

Razonar es un proceso por el cual se establece una conclusin basada en una o ms proposiciones supuestas o aceptadas, llamadas premisas, las cuales constituyen el punto de partida del proceso. Si la conclusin es correcta significa que las premisas contienen la informacin necesaria y suficiente para establecer la conclusin y por lo tanto se puede afirmar que el razonamiento es correcto, de lo contrario, se dir que es incorrecto. Todos los seres humanos tenemos la capacidad del raciocinio; 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 del pensamiento, por lo cual no es difcil comprender que hay varias formas de pensamientos, ms an, existen varias formas de razonar, deductivamente o inductivamente. Cuando se hace un estudio lgico del razonamiento, es conveniente tener presente algn modelo con el que puedan compararse algunas otras especies de razonamiento; la tarea del lgico es explicar las diferencias entre un cierto modo de razonar y el modelo escogido, el modelo

61

que habitualmente se adopta consciente o inconscientemente para comparar con l todas las otras clases de razonamiento, es la deduccin simple, en la cual se pueden identificar las premisas y una conclusin y se puede formular una regla segn la cual, la conclusin se sigue de las premisas. En el presente captulo se estudiar el mtodo deductivo, este se puede definir como el proceso del pensamiento mediante el cual con base en experiencias, se establece un principio general, el que tendr validez no slo para los casos observados, sino tambin para todos los de su especie. El siguiente ejemplo ilustra grficamente la aplicacin del mtodo deductivo. Al considerar las siguientes regiones del plano:

Figura No 1 Se puede observar que estn limitadas por una lnea poligonal o curva cerrada. As, la regin triangular (interior), est limitada por el tringulo que es una lnea poligonal cerrada; la regin circular (crculo), est limitada por la circunferencia que es una lnea curva cerrada, por lo tanto se puede afirmar que una superficie plana es toda regin del plano limitada por una lnea cerrada.

Un argumento en el cual las premisas involucradas proporcionan bases concluyentes para la verdad de la conclusin, se llama ARGUMENTO DEDUCTIVO. Un argumento que sigue una regla bien establecida se dice que es vlido; los argumentos se juzgan como aceptables o inaceptables en la medida en que sean vlidos. Para probar la validez o invalidez de un argumento, se utiliza un mtodo basado en el hecho de que stas son caractersticas puramente formales de

62

los argumentos, es decir, que dos argumentos que tienen exactamente la misma forma son vlidos o invlidos, independientemente de las diferencias del tema que traten. Especficamente, para probar la invalidez de un argumento, basta con formular otro argumento que tenga exactamente la misma forma y tenga premisas verdaderas y conclusin falsa 3.2 PROPOSICIONES CATEGRICAS

El estudio clsico o aristotlico de la deduccin est centrado en argumentos que contienen solamente proposiciones de un tipo especial, llamadas proposiciones categricas. El tipo especial se refiere a que las proposiciones pueden ser universales (afirmativas o negativas) o particulares (afirmativas o negativas). Por lo tanto, se puede afirmar que hay cuatro formas estndar de proposiciones categricas. Los siguientes ejemplos ilustran cada una de ellas. Ejemplo 1. Universal afirmativa Todos los conductores de automviles que no son seguros son personas temerarias que ponen en peligro la vida de los dems. Esta es una proposicin universal afirmativa. Se refiere a dos clases, la clase de todos los conductores de automviles y a la clase de las personas temerarias que ponen en peligro la vida de los dems, y dice que la primera clase est contenida en la segunda, lo cual significa que cada miembro de la primera clase es tambin miembro de la segunda. En este ejemplo, el trmino sujeto conductores, designa a la clase de todos los conductores y el trmino predicado temerarias, designa a la clase de todas las personas temerarias. Este tipo de proposicin categrica se llama universal afirmativa, porque la proposicin afirma que la relacin de inclusin entre las dos clases es completa, todos los elementos o miembros de S tambin lo son de P. Todas las proposiciones universales afirmativas se pueden escribir simblicamente as: Todo S es P, donde S representa el sujeto y P el predicado. Ejemplo 2. Universal negativa Ningn conductor de automvil responsable es un peligro para la vida de los dems. Esta es una proposicin universal negativa. Niega (en forma universal) que los conductores responsables son un peligro para la vida de los dems. En este caso se hace referencia a dos clases, la primera clase excluye a la segunda, la excluye totalmente, es decir, que no hay ningn miembro de la primera clase (conductor responsable) que tambin pertenezca a la segunda (que represente un peligro para la vida de los dems). Todas las proposiciones universales negativas se pueden escribir as: Ningn S es P, donde S representa el trmino sujeto y P el trmino predicado. La proposicin recibe el nombre universal negativo, porque la proposicin niega que la relacin de inclusin de clase tenga lugar entre las dos clases y lo

63

niega en forma universal: no hay ningn miembro de S que tambin lo sea de P. Ejemplo 3. Afirmativa particular. Algunos estudiantes de la secundaria ingresan a la educacin superior. Este ejemplo afirma que algunos de los miembros de la clase de todos los estudiantes de secundaria son (ingresan) miembros de la clase de estudiantes de universidad. Pero no afirma esto universalmente: no dice que todos los estudiantes de secundaria (sin excepcin) ingresan a la universidad, sino ms bien algunos en particular. Esta proposicin no afirma ni niega que todos los estudiantes ingresan a la universidad, se refiere slo a algunos. La palabra algunos es indefinida, significa al menos uno ?, al menos dos?, al menos tres? O al menos cuntos? Para mayor precisin, se acostumbra usar ste trmino como al menos uno . Por lo tanto una proposicin afirmativa particular se escribe simblicamente as: Algn S es P, lo cual significa que por lo menos un miembro de la clase designada con el trmino sujeto S tambin es miembro de la clase designada por el trmino predicado P. El nombre afirmativa particular hace referencia a que la proposicin afirmativa se cumple en la relacin de inclusin entre clases, pero no lo afirma de la primera clase universalmente, slo parcialmente, de algunos miembros particulares de la primera clase. Ejemplo 4. Negativa particular Algunos nmeros reales no son positivos. En este ejemplo el antecedente (algunos nmeros reales) es particular en el sentido que no se refiere universalmente a los nmeros reales, slo a algunos de ellos, algunos miembros de esa clase. Pero a diferencia del ejemplo anterior, no afirma que los miembros particulares de la primera clase a los que se refiere (nmeros reales) estn incluidos en la segunda clase (reales no positivos), esto es precisamente lo que se niega. Una proposicin particular negativa, se escribe en forma simblica as: Algn S no es P. dice que por lo menos un miembro que pertenece a la clase designada por el trmino sujeto, S, es excluido de la totalidad de la clase designada por el trmino predicado, P. 3.2.1 Cualidad y cantidad de las proposiciones categricas Cada proposicin categrica de forma estndar tiene una cualidad y una cantidad. La cualidad de una proposicin es afirmativa o negativa, segn el sujeto, completa o parcialmente, afirme o niegue la inclusin de la clase. Por lo tanto las proposiciones afirmativas universales y particulares tienen cualidad

64

afirmativa, en cambio las proposiciones negativas universales y particulares tienen cualidad negativa. La cantidad de una proposicin es universal o particular segn que la proposicin se refiera a todos los miembros o solamente a algunos de la clase designada por el trmino sujeto. As, las proposiciones universales afirmativas o negativas son universales de cantidad y las proposiciones particulares afirmativas o negativas son particulares de cantidad. Las proposiciones categricas en forma estndar que tienen el mismo trmino sujeto y trmino predicado, pueden diferir unas de otras en cualidad o en cantidad o en ambas Existen ciertas relaciones importantes correlacionadas con los diversos tipos de oposicin (diferencia en cualidad, cantidad o en ambas) stas pueden ser de CONTRADICCIN, CONTINGENCIA, o, SUBCONTRARIAS 3.2.1.1 Proposiciones contradictorias Dos proposiciones son CONTRADICTORIAS si una de ellas es la negacin de la otra, es decir, las dos proposiciones no pueden ser a la vez verdaderas ni a la vez falsas. Es claro que dos proposiciones categricas en forma estndar que tienen el mismo trmino sujeto y trmino predicado, pero son diferentes tanto en cantidad como en cualidad, son contradictorias entre s. Ejemplo 1 Las proposiciones P: todos los jueces son abogados Q: algunos jueces no son abogados Son contradictorias porque son opuestas tanto en cantidad como en cualidad. La proposicin P es universal afirmativa, mientras que la proposicin Q es particular negativa. Ejemplo 2 Las siguientes proposiciones tambin son contradictorias. P: algunos nmeros reales son negativos. Es particular afirmativa Q: todos los nmeros reales son negativos. Es universal negativa. En este caso son opuestas en cantidad y en cualidad. Otra forma de identificar las proposiciones contrarias, es cuando la verdad de una proposicin implica la falsedad de la otra. Ejemplo 3 P: -3 es mayor que -1 Q: -1 es mayor que -3. Son contradictorias porque la proposicin P es falsa y esto implica que la proposicin Q sea verdadera.

65

Ejemplo 4 Dadas las proposiciones P: hoy es lunes Q: hoy no es lunes. Son contradictorias porque si P es verdadera automticamente Q ser falsa y lo contrario. Es importante aclarar la diferencia entre proposiciones contradictorias y proposiciones contrarias. Se dice que dos proposiciones son CONTRARIAS si no pueden ser ambas verdaderas, aunque ambas puedan ser falsas. Ejemplo 5 Considerando las proposiciones P: Paola es mayor que Anglica Q: Anglica es mayor que Paola Inicialmente se podra pensar que son contradictorias, es decir, que si P es verdadera, Q sera falsa, y consecuentemente, si P es falsa, entonces Q sera verdadera, pero al considerar el hecho de que Paola y Anglica tengan la misma edad, ambas proposiciones seran falsas, por lo tanto no seran contradictorias, y en este caso se llamaran contrarias, debido a que ambas no pueden ser verdaderas pero s falsas. En forma general se puede decir que dos proposiciones universales que tienen los mismos sujetos y predicados pero difieren en cualidad son contrarias. El siguiente ejemplo muestra claramente la diferencia entre las proposiciones contradictorias y contrarias. Ejemplo 6 Dadas las proposiciones: P: todos los nmeros enteros son positivos Q: algunos enteros son positivos R: todos los enteros son negativos Se puede afirmar que las proposiciones P y Q son contradictorias porque una es la negacin de la otra (en este caso P es falsa mientras que Q es verdadera). Y las proposiciones P y R son contradictorias ya que ambas son falsas. 3.2.1.2 Proposicin Contingente Una proposicin que no es necesariamente verdadera ni necesariamente falsa se llama CONTINGENTE.

66

Ejemplo 1 P: todos los matemticos son filsofos Esta es una proposicin que no es necesariamente verdadera (no todos los matemticos son filsofos), ni necesariamente falsa (existen matemticos que s son filsofos) Ejemplo 2 Q: todos los cuadrados son rectngulos No necesariamente es falsa porque el cuadrado es un tipo de rectngulo, ni es necesariamente verdadera porque no todos los cuadrados son rectngulos 3.2.1.3 Proposiciones Subcontrarias Se dice que dos proposiciones son subcontrarias si no pueden ser ambas falsas pero s ambas verdaderas Ejemplo 1 Las proposiciones P: algunos enteros son positivos Q: algunos enteros son negativos Son subcontrarias debido a que ambas son verdaderas. En forma general se afirma que dos proposiciones particulares que tienen el mismo trmino sujeto y trmino predicado pero diferente cualidad son subcontrarias Ejemplo 2 P: Q: algunos ingenieros de sistemas son matemticos algunos ingenieros de sistemas no son matemticos

Las proposiciones P y Q pueden ser las dos verdaderas, pero no pueden ser las dos falsas, por lo tanto se dice que son subcontrarias. 3.2.2 Smbolo y diagramas para proposiciones categricas Como la interpretacin de las proposiciones categricas depende fundamentalmente de la nocin de una clase vaca, se utiliza el cero (0) para representar este hecho y para simbolizar que la clase determinada por S no tiene miembros, se utiliza la ecuacin S = 0. Cuando se afirma que la clase S si tiene elementos, equivale a negar que S es vaca, por lo tanto su representacin simblica es S 0. Las proposiciones categricas se pueden representar grficamente diagramando las clases a las que pertenecen, de tal forma que el diagrama es de una clase, no de una proposicin, para realizar esta representacin se utiliza

67

un crculo marcado con el trmino que designa la clase, por ejemplo la clase S s grafica as:

Figura No. 2 Para diagramar la proposicin de que S no tiene miembros, o de que no hay S, se sombrea todo el crculo que representa S, lo cual indica que no contiene nada, que es vaca, y, para graficar la proposicin que existen s, que se interpreta en el sentido de que hay por lo menos un miembro de la clase S, se coloca una x en cualquier parte en el interior del crculo que representa a S, lo cual indica que s hay algo dentro de l, que no est vaco. A continuacin se representa grficamente las proposiciones No hay S y Hay S.
S S x

S=0

S0

Figura No. 3 Se puede observar que el crculo que representa la clase S tambin representar la clase de su complemento, S, es decir, si en el interior del crculo se representa a todos los miembros de S, entonces, su exterior representar todos los miembros que no estn en S, por lo tanto estn en S. Para representar una proposicin categrica en forma estndar se necesitan dos crculos intersecados. Si S y P representan los sujetos y predicados de la proposicin, entonces su representacin es:

68

Figura No. 4 La figura representa las dos clases S y P, pero no diagrama alguna proposicin de ellas, no afirma ni niega que una de las dos o las dos clases tengan miembros. La parte del crculo S que esta fuera de P representa todos los S que no son P, lo cual se identificar como el producto de las clases S y P (SP); la parte comn de los dos crculos representa la interseccin o producto de las dos clases SP; la parte del crculo P que esta fuera de S representa a todos los P que no estn en S (por lo tanto estn en S), es decir, el producto SP, y la parte externa a los dos crculos representa todas las proposiciones que no estn en S ni en P, lo cual corresponde a la cuarta clase SP. Lo anterior permite representar la figura No. 3 de la siguiente manera:

Figura No. 5 Para representar las cuatro proposiciones categricas de forma estndar se sombrea o se inserta x en varias partes de la grfica, a continuacin se presenta cada uno de los casos: 1. Todo S es P, simbolizada por SP = 0, su representacin grfica es:
S P

Figura No. 6 Todo S es P SP = 0 Si la proposicin es Todo P es S, simblicamente representada por PS =0, su representacin grfica es:
69

Figura No. 7 Todo P es S PS = 0 2. Ningn S es P, o, Ningn P es S simbolizadas por SP = 0 y PS = 0, respectivamente, la representacin grfica en ambos casos es:

Figura No. 8 Ningn S es P, o, Ningn P es S SP = 0, y, PS = 0 3. Algn S es P, simbolizada por SP 0, su representacin grfica es:

Figura No. 9 Algn S es P SP 0 En el caso Algn P es S, simbolizada por PS 0, se representa de la siguiente forma:
S P

Figura No. 10 Algn P es S luego

PS 0
70

4. Algn S no es P, simbolizada por SP 0, su representacin grfica es:

S P

Figura No. 11 Algn S no es P SP 0 En el caso Algn P no es S, simbolizada por PS 0, su representacin grfica es:
S P

Figura No. 12 Algn P no es S PS 0 Las siguientes son algunas observaciones acerca de las representaciones grficas realizadas: 1. El diagrama simple de los dos crculos, sin otro tipo de marcas o indicaciones, representa clases pero no representa ninguna proposicin. 2. Un espacio en blanco a la izquierda no significa nada (ni que una clase tiene o no tiene miembros). 3. Las proposiciones slo las representan aquellos diagramas en los que una parte ha sido sombreada o en la que se ha insertado una x. 4. Los diagramas de Venn constituyen una representacin de las proposiciones categricas en forma estndar, en las cuales las inclusiones y exclusiones espaciales corresponden a inclusiones y exclusiones no espaciales de clases. 5. Proporcionan un mtodo claro de notacin y se constituyen en la base del mtodo ms simple y directo para probar la validez de los silogismos categricos. 3.3 SILOGISMOS CATEGRICOS

Un SILOGISMO es un argumento deductivo en el que se infiere una conclusin a partir de dos premisas. Un SILOGISMO CATEGRICO es un argumento deductivo consistente en tres proposiciones categricas que contienen exactamente tres trminos, cada uno de los cuales slo aparece en dos de las

71

proposiciones que lo constituyen. Dos de las proposiciones reciben el nombre de premisas y la otra se llama conclusin. Se dice que un silogismo categrico est en FORMA ESTNDAR cuando satisface las siguientes condiciones: 1. Las premisas y conclusin son proposiciones categricas que conservan el siguiente orden: la premisa mayor se enuncia primero, luego la premisa menor y al final la conclusin. 2. La conclusin de un silogismo de forma estndar es una proposicin de forma estndar que contiene dos de los tres trminos del silogismo. 3. La premisa mayor es aquella que contiene el trmino mayor y este es el que aparece como predicado de la conclusin. 4. La premisa menor es aquella que contiene el trmino menor, que es el correspondiente al sujeto de la conclusin. 5. Los trminos mayor y menor aparecen, cada uno, en una premisa diferente. Ejemplo 1 Dadas las premisas: Ningn hroe es cobarde Algunos soldados son cobardes Y la conclusin: por lo tanto, algunos soldados no son hroes Se puede observar claramente que el argumento deductivo es un silogismo categrico porque consiste en tres proposiciones categricas (dos premisas y una conclusin) que contienen exactamente tres trminos (hroe, cobarde y soldado). Para saber si el silogismo categrico est en forma estndar, es necesario identificar el trmino mayor, el trmino menor, premisa mayor, premisa menor y analizar la conclusin. En este caso el predicado de la conclusin es hroe, que constituye el trmino mayor, y por consiguiente la premisa mayor es: ningn hroe es cobarde; el sujeto de la conclusin es soldado que es el trmino menor, por lo tanto la premisa menor es: algunos soldados son cobardes, adems, la conclusin tiene dos de los tres trminos del silogismo: soldados y hroes, los trminos mayor y menor aparecen, cada uno, en una premisa diferente, por consiguiente se puede establecer que este es un ejemplo de silogismo categrico en forma estndar, tambin aparece el trmino cobardes el cual se denomina trmino medio. Ejemplo 2 Teniendo en cuenta el siguiente argumento deductivo, identificar la conclusin, establecer la naturaleza del silogismo y verificar s esta en forma estndar.

72

Ningn submarino nuclear es un navo comercial, as, ningn barco de guerra es un navo comercial, puesto que todos los submarinos nucleares son barcos de guerra. Como el argumento deductivo est formado por tres proposiciones categricas que contienen exactamente los tres trminos: submarino nuclear, navo comercial y barcos de guerra, se puede afirmar que se trata de un silogismo categrico. La conclusin se identifica como la proposicin: ningn barco de guerra es un navo comercial. Y las premisas como las proposiciones: ningn submarino nuclear es un navo comercial y todos los submarinos nucleares son barcos de guerra. El predicado de la conclusin es el trmino navo comercial, el cual se constituye en el trmino mayor y por consiguiente la premisa mayor es, ningn submarino nuclear es un navo comercial. El sujeto de la conclusin es barco de guerra, el cual se constituye en el trmino menor y por consiguiente la premisa menor es, todos los submarinos nucleares son barcos de guerra. El anlisis anterior permite afirmar que es un silogismo categrico en forma estndar el cual se puede escribir as: Premisa mayor: ningn submarino nuclear es un navo comercial Premisa menor: todos los submarinos nucleares son barcos de guerra Conclusin: Por lo tanto ningn barco de guerra es un navo comercial Ejemplo 3 Teniendo en cuenta el siguiente argumento deductivo, identificar la conclusin, establecer la naturaleza del silogismo y verificar si est en forma estndar. Todos los satlites artificiales son descubrimientos cientficos importantes; por lo tanto, algunos descubrimientos cientficos importantes no son inventos norteamericanos puesto que algunos satlites artificiales no son norteamericanos. El argumento deductivo est formado por tres proposiciones categricas que contienen los trminos: satlites artificiales, descubrimientos cientficos, inventos norteamericanos, por lo tanto se puede afirmar que se trata de un silogismo categrico. Las premisas son: Todos los satlites artificiales son descubrimientos cientficos importantes, algunos satlites artificiales no son norteamericanos. La conclusin es:

73

Algunos descubrimientos norteamericanos.

cientficos

importantes

no

son

inventos

El predicado de la conclusin es el trmino invento norteamericano, el cual se constituye en el trmino mayor y por consiguiente, la premisa mayor es, algunos satlites artificiales no son norteamericanos. El sujeto de la conclusin es descubrimientos cientficos, el cual se constituye en el trmino menor y por consiguiente la premisa menor es, todos los satlites artificiales son descubrimientos cientficos. Teniendo en cuenta el anlisis anterior, se puede afirmar que es un silogismo categrico en forma estndar, el cual se puede escribir as. Premisa mayor: algunos satlites artificiales no son norteamericanos Premisa menor: todos los satlites artificiales son descubrimientos cientficos Conclusin: algunos descubrimientos cientficos importantes no son inventos norteamericanos. 3.4 VALIDEZ DE UN ARGUMENTO. MTODO DEDUCTIVO

En teora, las tablas de verdad son apropiadas para probar la validez de un argumento de tipo general, pero en la prctica son cada vez ms difciles de manejar a medida que aumenta el nmero de enunciados o proposiciones que conforman dicho argumento. Un mtodo ms eficiente para probar la validez de un argumento extenso consiste en deducir su conclusin a partir de sus premisas, mediante una serie de argumentos elementales, cada uno de los cuales se conoce y acepta como vlido, este proceso es el que se denomina MTODO DEDUCTIVO. 3.4.1 Prueba formal de validez Se define una PRUEBA FORMAL que un argumento determinado es vlido, como una sucesin de enunciados, cada uno de los cuales, o es una premisa del razonamiento dado, o, se deduce de los enunciados precedentes mediante un argumento vlido elemental, de tal forma que el ltimo enunciado o proposicin constituye la conclusin del argumento cuya validez se quiere demostrar. Se define un ARGUMENTO VLIDO ELEMENTAL, como un argumento que se puede interpretar como el proceso de sustituir enunciados o proposiciones en lugar de variables enunciativas. En el captulo 2 se estudiaron algunas reglas de inferencia, las cuales corresponden a los argumentos elementales y cuya validez se estableci por medio de las tablas de verdad, en este captulo se amplia esta lista de reglas y se deja como ejercicio probar su validez utilizando las tablas de verdad.

74

3.5 REGLAS DE INFERENCIA 1. Modus Ponens (M. P) p q p q 2. Modus Tollens (M. T) pq q p 3. Silogismo Hipottico (S: H) p q q r pr 4. Silogismo disyuntivo (S. D) pq p q 5. Dilema constructivo (D.C) (p q) (r s) pr q s 6. Absorcin (Abs.) pq p (q p) 7. Simplificacin (Simp.) pq p 8. Conjuncin (Conj.) p q pq 9. Adicin (Ad.) p pq Utilizando las reglas de inferencia, construir una prueba formal de validez para cada uno de los siguientes argumentos.

75

Ejemplo 1 Si gana Gloria o Hctor, entonces pierden tanto Jorge como Kelly. Gloria gana. Por lo tanto, pierde Jorge. Para analizar y construir la prueba de validez, es necesario utilizar un lenguaje simblico que permita simplificar los enunciados, as: G: Gloria gana H: Hctor gana J: Jorge gana K: Kelly pierde Por lo tanto la prueba de validez ser: 1. (G H) (J K) 2. G /J 3. G H 2, Ad. 4. J K 1,3, M. P 5. J 4, Simp. Ejemplo 2 Si sigue lloviendo, entonces el ro crecer. Si sigue lloviendo. Si sigue lloviendo y el ro crece, entonces el puente ser arrastrado por las aguas. Si la continuacin de la lluvia hace que el puente sea arrastrado por las aguas, entonces no ser suficiente un solo camino para toda la ciudad. O bien un solo camino es suficiente para toda la ciudad o bien los ingenieros han cometido un error. Por tanto, los ingenieros han cometido un error. Utilizando el siguiente lenguaje simblico: C: contina lloviendo R: el ro crece P: el puente es arrastrado por las aguas S: un solo camino es suficiente para toda la ciudad E: los ingenieros han cometido un error La prueba formal de validez es: 1. CR 2. (C R) P 3. (C P) S 4. SE 5. C (C R) 6. CP 7. S 8. E

/M 1, Abs. 5,2, S. H. 3,6, M. P. 4,7, D. C.

76

Ejemplo 3 Si un hombre se orienta siempre por su sentido del deber, tiene que renunciar al goce de muchos placeres, y si se gua siempre por su deseo de placer, a menudo olvidar su deber. O bien un hombre se gua siempre por su sentido del deber, o bien siempre se orienta por su deseo de placer. Si un hombre se gua siempre por su sentido del deber, no descuidar a menudo su deber, y si siempre se gua por su deseo de placer, no renunciar al goce de muchos placeres. Luego, un hombre debe renunciar al goce de muchos placeres si y slo si no descuida a menudo su deber. Tomando el siguiente lenguaje formal: P: se orienta por su sentido del deber Q: renuncia al goce de placeres R: se gua por su deseo de placer S: olvidar su deber Las premisas quedan as: 1. P Q 2. R S 3. P R 4. P S 5. R Q / QS Demostrar Q S, equivale a demostrar que Q S, y que, S Q, por lo tanto primero se realizar la demostracin de que Q S. La premisa 3 se puede transformar en: P R P R por definicin de la implicacin R P por la contra recproca. La premisa 5 por la contrarrecproca es equivalente a (R Q) Q R. Y la premisa 2 por la contrarrecproca se convierte en R S S R. Con estas equivalencias las premisas quedan de la siguiente forma: 1. P Q 2. R S S R. 3. P R R P 4. P S 5. R Q Q R. 6. P R 7. R S 8. S P

/ Q S ,, S Q

De 1 y 5 [P Q] [Q R] [P R] por S.H De 3 y 4 [ R P] [P S] ( R S) por S.H De 5 y 7 [Q R] [ R S] (Q S) por S.H Con lo cual queda la demostracin de la primera parte de la implicacin.

77

Para demostrar S Q se procede as: De 2 y 3 [ S R] [ R P] ( S P) por S.H De 8 y 1 [ S P] [P Q] ( S Q) por S.H Ejemplo 4 Si no ocurre, que si un objeto flota en el agua entonces es menos denso que el agua, entonces se puede caminar sobre el agua. Pero no se puede caminar sobre el agua. Si un objeto es menos denso que el agua, entonces puede desplazar una cantidad de agua igual a su propio peso. Si puede desplazar una cantidad de agua igual a su propio peso, entonces el objeto flotar en el agua. Por tanto, un objeto flotar en el agua si y slo si es menos denso que el agua. Utilizando el siguiente lenguaje formal: P: un objeto flota en el agua Q: es menos denso que el agua R: se puede caminar sobre el agua S: puede desplazar una cantidad de agua igual a su propio peso. Las premisas en forma simblica son: 1. (P Q) R 2. R 3. QS 4. SP / PQ Demostrar P Q equivale a demostrar que P Q Q P. 5. 6. PQ QP Por MPP entre 1 y 3 Por S.H entre 3 y 4

3.4.2 Prueba de invalidez Es obvio que, para un argumento invlido no existe una prueba formal de validez. Pero, si no se puede hallar una prueba de validez para un argumento, eso no quiere decir que sea invlido y que no se pueda construir dicha prueba. A continuacin se describe un mtodo que est muy relacionado con el de las tablas de verdad, pero que es mucho ms breve, en el cual se prueba la invalidez de un argumento hallando un nico caso en el que se asignan valores de verdad a las variables del enunciado de tal forma que las premisas sean verdaderas y la conclusin falsa, lo que lleva a concluir que la forma argumental es invlida. Ejemplo 1 Probar la invalidez del siguiente argumento por el mtodo de asignar valores de verdad.
78

1. 2. 3.

FR PR FP

Para probar que este argumento es invlido sin tener que construir una tabla de verdad completa, es necesario tener claro que un condicional es falso solamente si su antecedente es verdadero y su consecuente falso, utilizando este hecho se procede a asignar valores de verdad a las proposiciones de la conclusin, es decir, si F es verdadero y P es falso, entonces, la conclusin es falsa. Si a la proposicin R se le asigna el valor verdadero, ambas premisas se convierten en verdaderas, porque un condicional es verdadero siempre que su consecuente sea verdadero. Lo anterior permite afirmar que si a las proposiciones F y R se les asigna un valor verdadero y a la proposicin P un valor falso, entonces el argumento tendr premisas verdaderas y una conclusin falsa, con lo cual queda probado que el argumento es invlido. Con este mtodo lo que realmente se hace es construir un rengln de la tabla de verdad del argumento indicado, la relacin se puede observar ms claramente cuando los valores de verdad se escriben horizontalmente, de la siguiente forma: F verdadero R verdadero P falso FR verdadero PR verdadero FP falso

Un argumento se prueba invlido mostrando que por lo menos en un rengln de su tabla de verdad todas las premisas son verdaderas pero su conclusin es falsa. Ejemplo 2. Si Sandra es inteligente y estudia mucho, sacar buenas calificaciones y aprobar el curso. Si Sandra estudia mucho pero no es inteligente, sus esfuerzos sern apreciados y si sus esfuerzos son apreciados, aprobar el curso. Si Sandra es inteligente, entonces estudia mucho. Luego, Sandra aprobar el curso. Tomando el siguiente lenguaje simblico I: Sandra es inteligente S: Sandra estudia mucho G: Sandra sacar buenas calificaciones P: Sandra aprobar el curso A: los esfuerzos de Sandra sern apreciados Se pueden establecer las siguientes premisas: 1. (I S) (G P) 2. [(S I) A ] [A P] 3. IS 4. P

79

Este argumento es invlido porque con cualquiera de las siguientes asignaciones de valores de verdad la conclusin P es falsa. I S G A P P ________________________ _______________________ f f v f f f Ejemplo 3 Si la inflacin continua, entonces las tasas de inters permanecern altas. Si la inflacin contina, entonces si las tasas de inters permanecen altas, descender la actividad comercial. Si las tasas de inters permanecen altas, entonces si la actividad comercial decrece, el desempleo aumenta. As, si el desempleo aumenta, continuar la inflacin. Tomando el siguiente lenguaje simblico: P: la inflacin contina Q: las tasas de inters permanecen altas R: descender la actividad comercial S: el desempleo aumenta Se pueden establecer las siguientes premisas: 1. P Q 2. P (Q R) 3. Q (R S) / SP Este argumento es invlido porque la siguiente asignacin de valores de verdad hace las premisas verdaderas pero la conclusin falsa: P Q R S PQ P (Q R) Q (R S) SP _______________________________________________________________ _ F F F V V V V F 3.4.3 Inconsistencia En algunos casos no se puede dar ninguna asignacin de valores de verdad a los enunciados de un argumento que hagan verdaderas sus premisas y falsa su conclusin, entonces, en este caso el argumento debe ser vlido. o I S G A

80

AUTOEVALUACIN No. 3. 1. Para cada uno de los siguientes argumentos enuncie la regla de inferencia mediante la cual se sigue la conclusin. 1.1 1.2 (P Q) R / (P Q) (P Q) R 1. (P Q) (P Q) 2. (Q P) (P Q) / (Q P) (P Q)

2. Cada una de las siguientes es una prueba formal de validez del argumento indicado. Enuncie la justificacin de cada rengln que no sea una premisa de la prueba. 2.1 1. A B 2. (A C) D 3. A 4. A C 5. D 6. A D 1. Q R 2. S (T U) 3. S (Q T) 4. S 5. T U 6. (Q R) (T U) 7. Q T 8. R U 3. Construir una prueba formal de la validez de cada uno de los siguientes argumentos: 3.1 1. 2. 3. 4. (P R) P R QP RS (Q S) (T S) / AD

2.2

/ RU

ST

3.2

1. T S 2. Q T 3. Q R 4. R

81

4. Escribir el siguiente enunciado en lenguaje simblico y luego construir la prueba formal 1. 2. 3. / x<3 y y>6 Si y 7 entonces (x = 2 y > x) Si (y > 6 x < 3), entonces, (y > x x = 2) X<3 y=7

5. Probar la invalidez del siguiente argumento utilizando el mtodo de asignacin de valores de verdad. 1. 2. 3. [(X Y) Z] A [z A] [B C] B / XC

82

INFORMACIN DE RETORNO No. 3 1.1 Absorcin 1.2 Silogismo hipottico 2.1 3. Simplificacin de la premisa 1 4. Adjuncin de la premisa 3 5. MPT de las premisas 2 y 4 6. Conjuncin de las premisas 3 y 5 5. M.P.P entre las premisas 2 y 4 6. Conjuncin entre las premisas 1 y 5 7. Silogismo disyuntivo entre las premisas 3 y 4 8. Dilema constructivo entre las premisas 6 y 7

2.2

3.1 La premisa 1 por Morgan se convierte en P R y por simplificacin disyuntiva se puede concluir: 6. R. 7. S. De 3 y 5 por M.P.P 8. P De 1 por simplificacin disyuntiva. 9. Q P Por definicin de implicacin en la premisa 2 10. Q De la 9 y la 8 por M.T.T 11. Q S De 10 y 7 Por adicin 12. S T Por M.P.P entre la 4 y la 11 3.2 Por la definicin de la implicacin. La premisa 1 se convierte en T S, quedando el conjunto de premisas as: 1. TS 2. QT 3. QR 4. R / S 5. QS 6. Q De 2 y 1 se concluye Q S por S.H De 3 y 4 se tiene Q por M.T.T De 5 y 6 se concluye S por M.P.P 4. P: Q: R: S: T: 1. 2. 3. x<3 y>6 y7 x=2 y>x PQ R (S T) (Q P) (T S)

P R

83

4. 5. 6 7. 8. 9. 5.

(P Q) (S T) Conmutativa de 3 S T Por M.P.P entre 3 y 1 S T R Contra recproca de 2 R Por M. P. P entre 6 y 1 P Q P Por simplificacin conjuntiva en 1 P R De 8 y 7

X Y Z A B C ______________________________ V F V F V F

84

EJERCICIOS DE PROFUNDIZACIN No. 3 1. Para cada uno de los siguientes argumentos, construir una prueba formal de validez o probar la invalidez por el mtodo de asignacin de valores: 1.1 1.2 1. 2 1. 2. 3. 4. AB (C A) S (T U) V (W X) T (V W) (T X) / C B

/ SU

2. En cada uno de los siguientes argumentos, utilizar un lenguaje simblico y construir una prueba formal de validez o probar la invalidez por el mtodo de asignar valores. 2.1 Si el papel tornasol se vuelve rojo, entonces la solucin es un xido. Luego, si el papel se vuelve rojo, entonces o la solucin es un xido o hay algo que anda mal. 2.2 O el ladrn entro por la puerta, o el robo fue cometido desde dentro y uno de los sirvientes debe estar involucrado en l. El ladrn slo pudo entrar por la puerta si el cerrojo fue levantado desde dentro; pero uno de los sirvientes seguramente se halla implicado en el robo, si el cerrojo fue levantado desde dentro. Por ende, uno de los sirvientes est involucrado en el robo. 2.3 Si la vctima tena dinero en sus bolsillos, entonces el robo no fue el motivo del crimen. Pero el motivo del crimen fue, o bien el robo, o bien la venganza. Luego, el motivo del crimen debe haber sido la venganza.

85

REPUESTAS EJERCICIOS DE PROFUNDIZACIN No. 3

1.1 Argumento vlido 1.2 Argumento invlido 2.1 Argumento vlido 2.2 Argumento vlido 2.3 Argumento invlido

86

4. INDUCCIN OBJETIVO GENERAL Utilizar el mtodo inductivo para establecer si las premisas que conforman un argumento son verdaderas, sin tener que demostrar la verdad de la conclusin. OBJETIVOS ESPECFICOS 1. 2. 3. Identificar los argumentos analgicos y clasificarlos como probables o no probables. Evaluar argumentos analgicos. Refutar un argumento por medio de una analoga.

87

4.1 INTRODUCCIN Existen varias clases de argumentos, unos permiten demostrar las conclusiones a partir de la validez de sus premisas (mtodo deductivo), mientras que otros slo buscan establecer si las premisas son probables o probablemente verdaderas, sin pretender demostrar la verdad de sus conclusiones como consecuencia necesaria de las premisas, este tipo de argumentos recibe el nombre de ARGUMENTOS INDUCTIVOS. El mtodo inductivo es un tipo de razonamiento que se deriva de la observacin y de la experiencia, lo cual lo hace totalmente diferente al mtodo deductivo (estudiado en el captulo anterior) y se basa fundamentalmente en dos aspectos: 1. En la semejanza que hay entre los objetos. 2. En suponer que un suceso puede volver a ocurrir teniendo en cuenta que en condiciones similares ha sucedido. El primer aspecto hace referencia a la observacin y el segundo en la experiencia. La aplicacin o el anlisis de estos dos aspectos permiten inferir o pronosticar los efectos que producir la ocurrencia del suceso, tomando como referencia lo ocurrido con eventos anteriores de caractersticas similares. Una induccin tpica, analizada sobre el modelo de la deduccin, tiene como premisas formulaciones particulares, por ejemplo: el evento a del tipo X, es seguido del evento b, del tipo Y, el evento c del tipo X es seguido del evento d del tipo Y, y as sucesivamente; tiene por conclusin una formulacin general, Sin restricciones: eventos del tipo X son seguidos por eventos del tipo Y. En este caso surge un problema lgico porque segn el mtodo deductivo, los argumentos de esa forma no son vlidos, de manera que no se puede inferir esa conclusin, ni saber si es verdadera basada en la verdad de las premisas. El problema lgico de cmo justificar ese tipo de razonamientos se llama tradicionalmente el problema de la induccin las razones de este problema son: 1. Como la conclusin es general, tendr una aplicacin ms amplia de la que cualquier conjunto de premisas pueda garantizar. 2. La verdad de la conclusin no puede nunca ser garantizada por la verdad de las premisas porque siempre puede presentarse un nuevo caso que convierta en falsa la conclusin. Lo anterior permite afirmar que la induccin es deficiente con respecto al modelo deductivo, visto como procedimiento de descubrimiento y como procedimiento de confirmacin. De los argumentos inductivos el que se usa con mayor frecuencia es el analgico.

88

4.2 ARGUMENTOS POR ANALOGA La analoga es la base de la mayora de los razonamientos que van de la experiencia pasada a lo que suceder en el futuro. La mayora de las inferencias cotidianas proceden por analoga. Ningn argumento por analoga pretende ser matemticamente cierto. Los argumentos analgicos no se clasifican como vlidos o invlidos, lo nico que se puede afirmar de ellos es que son probables o no probables. La analoga tambin se usa en la explicacin, donde algo no familiar se hace inteligible por medio de una comparacin con alguna otra cosa, presumiblemente ms familiar, con la cual tiene ciertas similitudes. El uso de analogas en la descripcin y la explicacin no es igual que su uso en la argumentacin, aunque en algunos casos puede no resultar fcil decidir cul uso se pretende hacer. Hacer una analoga entre dos o ms entidades es indicar uno o ms aspectos en los que son similares, mientras que caracterizar un argumento por analoga es en trminos generales, describir el argumento dado diciendo que contiene premisas que afirman, primero, que dos cosas son similares en dos aspectos y, segundo, que una de esas cosas tiene una caracterstica adicional, de lo cual se extrae la conclusin de que la segunda cosa tiene tambin esa otra caracterstica. Ejemplo 1. Identifique en el siguiente prrafo el argumento analgico Los escritores JHON DOLLARD y NEAL E. MILLER, en su libro Personalidad y psicoterapia afirman: Hemos dicho que las personas normales tienen poca motivacin para dedicar un esfuerzo especial al estudio de s mismas. Lo mismo es cierto de la aritmtica. Si la presin de los padres y de la escuela no proporcionara una motivacin, habra un aprendizaje escaso de las matemticas. Por analoga, parece posible que pueda motivarse y prepararse a los nios para usar sus habilidades mentales con el fin de resolver problemas emocionales. En la actualidad, no reciben casi ninguna preparacin para el desarrollo de esta importante capacidad . En este prrafo, el argumento analgico es: Si la presin de los padres y de la escuela no proporcionara una motivacin, habra un aprendizaje escaso de las matemticas. La analoga se basa en la semejanza. Ejemplo 2 Si alguien dice que le han extrado una muela sin anestesia y otro le expresa su consideracin, entonces surge la pregunta: Cmo sabe que le doli? Una respuesta podra ser: Yo he ido al odontlogo y s cuanto duele una simple curacin sin anestesia, cmo ser una extraccin?, l tiene el mismo tipo de sistema nervioso que yo, por lo tanto puedo inferir que en esas condiciones, sinti un terrible dolor

89

En este caso el argumento analgico se fundamenta en la experiencia, tendiendo en cuenta que en condiciones similares ya sucedi. 4.3 EVALUACIN DE LOS ARGUMENTOS ANALGICOS Ningn argumento por analoga es deductivamente vlido, en el sentido de que la conclusin no es consecuencia necesaria de las premisas, lo que se puede establecer es si sus conclusiones son ms o menos probables. Para lograr este propsito es indispensable fijar algunos criterios que permitan llevar a cabo la evaluacin de argumentos analgicos, estos son: 1. Nmero de entidades entre las que es establece la analoga. Significa que es importante tener en cuenta el nmero de veces que ha ocurrido el suceso, esto da ms consistencia a la conclusin y una mayor probabilidad de que se repita el suceso. Ejemplo 3. Si un electrodomstico que se compro en un determinado almacn sali defectuoso, una conclusin apresurada sera afirmar que los electrodomsticos que se compran en ese almacn salen defectuosos; pero si esa misma conclusin se hace sobre la base de que 10 electrodomsticos comprados all han resultado defectuosos, la conclusin cobra mayor validez y la probabilidad de que siga ocurriendo lo mismo crece. 2. Nmero de aspectos en los cuales las cosas involucradas se dice que son anlogas. Este criterio hace referencia a todos los aspectos en que los sucesos son anlogos, y cuando se encuentra un mayor nmero de circunstancias o caractersticas de semejanza entre los sucesos, mayor ser la validez de la conclusin. Ejemplo 4. El hecho de que un par de zapatos nuevo, ha sido comprado en el mismo almacn que el par viejo, el cual fue muy resistente, es una premisa de la que se sigue que probablemente el nuevo par ser tambin resistente. Pero la misma conclusin se sigue con mayor probabilidad si la premisa afirma no solamente que los zapatos fueron comprados en la misma tienda, sino que son de la misma marca, que eran los ms caros del almacn y que tienen el mismo estilo. 3. La fuerza de las conclusiones con respecto a sus premisas. En este caso el criterio afirma que con premisas iguales se pueden generar conclusiones diferentes y que su validez no depende de las premisas sino de la fuerza de la conclusin.

90

Ejemplo 5. Una persona adquiri un carro nuevo y la ha dado un rendimiento de 10 Km / litro de gasolina, otra persona puede inferir que su carro nuevo, de la misma marca y modelo le dar un rendimiento igual (lo cual es probable); pero si la inferencia es que su carro le dar un rendimiento superior a 10 Km / litro, entonces esta conclusin ser menos probable y la conclusin ser mucho ms dbil si se afirma que el automvil rendir exactamente 10 Km / litro. 4.4 REFUTACIN POR MEDIO DE UNA ANALOGA LGICA Un mtodo bsico, para evaluar como vlido un argumento desde el punto de vista lgico, es el que recurre a la analoga para demostrar que otro argumento est equivocado o es incorrecto. Este mtodo consiste en refutar un argumento, mostrando que sus premisas no apoyan la conclusin que se pretende sostener, sin necesidad de demostrar que por lo menos una de sus premisas es falsa o est equivocada. Si un argumento tiene premisas verdaderas pero conclusin falsa, esto es base suficiente para clasificarlo como invlido; pero, si no se sabe si las premisas son verdaderas o falsas, se puede probar su invalidez construyendo una analoga refutadora Se define una analoga refutadora de un argumento dado como un argumento de exactamente la misma forma o estructura del argumento dado, pero cuyas premisas se conocen como verdaderas y su conclusin como falsa, as la analoga refutadora resulta invlida y como el argumento original tiene la misma forma tambin se considera invlido. Ejemplo 6 El siguiente texto muestra una analoga refutadora. El seor Clifford A. Wrigth afirma que Israel no es una democracia porque otorga al judasmo una posicin especial dentro de la Ley. Realmente es as? La Ley britnica contra la blasfemia protege solamente a las creencias de los cristianos. Esas leyes no vician los reclamos britnicos que es un pas democrtico, aunque se puede argir que en virtud de ellos su democracia es menos perfecta. Israel tiene sufragio universal, un sistema multipartidista y una prensa libre. Para todos, menos para los ciegos partisanos, esto significa que es una democracia.

91

AUTOEVALUACIN No. 4 1. Teniendo en cuenta los siguientes argumentos inductivos identifique el aspecto utilizado: 1.1 El lunes cay un fuerte aguacero, el martes hubo tempestad, el mircoles se present una fuerte tormenta, por lo tanto, se puede pronosticar que el da jueves habr un fuerte aguacero. 1.2 El nmero 4 es un mltiplo de 2 porque 2 x 2 = 4 El nmero 8 es un mltiplo de 2 porque 2 x 4 = 8 El nmero 54 es un mltiplo de 2 porque 2 x 27 = 54 El nmero 100 es un mltiplo de 2 porque 2 x 50 = 100 Por lo tanto los mltiplos de 2 se consiguen multiplicando el nmero 2 por otro nmero entero, es decir, si N es un nmero entero, los mltiplos de 2 son de la forma 2N. 2. Con el siguiente conjunto de premisas escriba la conclusin, orientada a la solucin de la siguiente pregunta, cmo se pueden escribir los nmeros impares? 2.1 3 es un nmero impar que se puede escribir como (2 X 1) + 1 5 es un nmero impar que se puede escribir como (2 X 2) + 1 25 es un nmero impar que se puede escribir como (2 X 12) + 1 43 es un nmero impar que se puede escribir como (2 X 21) + 1 101 es un nmero impar que se puede escribir como (2 X 50) + 1 El rea del cuadrado de lado 5 unidades es 25 unidades cuadradas El rea de un cuadrado de lado 10 unidades es 100 unidades cuadradas El rea de un cuadrado de lado 13 unidades es 169 unidades cuadradas

2.2

3. Evale los siguientes argumentos analgicos teniendo en cuenta los criterios analizados en el captulo. 3.1 El nmero 4 es un mltiplo de 2 porque 2 x 2 = 4 El nmero 8 es un mltiplo de 2 porque 2 x 4 = 8 El nmero 54 es un mltiplo de 2 porque 2 x 27 = 54 El nmero 100 es un mltiplo de 2 porque 2 x 50 = 100 Por lo tanto los mltiplos de 2 se consiguen multiplicando el nmero 2 por otro nmero entero, es decir, si N es un nmero entero, los mltiplos de 2 son de la forma 2N. 3.2 El nmero 4 es un mltiplo de 2 porque 2 x 2 = 4 El nmero 8 es un mltiplo de 2 porque 2 x 4 = 8 El nmero 54 es un mltiplo de 2 porque 2 x 27 = 54 El nmero 100 es un mltiplo de 2 porque 2 x 50 = 100 Por lo tanto los mltiplos de 2 son nmeros pares

92

INFORMACIN DE RETORNO No. 4 1.1 Se supone que el suceso vuelve a ocurrir, teniendo en cuenta que ha sucedido. 1.2 En este caso la induccin se basa en la experiencia. 2.1 Los nmeros impares se pueden escribir como la suma de un nmero par anterior a l, ms el nmero uno (1) 2.2 El rea de un cuadrado de lado L unidades, es L2 unidades cuadradas 3.1 Es vlido por la fuerza de las conclusiones con respecto a sus premisas 3.2 Es vlido por la fuerza de las conclusiones con respecto a sus premisas

93

EJERCICIOS DE PROFUNDIZACIN No. 4 1. Cul es la diferencia principal entre el mtodo deductivo y el inductivo? 2. Escriba un argumento inductivo en el cual las premisas y la conclusin sean verdaderas. 3. Escriba un argumento inductivo en el cual la validez de la conclusin no se pueda establecer de la validez de las premisas. 4. Refute por medio de una analoga el argumento 1.1 de la AUTO EVALUACIN No 4

94

RESPUESTAS A LOS EJERCICIOS DE PROFUNDIZACIN No. 4 1. Un rasgo caracterstico de las deducciones es que, dada la verdad de las premisas, si la deduccin es formalmente vlida, la conclusin es tambin verdadera. Este es uno de los rasgos en que las inducciones difieren ms del modelo deductivo, porque la conclusin de una argumentacin inductiva es siempre ms extensa que la informacin contenida en las premisas.

95

5.

ALGEBRA BOOLEANA

OBJETIVO GENERAL Teniendo en cuenta que los circuitos digitales o lgicos operan de forma binaria, emplear el lgebra booleana como fundamento terico para el anlisis, diseo y descripcin del funcionamiento de las compuertas lgicas que son los circuitos lgicos fundamentales. OBJETIVOS ESPECFICOS 1. 2. 3. 4. Describir la operacin de las compuertas lgicas, mediante sus tablas de verdad. Simplificar circuitos lgicos complejos mediante la aplicacin de las leyes del lgebra de Boole Simplificar expresiones booleanas mediante el uso de los mapas de Karnaugh emplear compuertas para implementar el circuito representado por una expresin booleana

96

AUTOEVALUCION INICIAL No. 5 1. Qu entiende por lgebra Booleana? 2. Qu es un mapa de Karnaugh o mapa K? 3. Cules son las operaciones del lgebra booleana? 4. Cules son las propiedades del lgebra booleana? 5. Cules son las dos formas que pueden adoptar las expresiones booleanas? 6. En qu consiste la forma normal disyuntiva? 7. En qu consiste la forma normal conjuntiva?

97

5.1 INTRODUCCIN El lgebra booleana, estudiada por primera vez en detalle por JORGE BOOLE, constituye un rea de las matemticas que ha pasado a ocupar un lugar prominente con el advenimiento de la computadora digital; en este caso proporcionan un eslabn entre el lgebra de conjuntos y el clculo proposicional. Son usadas ampliamente en el diseo de circuitos de distribucin y computadoras, las aplicaciones de la electrnica digital a los procesos de control y automatismo industriales estn fundamentadas tericamente en este sistema matemtico. Los circuitos digitales o lgicos operan de un modo binario donde cada voltaje (seal) de entrada o de salida es un cero (0) o un uno (1). Las designaciones 0 y 1 representan intervalos predefinidos de voltaje. Esta caracterstica de los circuitos lgicos permite emplear el lgebra booleana en el anlisis y diseo de sistemas digitales 5.2 VARIABLES Y CONSTANTES BOOLEANAS Las variables y constantes del lgebra booleana slo pueden tener dos valores: el cero (0) o el uno (1). Una variable booleana, denominada tambin variable lgica, se emplea para representar el nivel de voltaje presente en los terminales de entrada y salida de un circuito. En algunos casos este nivel de voltaje recibe el nombre de nivel lgico de la variable. Cuando el nivel del voltaje es bajo (entre 0 y 0.8 voltios) se emplean trminos como falso, desactivado, no, interruptor abierto (0). Cuando el nivel lgico es alto (por ejemplo entre 4 y 5 voltios), se emplean trminos como verdadero, activado, si, interruptor cerrado (1). El lgebra booleana se utiliza para describir los efectos que producen las entradas lgicas sobre los diversos circuitos digitales (circuitos lgicos).

5.3 DEFINICIN Las propiedades del sistema matemtico de la lgica simblica se pueden aplicar al lgebra de conjuntos; para tal fin, se forma un sistema matemtico abstracto llamado lgebra Booleana, en el cual los smbolos carecen de significado, de tal manera que esta lgebra puede aplicarse a 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. Un lgebra booleana es un sistema algebraico constituido por un conjunto A formado por elementos a, b, c, z, dos operaciones binarias simbolizadas por # y * definidas sobre el conjunto A y una relacin de equivalencia simbolizada por =, tales que, para cualesquiera elementos a, b y c de A, se verifican las siguientes propiedades o axiomas:

98

1. Cerradura o clausurativa: (a # b) y (a * b) tambin son elementos del conjunto A 2. Conmutativa: (a # b) = (b # a) y (a * b) = (b * a) (a * b) * c = a * (b * c) y a * (b # c) = (a * b) # (a * c).

3. Asociativa: (a # b) # c = a # (b # c) y

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

5. Identidad: a#0=a y a*e =a Los elementos 0 y e 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. El elemento a se llama elemento inverso para las operaciones # y * 5.4 LGEBRA BOOLEANA EN SISTEMAS NUMRICOS Para este sistema se puede adaptar la siguiente simbologa: A: Operaciones binarias: El conjunto de los enteros ( Z ) + adicin * producto Relacin de equivalencia: = igualdad A continuacin se realiza la verificacin de que el conjunto de nmeros enteros ( Z ) es un lgebra booleana, es decir, que satisface dada una de las siguientes propiedades para cualesquiera a, b, c y d elementos del conjunto Z. 1. Cerradura: 2. Conmutativa: 3. Asociativa: a+b=c y a*b=d y a* b=b*a

a+b=b+a

a + (b + c) = (a + b ) + c = (a + c) + b a * (b * c) = (a * b) * c = ( a * c) * b

4. Distributiva: a + (b * c) = (a + b) * (a + c) a * (b + c) = (a * b) + (a * c) 5. Identidad: Existen en Z elementos 0 y 1 tales que: a+0=a y a*1=a

99

El 0 y el 1 reciben el nombre de elementos neutros para la adicin y la multiplicacin respectivamente. 6. Complementacin: Para cada elemento a que pertenece al conjunto z, existe un elemento (-a) que tambin pertenece al conjunto de enteros tal que: a + (-a) = 0, (-a) recibe el nombre de inverso aditivo del elemento a. Es importante 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) 5.5 LGEBRA BOOLEANA DE LOS CONJUNTOS Para este sistema se interpreta la simbologa del lgebra booleana as: A: Todos los subconjuntos del conjunto universal U Operaciones binarias: U Unin Interseccin Relacin de equivalencia: = Igualdad A continuacin se demuestra que el lgebra de conjuntos satisface las propiedades de un lgebra booleana. Sean B, C y D subconjuntos del conjunto A 1. Cerradura: B U C es un subconjunto de A y B C es un subconjunto de A 2. Conmutativa: B U C= C U B y B C = C B 3. Asociativa: (B U C) U D = B U (C U D) (B C) D = B (C D). 4. Distributiva: B U (C D) = (B U C) (B U D) B (C U D) = (B C) U (B D). 5. Identidad: En el conjunto universal U existen dos conjuntos, el vaco y el conjunto A, tales que: B U A = A y B = . Los conjuntos y A se denominan elementos neutros para la interseccin y para la unin respectivamente.

100

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 5.6 y B B = . B se denomina complemento de B.

LGEBRA BOOLEANA DE LA LGICA

Para este sistema matemtico la simbologa correspondiente es: A: Operaciones binarias: Relacin de equivalencia: Elemento neutro: Elemento inverso (a): El conjunto de todas las proposiciones Disyuncin Conjuncin La contradiccin (0) para la disyuncin La tautologa (1) para la conjuncin La negacin de una proposicin

La demostracin de que la lgica simblica es un lgebra booleana corresponde a la verificacin de las siguientes propiedades: Sean p, q y r proposiciones del conjunto A. 1. Cerradura: p v q es una proposicin del conjunto A p q es una proposicin del conjunto A 2. Conmutativa: p v q q p p q q p 3. Asociativa: (p q) r p (q r) (p q) r p (q r). 4. Distributiva: p (q r) (p v q) (p v r) p (q v r) (p q) v (p r). 5. Identidad: En el conjunto A existe una proposicin que siempre es verdadera, llamada tautologa y simbolizada por 1, y otra que siempre es negativa, llamada contradiccin y simbolizada por 0, tales que: p v 0 p y p 1 p. La tautologa y la contradiccin corresponden a los elementos neutros de la disyuncin y de la conjuncin respectivamente. 6. Complementacin: Para cada proposicin p, existe en el conjunto A una proposicin ~ p, llamada la negacin de p, tal que:

101

p v (~ p) 1

p (~ p) 0

Es preciso recordar que las tablas de verdad son una herramienta para demostrar estas propiedades, su elaboracin se deja como ejercicio. 5.7 RELACIN DE ORDEN EN UN LGEBRA BOOLEANA Un conjunto A con un lgebra booleana definida, debe ser parcialmente ordenado (tema tratado en la seccin 1.6), es decir, sus elementos deben cumplir las propiedades de la relacin de orden: Reflexiva, antisimtrica y transitiva. S A es el conjunto de los nmeros enteros con el lgebra booleana definida en la seccin 5.4 y una relacin de orden parcial (menor o igual), entonces para todo x, y, z elementos de A, se debe cumplir: 1. Reflexiva: x x 2. Antisimtrica: (x y) (y x) x = y 3. Transitiva: (x y) (y z) (x z) En un lgebra de boole x y se define como x + y = y para indicar que el elemento x es menor o igual a y, se representa grficamente como el siguiente diagrama de lnea dirigida de x hacia y: y

x As 0 1 porque 0 + 1 = 1. En un lgebra booleana definida sobre un conjunto A con la adicin (+) y el producto (.) como operaciones binarias y la igualdad (=) como relacin de equivalencia, entonces, para cualesquier par de elementos x, y del conjunto A las siguientes afirmaciones son equivalentes: S x y, entonces: 1. 2. 3. 4. x + y x. y = x + y x. y = = y x = 1 0

5.8 EXPRESIONES BOOLEANAS Una expresin booleana (tambin llamada funcin booleana o funcin lgica) es un conjunto finito de smbolos (cada uno representa una constante o una variable) combinados mediante la operacin suma, producto o complementacin.

102

Si n es el nmero de variables lgicas, entonces el nmero total de funciones lgicas distintas que se pueden escribir con n variables es 22, por ejemplo para n = 3 (tres variables lgicas: x, y, z), el nmero de funciones lgicas distintas es de 256. Para escribir las funciones lgicas se utiliza el smbolo Fi, donde i vara segn el nmero de funciones lgicas a partir de 0, as por ejemplo, para n = 2 (dos variables lgicas: x, y), las 16 funciones lgicas se denominan Fi, con i = 0,1,2,315. Otras propiedades o leyes del lgebra booleana empleadas en los procesos de simplificacin de expresiones booleanas o en la demostracin de teoremas, son: Ley de idempotencia: x + x = Ley de acotacin: x +1= Ley de absorcin: x +xy= Ley de involucin (x) = Ley DMorgan (x + y) = x 1 x x x y x.x = x x.0 = 0 x (x + y) = x (0) = 0 (1) = 1 (x y) = x + y

Las expresiones booleanas pueden adoptar dos formas tiles para las aplicaciones tecnolgicas; tales expresiones estn conformadas por una suma de productos o por un producto de sumas, denominadas la forma normal disyuntiva y la forma normal conjuntiva, respectivamente. 5.9 FORMA NORMAL DISYUNTIVA La funcin booleana adopta una forma normal disyuntiva si est escrita como una suma de trminos, en la cual cada trmino es un producto que involucra todas las n variables, con negacin o sin ella. Cada trmino se llama trmino minimal y la funcin se denomina funcin polinomial de trminos minimales. Ejemplos: x + x en una variable x. y en dos variables x. y. z + x. y. z + x. y. z

en tres variables.

El proceso para llegar a la forma normal disyuntiva de una funcin booleana consiste en aplicar las leyes DMorgan, hasta que los complementos aparezcan aplicados solamente a variables individuales; despus por la aplicacin de la propiedad distributiva del producto respecto a la suma, la funcin puede ser reducida a un polinomio. Si en algn trmino falta una variable, por ejemplo w, entonces este trmino puede ser multiplicado por la expresin w + w sin cambiar la funcin. Ejemplo 1. Escribir la funcin f (x, y, z) = (x y + y z) + y en la forma normal disyuntiva (x y + y z) + y = (x y) (y z) + y Por Ley DMorgan

103

= = = = = = = = =

(x + y) (y + z) + y Por DMorgan e Involucin (y + x) (y + z) + y Por conmutativa y (y + z) + x (y + z) + y Por distributiva y + x (y + z) + y Por absorcin y + x y + x z + y Por distributiva y + y x + x z + y Por conmutativa y + x z + y Por absorcin y + y + x z Por asociativa y + x z Por idempotencia

La expresin se ha reducido a dos trminos; en el primero (y) faltan las variables x z, en el segundo (x z) falta la variable y, entonces, como el proceso para llegar a la forma normal disyuntiva permite multiplicar el primer trmino por la expresin (x + x) (z +z) y el segundo por (y + y) la expresin queda convertida en: = y (x + x) (z + z) + x z (y + y) Por distributiva = y (x z + x z + x z + x z) + x z y + x z y distributiva = x y z + x y z + x y z + x y z + x y z + x y z asociativa = x y z + x y z + x y z + x y z + x y z Una funcin booleana puede ser expresada en forma normal disyuntiva en ms de una manera, mediante el cambio del nmero de variables; sin embargo, para un nmero dado de variables la forma normal es nica. Ejemplo 2. Si f (x, y) = x y esta en forma normal disyuntiva en x y en y, pero si x . y es multiplicada por z + z, entonces se tiene que: f (x, y, z) = x y (z + z) f (x, y, z) = x y z + x y z tambin esta en forma normal en las variables x, y, z. Ejemplo 3. g (x, y, z) = x y z + x y z + x y z + x y z est en forma normal disyuntiva en x, y, z, pero aplicando las leyes del lgebra booleana se tiene que: g (x, y, z) = x y z + x y z + x y z + x y z = y z (x + x) + y z ( x + x) = y z (1) + y z (1) = y z + y z = y (z + z) = y (1) por lo tanto g (x, y, z) = y que es la forma normal en y. La forma normal disyuntiva en n-variables que tiene 2n trminos se llama forma normal disyuntiva completa en n-variables y es idnticamente igual a la unidad.

104

Ejemplo 4. Para el caso de dos variables (n = 2) la forma normal disyuntiva se puede obtener de la siguiente tabla: x 1 1 0 0 y 1 0 1 0 f (x, y) xy x y x y x y

Donde la suma de los productos es 1, es decir, x y + x y + x y + x y = 1. La demostracin es la siguiente: x y + x y + x y + x y = x (y + y) + x (y + y) = x (1) + x (1) = x + x = 1. Una funcin booleana f est completamente determinada por los valores que ella asuma para cada una de las combinaciones de los valores asignados, 0 1, a las respectivas variables, es decir, una funcin booleana puede ser determinada mediante una tabla que represente las condiciones deseadas, este hecho se aplica especialmente en el diseo de circuitos. Ejemplo 5. Encontrar y simplificar la funcin booleana descrita en la siguiente tabla: Fila 0 1 2 3 4 5 6 7 x 1 1 1 1 0 0 0 0 y 1 1 0 0 1 1 0 0 z 1 0 1 0 1 0 1 0 f (x, y, z) 0 1 1 0 0 0 1 0

En este caso la tabla muestra el valor de la funcin lgica para las 23 = 8 posibles combinaciones de 0 y 1 para las variables x, y, z. Las combinaciones en las filas 1,2 y 6 tienen valor 1, por lo tanto la forma normal disyuntiva contendr tres trminos as: f (x, y, z) = x y z + x y z + x y z = x y z + yz (x + x) = x y z + yz (1) = x y z + yz. En estos casos, la forma normal disyuntiva se usa si el nmero de unos (1) es menor que el nmero de ceros (0) en la columna f

105

El complemento de una funcin en forma normal disyuntiva contendr exactamente aquellos trminos de la forma normal disyuntiva que no aparecen en la funcin dada. Ejemplo 6: Escribir el complemento de cada una de las siguientes funciones: 1. x y + x y 2. x y z + x y z + x y z + x y z + x y z Como el complemento de una forma normal disyuntiva son los trminos que no aparecen en la funcin, entonces el complemento de cada funcin es: 1. 2. x y + x y x y z + x y z + x y z.

5.10 FORMA NORMAL CONJUNTIVA Se dice que una funcin booleana est en forma normal conjuntiva si est escrita como un producto de trminos, en el cual cada uno es una suma que involucra todas las n-variables, con complementacin o sin ella. Cada trmino se denomina trmino maximal. El proceso para obtener la forma normal conjuntiva de una funcin booleana consiste en aplicar las leyes DMorgan para eliminar los complementos de los parntesis, despus la funcin es factorizada y luego se introducen las variables que faltan en cada factor, por ejemplo w, sumando un trmino de la forma w w, que no cambia la funcin. El ltimo paso es expresarla en factores y reducir aquellos que sean semejantes. Ejemplo 1. Escribir la funcin f (x, y, z) = (x y + y z) + y en la forma normal conjuntiva. f (x, y, z) = (x y + y z) + y = (x y) (y z) + y = (x + y) (y + z) + y = (y + x) (y + z) + y = y + (y + x) (y + z) = (y + y + x) (y + y + z) = (y + x) (y + z) = (y + x + z z) ( x x + y + z) = (y + x + z) (y + x + z) (x + y + z) (x + y + z) = (x + y + z) (x + y + z) (x + y + z) (x + y + z) = (x + y + z) (x + y + z) (x + y + z) (x + y + z) = (x + y + z) (x + y + z) (x + y + z) Una funcin booleana puede ser expresada en forma normal conjuntiva en ms de una manera, mediante el cambio del nmero de variables; sin embargo, para un nmero especfico de variables la forma normal conjuntiva es nica.

106

Ejemplo 2. La funcin f (x, y) = x + y esta en forma normal conjuntiva en las variables x, y, escribir la funcin f (x, y) en la forma normal conjuntiva pero en las variables x, y, z. f (x, y) = x + y = x + y + z z = (x + y + z) (x + y + z) As f (x, y) qued expresada en forma normal conjuntiva en variables x, y, z. La forma normal conjuntiva en n-variables que tiene 2n trminos se llama forma normal conjuntiva completa en n-variables y su producto es igual a cero. Por ejemplo, para n = 2 la forma normal conjuntiva completa se obtiene tomando las variables complementadas. x = 0 x = 1 y = 1 y = 0 y su definicin se puede obtener en la siguiente tabla: x 1 1 0 0 y 1 0 1 0 f (x, y) x + y x + y x+y x + y

Como el producto de la suma es 0, se tiene que: (x + y) (x + y) (x + y) (x + y) = 0. La demostracin es la siguiente: (x + y) (x + y) (x + y) (x + y) = (x + y y) (x + y y) = (x + 0) (x + 0) = x x =0 Ejemplo 3. Encontrar y simplificar la funcin booleana f (x, y, z) de la tabla. Fila 0 1 2 3 4 5 6 7 x 1 1 1 1 0 0 0 0 Y 1 1 0 0 1 1 0 0 z 1 0 1 0 1 0 1 0 f (x, y, z) 1 1 0 1 1 1 0 1

107

Como slo dos filas de la tabla, la 2 y la 6, tienen el valor cero, es ms fcil escribir la funcin en forma normal conjuntiva, as: f (x, y, z) = (x + y + z) (x + y + z) = (y + z + x) (y + z + x) = (y + z + xx) = (y + z + 0) = y + z La forma normal conjuntiva se usa si el nmero de ceros (0) es menor que el nmero de unos (1) en la columna f. El complemento de una funcin escrita en forma normal conjuntiva es una funcin cuyos factores son exactamente aquellos de la forma normal conjuntiva, que no aparecen en la funcin dada, por ejemplo, el complemento de (x + y) (x + y) es (x + y) (x + y). El complemento se puede utilizar para encontrar la forma normal disyuntiva, para cambiar una funcin de una forma normal a la otra se utiliza el complemento del complemento de la funcin, es decir, (f ) = f. Ejemplo 4. Encontrar la forma normal conjuntiva para la funcin f (x, y, z) = x y z + x y z + x y z + x y z Aplicando el complemento del complemento se tiene: [f (x, y, z )] = [ (x y z + x y z + x y z + x y z) ] = [(x y z) (x y z) (x y z) (x y z)] = [(x + y + z) (x + y + z) ( x + y + z) (x + y + z)] Los trminos que no aparecen en la funcin son: = (x + y + z) ( x + y + z) ( x + y + z) (x + y + z) Ejemplo 5. Cambiar la siguiente expresin de la forma normal disyuntiva a la forma normal conjuntiva. f (x, y, z) = x y z + x y z + x y z + x y z + x y z Aplicando el complemento se tiene que: [f (x, y, z)] = [(x y z + x y z + x y z + x y z + x y z)] Aplicando el complemento del parntesis interno, (los trminos que no aparecen), se tiene: = [ x y z + x y z + x y z] y por el complemento externo = (x y z) (x y z) (x y z) = (x + y + z) (x + y + z) (x + y + z) Ejemplo 6. Cambiar la siguiente expresin de la forma normal conjuntiva a la forma normal disyuntiva. f (x, y, z) = [ (y + z) (y + z) (y + z)]

108

Aplicando el complemento se tiene que: [f (x, y, z)] = { [ (y + z) (y + z) (y + z)] } = { (y + z) + (y + z) + (y + z)} = {(y z) + (y z) + (y z)} = {y z + y z + y z} = y z Ejemplo 7 Escribir las funciones descritas en la siguiente tabla y simplificarla utilizando la forma ms conveniente: x 0 0 0 0 1 1 1 1 y 0 0 1 1 0 0 1 1 z 0 1 0 1 0 1 0 1 F1 1 0 1 1 1 1 0 1 F2 0 1 0 0 0 0 1 0 F3 0 0 1 1 1 0 1 0 F4 0 1 1 1 0 1 1 1

Para F1 se usa la forma normal conjuntiva porque slo hay dos ceros, por lo tanto la expresin booleana es: F1 (x, y, z) = (x + y + z) ( x + y + z). Ya esta simplificada En F2 se utiliza la forma normal disyuntiva porque slo hay dos unos, la expresin booleana es: F2 (x, y, z) = x y z + x y z. Ya esta simplificada. En F3 se puede utilizar cualquiera de las dos formas, debido a que el nmero de ceros y de unos es igual, la forma normal disyuntiva es: F3 (x, y, z) = x y z + x y z + x y z + x y z. = x y ( z + z) + x z ( y + y) = x y (1) + x z (1) = x y + x z La forma ms conveniente para F4 es la forma norma conjuntiva F4 (x, y, z) = (x + y + z) (x + y + z) = y + z + x x = y+z+0 =y+z 5.11 SIMPLIFICACIN DE EXPRESIONES BOOLEANAS Para simplificar enunciados booleanos se utiliza, adems de las leyes de la lgica, los llamados mapas de Karnaugh o mapas K. Un diagrama de Karnaugh se puede definir como un diagrama rectangular, con regiones o casillas arregladas como cuadrados dentro del rectngulo. Los
109

mapas K tienen 2n casillas, donde n es el nmero de variables lgicas de la expresin booleana, por ejemplo, para n = 2 el mapa de karnaugh es un rectngulo con cuatro casillas (dos filas y dos columnas) y cada casilla contiene el valor de la funcin para cada combinacin de los valores de verdad de las variables as: x = 1 y=0 y =1 Para ms de 6 variables los mapas de Karnaugh se hacen demasiado complicados y pierden su utilidad. La construccin de un mapa K se hace con base a la tabla de verdad asociada con la funcin booleana que se quiere representar, ya sea en forma disyuntiva o conjuntiva. Las caractersticas fundamentales de los mapas K, se pueden resumir de la siguiente forma: 1. Cada casilla se asocia con una fila de la tabla de verdad 2. el nmero binario (1 0) que identifica cada fila de la tabla de verdad se hace corresponder con las coordenadas binarias que identifican cada casilla del mapa K. El diagrama se presenta a continuacin: x = 0 y = 0 y=1 3. Si dos casillas contiguas (horizontal o verticalmente) tienen unos (1), se dice que forman una adyacencia. En el siguiente diagrama, se representa un mapa K con dos adyacencias, una vertical y la otra horizontal. x = 0 y = 0 y=1 Ejemplo 1. Escriba en forma normal disyuntiva la funcin booleana descrita en el mapa de Karnaugh y luego simplifquela. y = 0 y=0 x = 0 1 x=1 1 1 x =1 1 1 x =1 x=0

110

f (x, y, z) = x y + x y = y (x + x) = y. 1 = y Ejemplo 2. Representar en un mapa de Karnaugh la funcin boleana descrita en la siguiente tabla y luego simplificarla: x 0 0 1 1 El mapa correspondiente es: x = 0 y = 0 y=1 La funcin booleana es: f (x, y, z) = x y + x y + x y = x y + x (y + y) = x y + x.1 = x y + x Ejemplo 3. Obtener las expresiones booleanas reducidas para los siguientes mapas de Karnaugh: x = 0 y = 0 y=1 f (x, y, z) = x y + x y = x (y + y) =x x=1 1 1 1 x=1 1 1 y 0 1 0 1 f 0 1 1 1

111

5.12.

MAPAS DE KARNAUGH PARA TRES VARIABLES

El mapa K para tres variables es un diagrama formado por dos filas y cuatro columnas, as: x y 00 z= 0 z=1 En este caso pueden ocurrir adyacencias de dos, cuatro u ocho unos (1). Ejemplo 1. Encontrar la expresin booleana simplificada cuyo mapa k es: x y 00 z= 0 z=1 x y 01 1 1 xy 11 1 1 x y 10 x y 01 xy 11 x y 10

La funcin es: f(x, y, z) = x y z + x y z + x y z + x y z = x y (z + z) + x y (z + z) = x y. 1 + x y. 1 = x y + x y = y (x + x) = y. 1 =y Ejemplo 2. Obtener las expresiones booleanas reducidas para el siguiente mapa de Karnaugh: x y 00 z= 0 z=1 x y 01 xy 11 1 1 x y 10 1

La funcin booleana es: f(x, y, z) = x y z + x y z + x y z simplificando se tiene: = x y (z + z) + x y z = x y + x y z. 5.13. MAPAS DE KARNAUGH PARA CUATRO VARIABLES El mapa K para funciones booleanas de cuatro variables es un diagrama de cuatro filas por cuatro columnas, diseada de la siguiente forma:

112

x y 00 z w z w zw z w 00 01 11 10

x y 01

xy 11

x y 10

En este caso pueden ocurrir adyacencias de dos, cuatro, ocho o diecisis unos (1). Ejemplo 1. Simplificar la funcin booleana cuyo mapa K asociado es: x y 00 z w z w zw z w 00 01 11 10 1 1 1 1 1 1 1 x y 01 xy 11 x y 10 1

La funcin es: f(x,y,z,w) =xyzw + x yzw + xyzw+ x yzw+xy zw+x y zw+xy z w + x y z w = yzw (x + x) + yz w (x + x) + y zw (x + x) + y z w (x + x) = yzw + yz w + y zw + y z w = yw (z + z) + y w (z + z) = yw + y w Ejemplo 2. Simplificar la funcin booleana cuyo mapa K asociado es: x y 00 z w z w zw z w 00 01 11 10 1 1 1 1 x y 01 xy 11 x y 10 1 1 1 1

f(x, y, z, w) = xyzw + xyzw + xyz w + xyz w + x yzw + x yzw + x yz w + x yz w. Simplificando = xyz (w + w) + xyz (w + w) + x yz (w + w) + x yz (w + w) = xyz + xyz + x yz + x yz = xy (z + z) + x y (z + z) = xy + x y

113

= y (x + x) = y Ejemplo 3. Obtener la expresin booleana reducida para el siguiente mapa K x y 00 z w z w zw z w 00 01 11 10 x y 01 1 1 1 1 1 xy 11 1 1 1 x y 10

f(x, y, z, w) = x y z w + xyz w + xy zw +xy z w + x y zw + x y z w + x yzw + x y z w. = x y w (z + z) + x y w (z + z) + x y w (z + z) + x y w (z + z) = x y w + x y w + x y w + x y w = x y w + x y w + x y w + x y w = y w (x + x) + y w (x + x) = y w + y w.

114

AUTO EVALUACIN No. 5 1. Demostrar que la forma normal conjuntiva de la expresin x z + y es (x + y + z) (x + y + z) ( x + y + z) 2. Demostrar que la forma normal disyuntiva de la expresin (x + y + z) (x y + xz) es x y z + x y 3. Escribir en forma normal disyuntiva las funciones F1, F2 y F3 especificadas en la siguiente tabla; x 0 0 0 0 1 1 1 1 y 0 0 1 1 0 0 1 1 z 0 1 0 1 0 1 0 1 F1 F2 F3 0 1 1 0 1 0 1 0 1 1 0 0 0 1 0 0 1 1 1 0 0 1 0 1

4. Cambiar la siguiente expresin de la forma normal disyuntiva a la forma conjuntiva. x y + x y + x y 5. Cambiar la siguiente expresin de la forma normal conjuntiva a la forma normal disyuntiva: (y + z) (y + z) (y + z)

115

INFORMACIN DE RETORNO NO. 5 1. x z + y = y + x z = (y + x) (y + z) = (y + x + z z) (y + z + x x) = (x + y + z) (x + y + z) (y + z + x) (y + z + x) = (x + y + z) (x + y + z) (x + y + z) Conmutativa Distributiva Complemento Distributiva Idempotencia DMorgan DMorgan Complemento Distributiva Complemento Distributiva Complemento

2. (x + y + z) (x y + x z) = (x y z) (x y + xz) = (x y z + x y + x z) = [x y z + x y (z + z) + xz (y + y)] = (x y z + x y z + x y z + x y z + x y z) = x y z + x y z + x y z = x y z + x y (z + z) = x y z + x y 3. F1 = x y z + x y z + x y z + x y z = x y ( z + z) + x y (z + z) = x y (1) + x y (1) = xy + x y = y (x + x) = y (1) =y F2 = x yz + x y z + x y z + x y z = x y (z + z) + x y (z + z) = x y (1) + x y (1) = y (x + x) = y (1) = y F3. = x y z + x y z + x y z + x y z = x y ( y + y) + x z (y + y) = x z (1) + x z (1) = x z + x z 4. [ (x y + x y + x y) ] =[ (x y) (x y) (x y)] = [(x + y) (x + y) (x + y)] = [x (y + y) (x + y)] = [x (x + y)] = [x x + x y] = [1 + x y] = [x y] = (x) + (y) = x + y 5. (y + z) (y + z) (y + z) = {[(y + z) ( y + z) (y + z)]} = [(y + z) + (y + z) + (y + z)]

116

= (y z + y z + y z) = y z

117

EJERCICIOS DE PROFUNDIZACIN No. 5 1. Simplificar las siguientes expresiones booleanas: 1.1 (x + x y + x y z) (x + y + z) 1.2 (x + y + z + x y z) ( y z + y z + yz) 2. Demostrar que la forma normal conjuntiva de la expresin x y z + x y z + x y z + x y z + x y z es (x + y + z)(x + y + z)(x + y + z) 3. Demostrar que la forma normal disyuntiva de la expresin (x + y + z) (x + y + z) (x + y + z) (x + y + z) (x + y + z) (x + y + z) es x y z + x y z 4. Escribir las funciones especificadas en la siguiente tabla y simplificarlas utilizando la forma ms conveniente: x 0 0 0 0 1 1 1 1 y 0 0 1 1 0 0 1 1 z 0 1 0 1 0 1 0 1 F1 F2 F3 F4 1 0 0 0 0 1 0 1 1 0 1 1 1 0 1 1 1 0 1 0 1 0 0 1 0 1 1 1 1 0 0 1

5. Determinar las expresiones simplificadas para cada uno de los mapas de Karnaugh 5.1 x y 00 z w z w zw z w 00 01 11 10 1 1 1 1 x y 01 1 1 0 0 xy 11 0 0 0 1 x y 10 0 1 1 0

5.2 x y x y xy x y
118

00 z w z w zw z w 00 01 11 10 1 0 1 1

01 1 0 0 1

11 0 0 0 0

10 1 0 1 1

119

RESPUESTAS EJERCICIOS DE PROFUNDIZACIN No. 5 1. 1 x 1.2 y + z 4. Para F1 se usa la forma normal conjuntiva porque slo hay dos ceros, F1 = (x + y + z) (x + y + z) Para F2 se usa la forma disyuntiva porque slo hay dos unos. F2 = x y z + x y z Para F3 cualquier forma es vlida. F3 = x y z + x y z + x y z + x y z = x y (z + z) + x z (y + y) = x y (1) + x z (1) = x y + x z Para F4 se usa la forma normal conjuntiva porque slo hay dos ceros F4 = (x + y + z) (x + y + z) = y + z + x x =y+z 5.1. 5.2. F (x, y, z, w) = x y + x z + y w + x y z w F (x, y, z) = y w + x w + y z

120

6. CIRCUITOS LGICOS OBJETIVO GENERAL Utilizar el lgebra booleana para analizar y describir el funcionamiento de las combinaciones de las compuertas lgicas, de tal manera que pueda relacionar la teora de conjuntos, el lgebra proposicional, el lgebra booleana y las compuertas lgicas, para disear circuitos lgicos OBJETIVOS ESPECFICOS 1. Describir cada compuerta lgica, mediante su tabla de verdad 2. Simplificar circuitos lgicos mediante la aplicacin de las leyes de lgebra booleana 3. Emplear compuertas para implementar el circuito representado por una expresin booleana 4. Relacionar los conjuntos, la lgica, el lgebra booleana y las compuertas. 5. A partir de las tablas de verdad elaborar los mapas K y luego disear circuitos lgicos. 6. Mostrar algunas aplicaciones del lgebra boleana y su implementacin mediante circuitos lgicos

121

EVALUACIN INICIAL No. 6 1. 2. 3. 4. 5. 6. Cmo se define un circuito de conmutacin? Qu es una compuerta lgica? Y Para qu sirve? Qu clases de compuertas lgicas conoce? Qu es un circuito lgico? Cmo se construye un circuito lgico a partir de una expresin booleana? Cmo se aplican los circuitos lgicos a la solucin de problemas cotidianos?

122

6.1 DEFINICIN Y REPRESENTACIN DE LOS CIRCUITOS El lgebra booleana es el soporte terico para el lgebra de los circuitos lgicos, esto significa que excepto por la terminologa y su significado, el lgebra de los circuitos es idntica al lgebra de proposiciones, con dos elementos el 0 y el 1. El lgebra de circuitos utiliza dispositivos de dos estados como por ejemplo el interruptor o switch (es el ms sencillo), diodos rectificadores, bobinas magnticas, transistores, entre otros; la naturaleza de los estados vara con el dispositivo as: conduccin contra no-conduccin, cerrado contra abierto, cargada contra descargada, magnetizada contra desmagnetizada, alto voltaje contra bajo voltaje. Los dispositivos formados por conmutadores o interruptores que consideran las posiciones cerrada o abierta, se llaman circuitos de conmutacin, la posicin cerrada se simboliza por ON y la abierta por OFF, un interruptor se encontrar cerrado o abierto y nunca en posicin intermedia. La siguiente figura muestra una representacin grfica de un conmutador.

ON P OFF P

ON

OFF

INTERUPTOR CERRADO INTERRUPTOR ABIERTO

Figura No.1 Ejemplo 1.

Representacin de un interruptor

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 este abierto. Si se representa por la lmpara, la fuente de energa por el circuito se puede representar esquemticamente as:
ON P LAMPARA OFF FUENTE ELECTRICA (PILA O BATERIA)

Figura No. 2

Activacin de una lmpara

123

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. En las siguientes figuras se muestran las posiciones ON y OFF.

ON P OFF

ON P OFF

CONMUTADOR CERRADO (ENCENDIDA)

CONMUTADOR ABIERTO (APAGADO)

Figura No. 3 Interruptor en posicin ON y OFF respectivamente El ejemplo anterior permite demostrar que un interruptor slo puede tomar una de las dos posiciones (cerrada o abierta) y como una proposicin lgica toma un solo valor de verdad (verdadera o falsa), se puede establecer una relacin entre un conmutador y una proposicin lgica; para esto se asigna una proposicin P al conmutador de tal manera que si P es verdadera se asume que el conmutador est cerrado (ON) y si P es falsa el interruptor estar abierto (OFF), a estos conmutadores se les denomina circuitos lgicos. Para describir el nivel de voltaje o nivel lgico de la variable presente en los terminales de entrada y salida de un circuito se emplean trminos como desactivado, activado, abierto, cerrado, 0, verdadero, 1, entre otros. Cuando el nivel de voltaje es bajo se emplean trminos como falso, desactivado, no, interruptor abierto y se utiliza el elemento cero (0) y cuando el nivel lgico es alto se usan los trminos verdadero, activado, s, interruptor cerrado y se simboliza con el uno (1). 6.2 CIRCUITO DE CONJUNCIN

Este circuito toma dos conmutadores P y Q, y recordando la tabla de verdad de la conjuncin estudiada en el captulo 2 se puede inferir que los interruptores P y Q deben estar conectados en serie de tal manera que si ambos estn cerrados (P y Q verdaderas) el circuito estar cerrado y por consiguiente la lmpara estar encendida.

124

La representacin del circuito de conjuncin se muestra en la siguiente figura: ON P OFF Q OFF ON

Figura No. 4 Circuito de conjuncin 6.3 CIRCUITO DE DISYUNCIN

Analizando la tabla de verdad de la disyuncin se observa que si P y Q son dos proposiciones, entonces la disyuncin P Q es verdadera siempre que alguna de las dos sea verdadera, 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 interruptor P o Q est cerrado, en otras palabras, la lmpara estar encendida siempre que alguno de los dos conmutadores P o Q est cerrado. La representacin grfica de este circuito es el siguiente: OFF P ON ON Q OFF

Figura No. 5 Circuito de disyuncin 6.4 CIRCUITO DE NEGACIN

La relacin entre el estado de la lmpara con la disposicin del circuito lgico, se puede enunciar as: Si P es una proposicin verdadera el conmutador estar cerrado y la lmpara estar encendida; anlogamente si P es falsa el conmutador estar abierto y en consecuencia la lmpara estar apagada.

125

En la tabla de verdad de la negacin (elaborada en el captulo 2) se observa que el valor de verdad de P es el opuesto al valor de P, esto significa que cuando el interruptor P esta cerrado (P verdadera) la lmpara debe estar apagada y si el conmutador P esta abierto (P falso) la lmpara debe estar encendida. El circuito de negacin puede representarse grficamente as: ON P OFF

Figura No. 6 Circuito de negacin El lgebra booleana se utiliza para describir los efectos que producen las entradas lgicas sobre los circuitos lgicos y para manipular variables lgicas cuando se va a determinar el mtodo de aplicacin de una funcin de un circuito. Las operaciones del lgebra booleana son la adicin o suma lgica, la multiplicacin o producto lgico y la complementacin o inversin lgica y los dispositivos electrnicos que ejecutan cada operacin se llaman compuertas lgicas. 6.5 ADICIN O SUMA LGICA.

Tambin se llama operacin OR o simplemente OR, corresponde a la disyuncin de proposiciones y a la unin de conjuntos y el dispositivo que ejecuta esta operacin se llama compuerta OR, su representacin grfica es: PQ

Figura No. 7 Compuerta OR Esta compuerta tiene dos entradas que representan los estados de los conmutadores P, y, Q y una salida P Q que representa el estado de la lmpara.

126

6.6

MULTIPLICACIN O PRODUCTO LGICO

Llamada tambin operacin AND o simplemente AND. Corresponde en lgica a la conjuncin de proposiciones y a la interseccin de conjuntos. El dispositivo electrnico que ejecuta esta operacin se llama compuerta AND, tiene dos conmutadores P y Q los cuales se representan como dos entradas y una salida PQ que representa el estado de la lmpara, su presentacin grfica es:

PQ

Figura No.8 Compuerta AND 6.7 COMPLEMENTACIN O INVERSIN LGICA

Se denomina tambin operacin NOT y corresponde a la negacin de una proposicin o a la operacin de complementacin en conjuntos. La compuerta NOT acepta como entrada un valor P y produce como salida su negacin P. Por esta razn esta compuerta tambin se denomina inversor, su representacin es:

Figura No. 9 Compuerta NOT 6.8 CORRESPONDENCIA ENTRE LGICA CONJUNTOS LGEBRA BOOLEANA Y LAS COMPUERTAS LGICAS.

La siguiente tabla muestra las correspondencias: LGICA CONJUNTOS LGEBRA BOOLEANA DISYUNCIN PQ UNIN AB SUMA X+y CONJUNCIN PQ INTERSECCIN AB PRODUCTO XY NEGACIN P COMPLEMENTO A INVERSOR X

127

COMPUERTAS LGICAS

OR

AND

NOT

Figura No. 10 Correspondencias: Lgica-Conjuntos-lgebra-compuertas Ejemplo 1. Utilizando compuertas lgicas simbolizar la proposicin: (PQ). Segn la tabla, las compuertas correspondientes a la disyuncin y a la negacin son: OR y NOT respectivamente, por lo tanto la combinacin de ellas dar la compuerta solicitada, as:

(P Q)
Q

Figura No.11

Ejemplo 1.

(PQ).

Ejemplo 2 Utilizando las compuertas lgicas simbolizar la proposicin (P Q). Analizando la tabla el circuito correspondiente es:

P Q

(P Q)

Figura No. 12 Ejemplo 2. (P Q). Ejemplo 3 Utilizando las compuertas lgicas simbolizar la proposicin p (q r). En este caso intervienen tres proposiciones y dos conectivos, por lo tanto el circuito es:

128

p Q R P (Q R)

Figura No. 13.Ejemplo 3. P (Q R) Ejemplo 4. Disear el circuito que determine los valores de verdad de la proposicin P (Q R). Para disear el circuito primero se simboliza la proposicin mediante el uso de compuertas lgicas, as:

P P (Q R) Q R

Figura No. 14. Ejemplo 4. P (Q R). 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:

P Q R

Figura No. 15 Circuito de la proposicin. ejemplo 4

129

6.9

OTRAS COMPUERTAS LGICAS

Las tres compuertas fundamentales ya mencionadas (AND, OR NOT) son suficientes para escribir cualquier funcin boleana y por lo tanto disear un circuito lgico, sin embargo, se utilizan otras compuertas lgicas como NAND, NOR, XOR y XNOR 6.9.1 La compuerta NAND es la negacin de la compuerta AND y se define como: x NAND y = (x y) y se simboliza as:

Figura No. 16 compuerta NAND La tabla de verdad para las compuertas AND y NAND es: x 0 0 1 1 y 0 1 0 1 AND x y 0 0 0 1 NAND (x y) 1 1 1 0

6.9.2 La compuerta NOR, es la negacin de la compuerta OR, se define as: x NOR y = (x + y), su smbolo es:

Figura No. 17 Compuerta NOR La tabla de verdad para las compuertas OR y NOR es: x 0 0 1 1 y 0 1 0 1 OR x+y 0 1 1 1 NOR (x + y) 1 0 0 0

130

6.9.3 La compuerta XOR corresponde a la operacin lgica disyuncin exclusiva (x y) y a la operacin diferencia simtrica entre conjuntos. Se define como f(x, y, z) = x y = x y + xy. El smbolo para esta compuerta es:

Figura No. 18 Compuerta XOR La compuerta XNOR es la negacin de la compuerta XOR, su smbolo es:

Figura No. 19 Compuerta XNOR La tabla de verdad para estas compuertas es: x 0 0 1 1 y 0 1 0 1 XOR xy 0 1 1 0 XNOR (x y) 1 0 0 1

Se observa que la tabla de verdad de la compuerta XNOR es exactamente igual a la tabla de la equivalencia (o doble implicacin), por lo cual esta compuerta recibe el nombre de COMPARADOR. Ejemplo 1 Dibujar el circuito lgico de la funcin booleana f (x, y, z) = y z + x. Para disear un circuito lgico se emplea un bus de variables de entrada y sus negaciones. Las negaciones se representan por la lnea que sale de la bolita en cada variable de entrada, as:

131

Figura No. 20 Ejemplo 1 Ejemplo 2. Escribir en forma normal disyuntiva la funcin f especificada en la siguiente tabla, simplificarla y dibujar el circuito lgico correspondiente. x 0 0 0 0 1 1 1 1 y 0 0 1 1 0 0 1 1 z 0 1 0 1 0 1 0 1 f 1 0 1 0 0 1 0 1

Recordando la seccin 5.9 del captulo anterior, para la forma normal conjuntiva se consideran los unos (1), por lo tanto la funcin considerada es: F(x, y, z) = x y z + x y z + x y z + x y z = x y (y + y) + x z (y + y) = x z (1) + x z (1) = x z + x z y el circuito correspondiente es el siguiente:

Figura No. 21 Ejemplo 2

132

Ejemplo 3. Escribir una expresin booleana para la salida f (x, y, z) del siguiente circuito.

Figura No. 22 Ejemplo 3 La funcin correspondiente es: f(x, y, z) = (x + y ) (y z). 6.10 APLICACIONES DE LOS CIRCUITOS LGICOS

Algunas aplicaciones elementales como los circuitos aritmticos digitales y los codificadores y decodificadores, entre otros, muestran la gran variedad de situaciones en las que se pueden utilizar los circuitos lgicos, si se tiene en cuenta que el diseo digital ha invadido casi todo el entorno del hombre, empezando por los electrodomsticos que se usan en el hogar hasta los ms sofisticados computadores, robots y dems equipos de la industria. 6.10.1 CIRCUITOS ARITMTICOS DIGITALES. Una unidad aritmtica lgica est fundamentalmente constituida por un dispositivo combinacional que permite dos entradas, las cuales pueden ser nmeros o alguna informacin codificada, en la cual se realizan todas las operaciones matemticas o lgicas que lleva a cabo un computador. A continuacin se analiza la forma de construir un semisumador y un sumador. 6.10.1.1 CIRCUITO SEMISUMADOR

Disear un CIRCUITO SEMISUMADOR consiste en construir un circuito lgico que sume dos nmeros binarios de la siguiente manera: 0 + 0 ______ 0 0 + 1 _____ 1 1 + 0 ______ 1 1 + 1 _____ 10

133

La suma de dos nmeros binarios puede estar conformada por dos cifras, como en el caso de 1 + 1 = 1 0; por esto en el diseo de un CIRCUITO SEMISUMADOR (HA) se debe tener en cuenta una salida adicional denominada el ARRASTRE. La tabla de verdad para este caso es la siguiente: A 0 0 1 1 B 0 1 0 1 S C 0 0 1 0 1 0 0 1 Suma Arrastre

La salida S la genera una compuerta XOR (o - exclusiva), de tal modo que S = A B; mientras que la salida C (Arrastre) corresponde a una compuerta AND tal que,C = AB, por lo tanto el circuito lgico se denomina un SEMISUMADOR (HA) y se representa as:

Figura No. 23 Semiconductor Su representacin esquemtica es:

Figura No. 24

134

El circuito semisumador tambin se puede realizar de la siguiente manera: S = A B = A B + AB Aplicando la doble negacin se tiene: (S) = [(A B + AB)] = [(A B) (AB)] = [(A + B) (A + B)] = {[(A + B) + (A + B)]

Anlogamente, la salida C = AB ser: (C) = [(AB)] = (A + B) Con lo cual el circuito lgico es:

Figura No. 23 circuito lgico semisumador 6.10.1.2 CIRCUITO SUMADOR

Para sumar nmeros binarios de n- bits se procede as: Dados los nmeros binarios A=A B=B A A A A B ... B B B (n- bits) (n- bits).

La suma se empieza por los bits menos significativos A , B A B ________ C S

135

Donde S, es la suma generada por estos bits y C es el bit de arrastre de la primera suma, el cual pasa a ser sumado en la siguiente columna y as sucesivamente, como se muestra en el siguiente esquema: C A=A B=B A+B=C S C A B C S C A B C S

A B C S

El resultado ser entonces: A + B = C S S S S, donde C es el bit ms significativo . Cuando se suman tres dgitos A, B, C, se genera una suma S y un arrastre C un circuito que realice esta operacin recibe el nombre de SUMADOR. A continuacin se muestran la tabla de verdad, el mapa de Karnaugh y el circuito lgico asociado. ENTRADAS C A B 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 Donde C es el arrastre de entrada y C SALIDAS S C 0 0 1 0 1 0 0 1 1 0 0 1 0 1 1 1 es el arrastre de salida.

Los mapas de Karnaugh deben ser para tres variables, los dos sumandos A , B y el arrastre de entrada C . El mapa K para la suma S es: A C C 1 B B A 1 A 1 B B A 1

La expresin booleana en forma de suma de productos es: S = A B C + A B C + A B C + A B C. El circuito lgico para la salida es:

136

Xxxxxxxx

Figura No. 24 Circuito lgico sumador Se deja como ejercicio construir el mapa k y el circuito lgico para el arrastre de salida. 6.10.2 CONTROL DE UNA ESTACIN DE COMBUSTIBLE

Una estacin de combustible se surte de tres tanques: x, y, z. Los tanques x, y deben abastecerse simultneamente para sostener el flujo, el cual puede ser mantenido solo por el tanque z, pero en ningn caso el tanque z debe funcionar si lo est haciendo los tanques x, y. Construir un circuito lgico que controle esta situacin. La tabla de verdad asociada a esta situacin es la siguiente: x 0 0 0 0 1 1 1 1 y 0 0 1 1 0 0 1 1 z 0 1 0 1 0 1 0 1 S 0 1 0 0 0 0 1 0
137

El mapa de Karnaugh es: x z z x x 1 1 x

La expresin booleana correspondiente es: S = x y z + x y z El circuito lgico correspondiente es:

Figura No. 25 circuito lgico control estacin de combustible

138

AUTO EVALUACIN No.6 1. En el siguiente circuito escribir la funcin de salida, elaborar la tabla de verdad.

2. Teniendo en cuenta el circuito anterior, a. b. c. Escribir la funcin booleana Disear el circuito utilizando la tcnica NAND Disear el circuito utilizando la tcnica NOR

3. Teniendo en cuenta la siguiente tabla de verdad, responda a), b) y c). a) Encuentre la funcin booleana utilizando la forma norma conjuntiva y disee el circuito b) Utilice la tcnica NAND y disee el circuito c) Utilice la tcnica NOR y disee el circuito 4. Teniendo en cuenta la siguiente tabla de verdad x 0 0 0 0 1 1 1 1 y 0 0 1 1 0 0 1 1 z 0 1 0 1 0 1 0 1 f 1 1 1 0 1 0 0 0

139

a) Utilizando la forma normal disyuntiva encontrar la funcin booleana y disear el circuito correspondiente. b) Utilizando la tcnica NAND, disear el circuito c) Utilice la tcnica NOR y disee el circuito correspondiente. 5. Construir el mapa de Karnaugh, la expresin booleana y el circuito lgico que permita controlar una lmpara desde tres interruptores colocados en los pasillos de una edificacin. Tenga en cuenta la siguiente tabla de verdad. x 0 0 0 0 1 1 1 1 y 0 0 1 1 0 0 1 1 z 0 1 0 1 0 1 0 1 L 0 1 1 0 1 0 0 1

140

INFORMACIN DE RETORNO No. 6 1. La funcin de salida es: f(x, y, z) = xyz + x yz + xyw. La tabla de verdad correspondiente es: x 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 2. y 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 z 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 w 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 x 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 y 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 z 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 xyz 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 x yz 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 xyw 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 f 1 1 0 1 0 0 0 0 1 1 0 0 0 0 0 0

a) f(x, y, z, w) = xyz + x yz + xyw b) El circuito con la tcnica NAND es: f = [(xyz + x yz + xyw)] f = xyz + x yz + xyw

141

5. x z z 1 y x 1 y 1 y x x 1 y

La expresin booleana correspondiente es: L = x y z + x y z + x y z + x y z El circuito lgico es:

142

EJERCICIOS DE PROFUNDIZACIN No. 6 1. En un proceso de produccin hay tres motores de los cuales slo pueden trabajar dos a la vez, adems, ningn motor puede funcionar si no est trabajando un cuarto motor W que hace circular el aceite lubricante. Construir un circuito lgico que controle estos cuatro motores, teniendo la siguiente tabla de verdad: x 0 0 0 0 1 1 1 1 y 0 0 1 1 0 0 1 1 z 0 1 0 1 0 1 0 1 w 1 1 1 1 1 1 1 1 F 0 0 0 1 0 1 1 0

2. En una central de control de trfico un panel muestra los puntos neurlgicos y enciende una luz de alarma cuando las condiciones mnimas de seguridad previstas no se dan. La siguiente figura muestra uno de esos puntos neurlgicos, en el cual pueden entrar en E sin peligro de colisin al mismo tiempo vehculos de: a) xz b) zw c) Solamente x, y, w, z. w x y z Disee el circuito lgico que controla la alarma. Tenga en cuenta la siguiente tabla de verdad ENTRADA y z 0 0 0 0 0 1 0 1 1 0 1 0 1 1 1 1 0 0 SALIDA ALARMA ACEPTABLE 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 E

x 0 0 0 0 0 0 0 0 1

w 0 1 0 1 0 1 0 1 0

143

1 1 1 1 1 1 1

0 0 0 1 1 1 1

0 1 1 0 0 1 1

1 0 1 0 1 0 1

1 0 1 1 1 1 1

0 1 0 0 0 0 0

144

RESPUESTAS A EJERCICIOS DE PROFUNDIZACIN No. 6 1. La expresin booleana correspondiente es: f (x, y, z) = x y z w + x y z w + x y z w, la cual puede ser escrita como: f (x, y, z) = x w (y z + y z) + x y z w. 2. La ecuacin booleana es: A=xw+yw+yz+xy = W (x + y) + y (x + z)

145

BIBLIOGRAFA

COPI, Irving, COHEN, Carl. Introduccin a la Lgica. Limusa, Mexico 2002. GOMEZ, Carlos, GOMEZ, German, BOTERO, William. Matemtica Digital. Mc Graw Hill. Bogot 1998. SCHEINNERMAN, Edward. Matemticas Discretas. Thomsom-Learning. Mexico 2001. LIPSCHUTZ, Seymor. Teora de Conjuntos. Mc Graw Hill. Bogot 1980. SMITH, Kart. Introduccin a la Lgica Simblica. Iberoamericana. Mexico 1991. GALINDO, Nubia Janeth. Lgica Matemtica. Unad. Colombia 1998. SUPPES, Patrick, HILL, Shirley. Introduccin a la Lgica Matemtica. Revert. Colombia 1976. GUTIERREZ, Fabio. Lgica. Una sntesis didctica. Fund. Universitaria de Boyac. Colombia 2001.

Direcciones de sitios web. http://www.cibernous.com/logica/ http://www.cnice.mecd.es/eos/MaterialesEducativos/mem2003/logica/logica/01concbas icos/130formalmat.html http://www.monografias.com/trabajos10/clasi/clasi.shtml http://w3.mor.itesm.mx/~logica/log9908/lc.html http://minerva.filosoficas.unam.mx/~Tdl/03-1/0424LunaBib.ppt http://www.monografias.com/trabajos/iartificial/pagina4_1.htm http://www.monografias.com/trabajos/iartificial/pagina4_1.htm http://www.ucsm.edu.pe/rabarcaf/Introducci%C3%B3n%20a%20la%20L%C3%B3gica /2.%20L%C3%B3gica%20Proposicional.doc http://docencia.udea.edu.co/SistemasDiscretos/contenido/capitulo_01.html

146

147