R R

LGICA MATEMTICA L L L L

GEORFFREY ACEVEDO GONZLEZ L L primera versin 2005: NUBIA JANETH GALINDO PATIO L L L L L L L L L L L L L L L L L L L L L

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA . UNAD . ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA UNIDAD DE CIENCIAS BSICAS Bogot D. C, 2007

COMIT DIRECTIVO L Jaime Alberto Leal Afandor a ector R Gloria Herrera Vicerrectora Acadmica y de Investigacin R R R Roberto Salazar Ramos Vicerrector de Medios y Mediaciones Pedaggicas R R R Maribel Crdoba Guerrero Secretaria General R MDULO RLGICA MATEMTICA RSEGUNDA EDICINR Copyrighto Universidad Nacional Abierta y a Distancia ISBN 2007 Bogot, Colombi%

L OH Ldicha Lde L entender, Lmayor Lque Lla Lde L imaginar Lo Lla Lde Lsentir! L Borges. L L L Introduccin L L Este mdulo est concebido para ser un curso introductorio al apasionante mundo ode la lgica Matemtica, ha sido diseado para ser un curso transversal a todos los oprog ramas acadmicos de la UNAD. Para leer el mdulo slo se necesitan los conceptos de conjuntos numricos, y ooperaci ones algebraicas como destruccin ode osignos ode oagrupacin, ofactor ocomn, oecuaci ones e inecuaciones de primer grado que pueden ser adquiridos de manera simultnea. La intencin es que el estudiante pueda aprender de este mdulo por s mismo, en oeste sentido es un texto escrito ms para los estudiantes que para el profesor.o En el primer captulo, analizaremos las diferentes operaciones entre conjuntos, ta les ocomo unin, interseccin y complemento, entre otras operaciones, que nos permit irn ollegar a la compresin de los conectivos lgicos usados en el lenguaje natural, partiendo ode una representacin grfica. A la par desarrollaremos las destrezas lgic o matemticas, dando solucin a problemas como ste: o .De acuerdo con una encuesta virtual realizada a cincuenta estudiantes de la eUN AD, elos eamantes ede ela emsica ede eJuanes eson e15; emientras eque elos eque e nicamente gustan de la msica de Chaquira son 20, Cuntos son fanticos de los edos eart istas esi e10 ede elos encuestados, entre elos e25 eque eno eson efanticos ede eC haquira, afirman ser fanticos de Juanes?.. El segundo captulo tiene el objetivo de ser una herramienta que permite adquirir ohabilidades para comprender conceptos como los conectivos lgicos oque ousamos od iariamente en nuestro leguaje y que pocas veces nos detenemos a analizar y comprender, por ejemplo, nuestro amigo Boole afirma que cuando gane su equipo Lp redilecto har fiestaL, pasado un tiempo encontramos que Boole est festejando pero oque su equipo predilecto ha perdido, Se est contradiciendo el amigo Bole?, en est e ocurso descubriremos y analizaremos el conectivo lgico oque oha ousado oBole oe n osu oafirmacin, para concluir que no se ha contradicho.o Identificar los conectivos lgicos, olas opremisas oy ocomprender osu ofuncin oen o el olenguaje nos permitir odisear ofrases ocada ovez oms ocomplejas osin oque ose o pierda ola ocoherencia en la construccin gramatical. o

Posteriormente aprenderemos ha hacer simplificaciones de expresiones complejas o difciles de descifrar usando el lenguaje natural, para ello utilizaremos leyes expresadas opor medio de smblos. Por ejemplo, al expresar en lenguaje natural que .Es falso que LAugustus no mienteL, por medio de la lgica aprendemos a llegar a la simplificacin: o Augustus LmienteL outilizando oleyes olgicas obsicas oque onos opermiten ovalidar ola osimplificacin hecha con un argumento ms all de la simple intuicin. o Otra interesante aplicacin ode ola olgica oes oen oel oproceso ode ovalidar onuest ros oargumentos. Por ejemplo, analicemos que puede concluirse de la siguiente af irmacin: oSi Lllueve hace fro., posteriormente Locurre que hace fro.,Les entonces co rrecto concluir oque llueve?, por medio de la lgica transformaremos esta expresin en lenguaje simblico oque posteriormente podremos analizar por medio de una tabla de verdad y descubrir en que caso especfico el argumento se contradice.o En el mundo de la argumentacin osiempre oestamos outilizando ounos oprincipios olg icos bsicos que estudiaremos en este apasionante curso, permitindonos mejorar en o la construccin de argumentos fuertes, basados en los cimientos de la lgica.o Agradezco a toda la comunidad acadmica su valiosa colabracin.o L Que estas pginas os brinden muchas horas de diversin.o Georffrey Acevedo G. L L L L

Unidad ^ 11 L L Teora de conjuntos y L principios de Lgica. L

: : Captulo ^ 11 e : Teora de conjuntos L L L L L

UR L L L L L L L L L L L L

ARBRCR

LObjetivo general L Estudiar, analizar y profundizar los conceptos fundamentales de la teora de conju ntos, bsicos para llegar oa la comprensin ode los conectivs lgicos y osu relacin con el ol enguaje natural, a la vez que son aplicados en la solucin de problemas.o Objetivos especficos L L 1. 2. 3. 4. 5. L Identificar las relaciones entre conjuntos. Distinguir las diferentes clases de conjuntos. Representar grficamente los conjuntos.o Realizar las diferentes operaciones entre conjuntos. Resolver problemas con conjuntos.

1.1 Definicin y generalidades L 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 tant o permiten oresolver problemas que involucran el concepto de cantidad. Se puede afirmar que un conjunto es una coleccin de objetos, smblos o entidades bi enodefinidas, que reciben el nombre de miembros o elementos del conjunto.

Representacin grfica L 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.LEst os esquemas estn compuestos por una regin cerrada del plano (generalmente un orectn gulo), la cual representa el conjunto universal, y por uno o varios crculos que o representan los conjuntos a graficar. Generalmente, los conjuntos se identifican con letras maysculas y sus elementos c on ominsculas.o ..Para indicar que un elemento es un miembro de un conjunto, se utiliza el smblo o.. (se lee Lpertenece a)y ..para indicar que no esta en el conjunto se utiliza el smblo L .. (se lee no pertenece a). L Esta es la representacin grfica correspondiente:o L L L Lx . A Lx . A R L R ARURx R UR L L L L L

Figura No. 1 ARx R

LFormas para determinar un conjunto: L

Bsicamente existen dos formas para determinar un conjunto, stas son:o 1. Por extensin: L Un conjunto est determinado por extensin cuando se describe el conjunto nombrando cada uno de sus elementos. Por ejemplo: e A= {2, 4, 6, 8} BL= {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} CL= {1, 3, 5, 7, 9, 11, 13, 17, 19,.M DL= {a, e, i, o, u } 2. Por comprensin: L Un conjunto est determinado por comprensin cuando se nombra una propiedad, una ore gla o una caracterstica comn a los elementos del conjunto. Por ejemplo:o CL= {Nmeros impares menores que 10}oDL= {Vocales} BL= {Dgitos}o enguaje: LE = {x .R / 0 = x < 9},Len este caso se utiliza un lenguaje muy especfi co, el cual se lee oas:o E igual al conjunto de todos los nmeros reals tals que (o que verifican que) cero (0) es emenor o igual a x, :y, : :x a su vez es menor que 9, esta notacin se usa con mucha ofrecuencia para describir intervalos, para escribir la solucin de una inecuacin o para orepresentar el dominio de una funcin real.o LConjuntos Infinitos: L Existen conjuntos como por ejemplo: A = {x . R / 0 = x < 9} Z = {x . N / x es par} L Que no se pueden expresar por extensin debido a que nunca se terminara de escribir la olista de los nmeros reales que pertenecen al conjunto A, o, los naturales qu e pertenecen a Z, este tipo de conjuntos, reciben el nombre de INFINITOS;

Conjuntos Finitos: L Mientras que otros, como por ejemplo: C = {x / x es vocal} D = {x / x es dgito par} L Que estn formados por cierto nmero de elementos distintos, reciben el nombre deoco njuntos FINITOS. Todos los conjuntos que se nombran por comprensin, se pueden escribir por extensin? o L El anlisis oanterior, opermite odar orespuesta oa oesta opregunta, ose osugiere o buscar oms oejemplos que justifiquen la respuesta para que sean analizados con el tutor y luego socializados en los equipos de trabajo. 1.2.4 LConjuntos especiales L1.2.4.1 Conjunto vaco L Un conjunto que carece de elementos se denomina conjunto vaco y se simbliza as:o UR { } . 1L L L LARA = . RFigura No. 2. Naturalmente el conjunto . forma parte de cualquier conjunto A, por lo cual se puede afirmar que: . . A L El conjunto (vaco) es un subconjunto de todo conjunto?o Ejemplo 1. L Si D = {x . N / x . x ),Lobviamente DLes un conjunto que carece de elementos, pu esto que no existe ningn nmero natural que sea diferente a s mismo.o

Conjunto unitario: L Se denomina conjunto unitario al conjunto formado por un slo elemento. o URAR7 RFigura No. 3 A = Conjunto Unitario LA = {7} L R Ejemplo: L E={x / xesunprimopar} El nico nmero que cumple las dos condiciones (ser primo y a la vez par) es el nmero 2, por lo tanto E = {2}Lse llama unitario. 1.2.4.3 LConjunto universal L Cuando se habla o se piensa en los conjuntos, es conveniente establecer la natur aleza de sus elementos, por ejemplo:

Los elementos del conjunto A = {a, e, i}Lpertenecen al conjunto de las vocales, V = {a, e, i, o, u}, es decir, A . V, este conjunto VLconstituye el universo del conjunto A, p or esta razn% se dice que VLes un conjunto Universal. URARa Re Ri Ro Ru RFigura No. 4 U = Conjunto Universal L LA = {a,e,i} L LU = V = {a,e,i,o,u} R Similarmente, si A = {x . N / x es primo}Lsus elementos son elementos del conjun to de los nmeros naturales .NL, A . NLy en este caso, NLse constituye en el conjunto un iversal. Generalmente, el conjunto universal se simboliza con la letra U.

Conjunto de partes o conjuntos de conjuntos L Si A es un conjunto, el conjunto de partes de A, escrito como P(A) est formado po r todos olos subconjuntos que se pueden formar del conjunto A. Ejemplo 1. L Si A = {1, 3, 5}, entonces el conjunto de partes de ALesta formado por los sigui entes subconjuntos: P (A) = {{1}, {3}, {5}, {1,3}, {1,5}, {3, 5}, {1, 3, 5}, .}. L L . . P(A) y L2n subconjuntos L LNote que: LComo ya habamos analizado, el conjunto vaco est en todo conjunto y este caso no es la oexcepcin, por esta razn . . P(A).LAdems, cave anotar que los elemen tos del conjunto oALson a su vez conjuntos, por lo que se dice que el conjunto P (A)Lconstituye una familia Lde conjuntos. L El nmero de elementos del conjunto P(A)Ldepende del nmero de elementos de A; en el oejemplo, ALtiene 3 elementos y P(A)Ltiene 8 = 23Lelementos, en general, .Si A tiene nelementos se pueden formar 2n subconjuntos del conjunto A.. Cuntos y cules son los subconjuntos que se pueden formar de un conjunto o A = { 1,3,5} ? Ejemplo 2. L Sea B = {2, {1, 3}, 4, {2, 5}}.LBLno es una familia de conjuntos porque algunos elementos de BLson conjuntos y otros no. Para que el conjunto BLfuera un conjunto de parte s o una familia de conjuntos debera estar expresado de la siguiente forma:o B = { {2}, {1,3}, {4}, {2,5} }. L

Relaciones entre conjuntos L1.1.1 LSubconjuntos LUn conjunto ALes un subconjunto de un conjunto B, si todo elemento del conjunto A tambin es elemento del conjunto B. Simblicamente esta relacin se expresa as:o A . B (se lee A esta contenido en B) L si todo elemento x que est en el conjunto A entonces ox tambin est en B, es decir; o L Ejemplo 1: L Si A = {x / x es dgito par}Ly B = {x / x es dgito},Lclaramente A . BLya que todo dgito par es dgito. Por extensin la situacin se expresa as:o A = {2, 4, 6, 8} Ly B = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} LEntonces A es un subconj unto de B. Un resultado muy til oe oimportante oacerca ode ola ocontenencia oentre oconjunto s oes oel% siguiente: Si ALes un subconjunto de BLy BLes un subconjunto de C, entonces, ALes un subcon junto de C; simblicamente este enunciado se escribe asD L LS A . B y B . C, entonces, A . C L A .B si todo x .A, entonces x .B LBRARURA . B Lx . A Lx . B Rx RFigura No. 5 C RU RA . B LB . C L______ LA . C Lx . A LA Rx RB RFigura No. 6 La demostracin es la siguiente: e e

S x . A; entonces x . BLporque A . B, pero xLtambin esta en n porque% B . C; por lo tanto si x.A, entonces x . C y esto se cumple para todo elemento x Lque est en A, debido a que el conjunto A esta contenido en el conjunto BLy BLa su vez , esta contenido en C; por consiguiente queda demostrado que A . C. Si A, BLy CLson tres conjuntos no vacos que verifican las condiciones A . BLy B . LC, qu se puede concluir de A con respecto a C? 1.2.2 Igualdad entre conjuntos L El conjunto A es igual al conjunto B si ambos conjuntos tienen los mismos elment os, es edecir, esi etodos elos elmentos ede eA pertenecen ea eB ey esi etodos el os elmentos ede eB epertenecen al conjunto A. La igualdad entre conjuntos se sim boliza de la siguiente forma: A=B si A . B y B . AL BRUR A . B B . A ______ B = A R Figura No. 7. Ejemplo 1. L Si M = {1, 1, 0, 2}Ly N = {2, 1, 0, 1}, claramente se observa que M . NLy que N . M, por lo tanto M = N. Ejemplo 2. L Si A = {x / x es dgito} y B = {x / x es dgito par},Lse puede observar que B . Aper o A L . B, por lo tanto el conjunto Ano es igual al conjunto B, lo cual se escribe, A . B. U RARFigura No. 8 B . A LA . B L______ LA . B R

Conjuntos Completamente Diferentes o Disyuntos: Es importante destacar que cuando dos conjuntos son completamente diferentes (no tienen ningn elemento en comn) reciben el nombre de conjuntos disyuntos.o BRURAR7 R1 R5 R2 R9 RFigura No. 9. A . B y LB . A y no hay Lelementos Lcomunes L R Ejemplo 3. L Los conjuntos A = {x / x es dgito par}Ly B = {x / x es dgito impar}Lno tienen ningn oelemento en comn, es decir Ay BLson disyuntos. 1.2.3 Subconjunto propio L 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:o B . A (se lee B est contenido o es igual al conjunto A) L Ejemplo 1. L 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,Llo cual permite afirmar que A es subconjunto propio de A,y BLes subconjunto propio de A. Ejemplo 2. L Los conjuntos A = {1, 2, 3}, B = {1, 3}, C = {0, 2}Ly D = {1}Lson todos subconju ntos del conjunto M = {0, 1, 2, 3},Lpero ninguno es un subconjunto propio de M, ya que co n ninguno se puede establecer alguna de las relaciones siguientes: LA . M, B . M, C . M, D . M L

Operaciones entre conjuntos As como las operaciones suma, resta, multiplicacin y divisin estn definidas sobre lo s nmeros reales, tambin existen operaciones definidas entre los conjuntos como la un in, interseccin, complemento, diferencia, diferencia simtrica y producto cartesiano; st as se estudiarn en las siguientes secciones. 1.Unin Si A y B son dos conjuntos no vacos, se define la unin entre A y B como el conjunt o 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). La parte subrayada representa la unin entre los conjuntos A y B. A B U A . B A B U 8 9 U = {1,2,3,4,5,6,7,8,9} A = {1,2,3,4} B = {5,6,7} A . B = {1,2,3,4,5,6,7} 3 2 1 4 5 6 7 Figura No. 10.

Caso 2. Que los conjuntos tengan slo unos elementos en comn. Caso 3. Que un conjunto este contenido en el otro. la parte sombreada indica la operacin. Ejemplo 1. Si A = {x . N / x es dgito par o dgito primo}, grficamente la representacin de est unin es: La figura No.3 permite apreciar que el nico dgito que es a la vez par y primo es e l nmero 2; esto conlleva a la formulacin de la siguiente operacin entre conjuntos: A B U 8 9 U = {1,2,3,4,5,6,7,8,9} A = {1,2,3,4,5,6} B = {5,6,7} A . B = {1,2,3,4,5,6,7} 3 2 1 4 5 6 7 A U 8 9 U = {1,2,3,4,5,6,7,8,9} A = {1,2,3,4,5,6,7} B = {5,6,7} A . B = {1,2,3,4,5,6,7} 3 2 4 1 B 5 6 7 U A B U = {1,2,3,4,5,6,7,8,9} A = {1,2,3,5,7,9} B = {2,4,6,8} A . B = {1,2,3,4,5,6,7,8,9} 3 7 1 5 2 8 4 Figura No. 13 9 6 Figura No. 12 Figura No. 11

2. InterseccinL Se define la interseccin entre dos conjuntos ALy BLcomo el conjunto formado por t odos los elementos que pertenecen simultneamente al conjunto Ay al conjunto B. Simblicamente la interseccin se expresa as:o A . B = {x / x . A, . ,x . B} L el smblo .. se lee interseccin y el smblo .. se lee y. Caso 1. Que los conjuntos no tengan ningn elemento en comn. (conjuntos Ldisyuntos) . L La parte subrayada representa la unin entre los conjuntos A y B. U= {1,2,3,4,5,6,7,8,9} A= {1,2,3,4} B= {5,6,7} A . B = { }L ARBRUR8 R9 R3 R2 R4 1R5 R7 6 RFigura No. 14. Se puede observar que cuando dos conjuntos son diferentes, su interseccin es vaca y olos conjuntos se llaman disyuntos, como ya se haba mencionado; o Caso 2. Que los conjuntos tengan slo unos elementos en comn. LFigura No. 15 U = {1,2,3,4,5,6,7,8,9} A = {1,2,3,4,5,6} B = {5,6,7} A . B = {5,6 }LARB RUR8 R9 R3 R2 R4 1R7 R5 R6 R

Caso 3. Que un conjunto este contenido en el otro. L La parte sombreada indica la operacin:o ARUR8 R9 RU = {1,2,3,4,5,6,7,8,9} A = {1,2,3,4,5,6,7} B = {5,6,7} A . B = {5,6,7 } = BL3 2 R4 1RB R5 R7 6 RFigura No. 16 LEsto permite afirmar que si A . B, entonces. A . B = A; anlogamente se puede inf erir oque si B . A, entonces, A . B = B.L A continuacin se realiza la demostracin analtica para el caso 3 de la figura No. 16 , la otra situacin si B . A,Lentonces, A . B = B, se deja como ejercicio complementari o (se encuentra al final del captulo), esta demostracin es muy similar a la que se har a ocontinuacin, sin embargo la puede consultar en el libro, Teora de conjuntos de Se ymour oLipschutz. Si A . B, por definicin ode contenencia entre conjuntos ose puede oafirmar que to do oelemento x . A, entonces x . B; por definicin de interseccin, stos elementos xL forman el conjunto A . BLy como todos estos son elementos de A, se puede conclui r que A . B = A. Ejemplo 1. L Dados los conjuntos: ML= {x . N / xes mltiplo de 2M NL= {x . N / xes mltiplo de 3M PL= {x . N / x es impar} Se pueden analizar las siguientes intersecciones: 1. M . NL= {6, 12, 18, 24, 36,.}, escrito por comprensin es:oM . NL= {x . N / xes mltiplo de 6}.o 2. M . P = ., no existe ningn nmero natural que sea mltiplo de 2Ly a la vez impar. 3. . . M =., El conjunto vaco est contenido en cualquier conjunto, en particular en o M, esto es . . M, luego se puede concluir que . . M = ..L 4. Para hallar la interseccin M . N . P, se puede encontrar la interseccin de MLcon NLy luego con el conjunto P, es decir, hay que encontrar los elementos que estn e n olos tres conjuntos: M, N y P. L

En este caso M . NL= {x . N / x es mltiplo de 6} y ste intersecado con el conjunto PLest formado por los mltiplos de 6 que son impares, es decir, M . N . P = {x . N / x es Limpar y mltiplo de 6}, por extensin el conjunto es:o M . N . P = .,Lpues no existe ningn nmero natural que sea a la vez impar y mltiplo de o 6. Representa el ejemplo anterior mediante diagramas de Venn U = M = N = M . N = L LM . P = L LM . N . P = M RNU R R R R RFigura No. 17 R RPR 3. LDiferencia L Segn los tres casos estudiados, se puede afirmar que al comparar dos conjuntos no vacos, puede suceder que:o 1. No tengan ningn elemento en comn, (conjuntos totalmente diferentes).o 2. Slo algunos elementos sean comunes, (conjuntos parcialmente diferentes o oparcial mente iguales) 3. Un conjunto este contenido en el otro. 4. 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 difere ncia entre conjuntos. Si Ay BLson dos conjuntos no vacos, entonces se define la diferencia entre Ay BLa s:oA . B = {x / x . A, ., x . B} LEsto se lee: ALmenos B, es el conjunto formado por los elementos que estn en el oconjunto A pero no en el B. En la siguientes grficas, la parte sombreada representa la diferencia entre los c onjuntos ALy B. LCaso 1. Que los conjuntos no tengan ningn elemento en comn. (conjuntos Ldisyuntos ). L AR8 RBRU = {1,2,3,4,5,6,7,8,9} A = {1,2,3,4} 3 R2 R6 R7 RB = {5,6,7}

Se puede observar que cuando dos conjuntos son diferentes, su diferencia es vaca y los oconjuntos se llaman disyuntos, como ya se haba mencionado; o L Caso 2. Que los conjuntos tengan slo unos elementos en comn. LU = {1,2,3,4,5,6,7,8 ,9} A = {1,2,3,4,5,6} B = {5,6,7} A - B = {1,2,3,4}LARBRUR8 R9 R3 R2 R4 1R7 RFigura No. 19 5 R6 R Caso 3. Que un conjunto este contenido en el otro. L La parte sombreada indica la operacin.o ARUR8 R9 R3 R2 R4 1RB R5 R7 6 RFigura No. 20 U= {1,2,3,4,5,6,7,8,9} A= {1,2,3,4,5,6,7} B= {5,6,7} A - B = {1,2,3,4} B -A={} LEn la figura 20, se puede observar que todos los elementos que estn en B, estn e n AL(debido a que B . A),Lpor lo tanto no existe ningn elemento que pertenezca a la odiferencia B . Ay en consecuencia B . A = ..LSurge ahora, la siguiente inqui etud: Cul ser la diferencia entre Ay B (A . B)Lcuando B . A? Esta pregunta se plantea formalmente en el numeral 4Lde los ejercicios complemen tarios y el propsito es realizar la demostracin con el apoyo del tutor.o

L L L L L L L L L LARUR6 5R4 1RB R2 R7 3 RFigura No. 21 89R0 RARUR6 5R4 1RB R2 R7 3 RFigura No. 21 89R0 R Ejemplo 1. L Dados los conjuntos A = {x / x es un dgito}Ly B = {0, 2, 3, 7}Lhallar A . BLy B . ALy hacer la representacin grfica.o Para efectuar estas operaciones se escriben los conjuntos por extensin, as:o A = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}Ly B = {0, 2, 3, 7},Lentonces: A . B = {1, 4, 5, 6, 8, 9}Ly B . A = .,L U= {0,1,2,3,4,5,6,7,8,9} A= {0,1,2,3,4,5,6,7,8,9} B= {0,2,3,7} A - B = {1,4,5,6,8,9} L B -A={} L4 Diferencia simtricaL Se define la diferencia simtrica entre dos conjuntos no vacos ALy B, como el conju nto formado por los elementos que pertenecen al conjunto ALo al conjunto B, pero no pertenecen simultneamente a ambs conjuntos.o Simblicamente la diferencia simtrica entre Ay BLse escribe as:o A . B = {x / x . A, ., x . B, ., x . A . B}.

En la siguientes grficas, la parte sombreada representa la diferencia simtrica ent re los oconjuntos Ay B. Caso 1. Que los conjuntos no tengan ningn elemento en comn. (conjuntos Ldisyuntos) . L ARB8 R9 R3 R2 R4 1R5 R7 6 RFigura No. 22. U= {1,2,3,4,5,6,7,8,9} A= {1,2,3,4} B= {5,6,7} A . B = {1,2,3,4,5,6,7} B . A = {1,2,3,4,5,6,7i Se puede observar que cuando dos conjuntos son diferentes, su diferencia simtrica es o vaca y los conjuntos se llaman disyuntos. LCaso 2. Que los conjuntos tengan slo unos elementos en comn. LU = {1,2,3,4,5,6,7, 8,9} A = {1,2,3,4,5,6} B = {5,6,7} A . B = {1,2,3,4,7} LB . A = {1,2,3,4,7}LFigura No. 23 ARBRUR8 R9 R3 R2 R4 1R7 R5 R6 R Caso 3. Que un conjunto este contenido en el otro. L La parte sombreada indica la operacin.o ARUR8 R9 RU = {1,2,3,4,5,6,7,8,9} A = {1,2,3,4,5,6,7} B = {5,6,7} A . B = {1,2,3,4} LB . A =L{1,2,3,4}L3 2R41RB R5 R7 6 RFigura No. 24 Ejemplo 1.

Si A = {x / x es una letra de la palabra INGENIERIA}Ly B = {x / x es una letra d e la Lpalabra SISTEMAS}, entonces A . B = {N, G, R, M, S, T}.L Ejercicio propuesto: L Representa el ejemplo anterior mediante diagramas de Venn A RBRUR R R R RFigura No. 25 R R U R= LA = LB = RA . B = RA . B = RA . B = L Ejemplo 2. L Dados los conjuntos M = {1, 2, 3, 4}Ly N = {4, 5}, la diferencia simtrica entre M Ly NLes: M . N = {1, 2, 3, 5},Lclaramente se puede observar que el nmero 4, no pertenece a la odiferencia simtrica porque forma parte de la interseccin entre MLy N. Ejercicio propuesto: L Representa el ejemplo anterior mediante diagramas de Venn A RBRUR R R R RFigura No. 26 R R U R= LA = LB = RA . B = RA . B = RA . B = L 5. Complemento L Si Aes un conjunto no vaco, el complemento de A, simbolizado por A., est formado p or otodos los elementos que no pertenecen al conjunto A, es decir,

A. = Ac = A* = ~A = . A = A = {x / x . A} En la siguientes grficas, la parte sombreada representa el complemento del conjun to A. 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. La parte sombreada indica la operacin. 8 9 U = {1,2,3,4,5,6,7,8,9} A = {1,2,3,4} B = {5,6,7} A. = {5,6,7,8,9} 3 2 1 4 5 6 7 Figura No. 27. A B Figura No. 28 U = {1,2,3,4,5,6,7,8,9} A = {1,2,3,4,5,6} B = {5,6,7} A. = {7,8,9} U 8 9 7 A B 1 4 3 2 6 5 U = {1,2,3,4,5,6,7,8,9} A = {1,2,3,4,5,6,7} B = {5,6,7} A. = {8,9} Figura No. 29 A U 8 9 3 2 1 4 B 6 5 7 A

Ejemplo 1. L Al considerar el conjunto universal como el conjunto de los estudiantes de Ingen iera de osistemas de la UNAD y ALcomo el conjunto de los estudiantes que estn en e l primer osemestre, el complemento del conjunto AL(A.) ser el conjunto formado po r todos los oestudiantes de ingeniera de sistemas de la UNAD que no cursan primer semestre, esto oes: UL= {x . UNAD / x estudia ingeniera de sistemas}.oA= {x . Ingeniera de sistemas / x . Primer semestre}. A..= {x . Ingeniera de sistemas / x . Primer semestre}. 1.4.6 Producto Cartesiano L Par ordenado o pareja ordenada: La expresin (x , y )Lrepresenta una pareja ordenada , que cumple la condicin de qu e su% primera componente, (.xL) opertenece oal oconjunto oALy la segunda componente (. yL) % pertenece al conjunto B. Plano cartesiano: Los pares ordenados (x,y),L(-x,y), (x,-y), (-x,-y)Lse representan en el plano ca rtesiano como sigue: x-x -y y(-x,y) R(x,y) R(-y,-x) R(x,-y) RY RX RFigura No. 30 LProducto Cartesiano: LSi Ay BLson dos conjuntos no vacos, se define el producto cartesiano entre Ay BLas:o A X B = {(x , y ) / x L A , , y L B }. L Ejemplo 1. Si A = {1, 2,3} y B = {-1, 0, 2} el producto cartesiano de A X B es: 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 BXAes L LB X A = {(-1,1),(-1,2),(-1,3),(0,1),(0,2),(0,3),(2,1),(2,2),(2,3)} L De donde se observa que el producto cruz no es conmutativo, es decir:

LA x B . B x AL Se puede observar que el producto cartesiano entre A y B no es conmutativo, pues to que la pareja ordenada ( x, y ) es diferente a la pareja ordenada ( y, x ), en parti cular, (-1,1) es Ejercicio propuesto: L Realiza el siguiente producto cartesiano y luego ubica los pares ordenados en el plano cartesiano: Si A = {2,3} y B = {1, -2} A x BLes: diferente a (1, -1) y ( 1,1) es diferente a (-1,-1). La siguiente grfica muestra la diferencia. 1-1 -1 1(-1,1) R(1,1) R(-1,-1) R(1,-1) RY RX RFigura No. 31 Figura No. 32

lgebra de conjuntos L Propiedades de las operaciones entre conjuntos L L Las siguientes cuatro propiedades, son vlidas opara olas operaciones ode ounin oe ointerseccin:o a. Leyes de idempotencia: L L AUA =A A n A = Ao L L b) Leyes asociativas: L L (A U B) U C = A U (B U C) (A n B) n C = A n (B n C)o L b. Leyes conmutativas: L L AUB =BUA A n B = B n Ao L d) Leyes distributivas: L L A U (B n C) = (A U B) n (A oU C) A n (B U C) = (A n B) U (A n CL L Las siguientes propiedades estn relacionadas con los conjuntos Universal .UL y va co .: L e) Leyes de identidad: L L AUU =U A n U = AoAU = AoA n = o L Propiedades con respecto al complemento.

L f) Leyes del complemento: L L A U A' = UA n A = (A')' = A = Uo L g) Leyes de D.Morgan: (A U B)' = A' n B o(A n B) = A U B o

Estas leyes se pueden representar grficamente de la siguiente forma:o a) Leyes de idempotencia: L AUA =A A n A = Ao Qu obtenemos de interceptar el conjunto A con l mismo? L Qu pasa si unimos A con A? : L U U R U RA R A = UL = n A R Figura No. 33 b) eyes de identidad: AUU =U A n U = AoAU = AoA n = L L Qu se obtiene de unir el conjunto A con el universo? : LUL=LFigura No. 34 ARU RU RU R Qu se obtiene de unir el conjunto A con el vaco? : ARU RU RU RUL=LAR Figura No. 35

Qu tienen en comn A y el universo? U R U U R=L Figura No. 36 A R n Qu tienen en comn A y el vaco? : A R U R n c) Leyes del complemento: L L U R=L Figura No. 37 A R U R LAUA' =U A n A o(A')' = A

Qu se obtiene de unir A con lo que no es A? L = = U LFigura No. 38 A RU RU RU RUL=LA R

Qu tienen comn A con lo que no es A? d) Leyes de D. Morgan: (A U B)' = A' n B (A n B) = A U B La demostracin grfica de (A U B) = A n B es la siguiente: As hemos encontrado el rea que representa a la primera parte de la igualdad, ahora representamos la segunda parte, se espera que los resultados sean iguales: Ejercicio propuesto: Realiza la demostracin grfica del teorema de D. Morgan para: (A n B) = A para ello subraya el rea correspondiente. Figura No. 39 A U U U n = A U 8 9 7 A B 1 4 3 2 6 5 A U B U 8 9 7 A B 1 4 3 2 6 5 (A U B). Figura No. 40 9 A. U 8 7 A B 1 4 32 6 5 U B. 8 9 7 A B 1 4 3 2 6 5 U A n B 8 9 7 A B 1 4 3 2 6 U B

Primera parte 9 RU R8 R7 RARBR4 13R2R6 R5 RU R8 R9 R7 RARBR4 13R2R6 R5 RU R8 R9 R7 RARBR4 13R2 R6 R5 R ______L____L_______ L Segunda parte de la igualdad A U B : 9 RU R8 R7 RARBR4 13R2R6 R5 RU R8 R9 R7 RARBR4 13R2R6 R5 RU R8 R9 R7 RARBR4 13R2 R6 R5 R ______L____L_______ L Figura No. 41 Las anteriores leyes estn formuladas por pares, lo cual verifica la naturaleza du al de la

teora de conjuntos.oEjercicio propuesto: LSimplifica usando las leyes del lgebra B oleanao L1) L( (A n B) ). L6) (A. n U. ) L2) L(A. ) . n ( ( (B) ) . ) L7) L(A n A) U (A U A ) L3) (A U A ) U B L8) L(A U A. ) L4) (A n ) L5) L(A n . ) L9) L(A. n A. ) U A L10 ) . U U. ) n A L

Principio de dualidad Si se intercambian las operaciones unin (U) por interseccin (n), 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) n (A U ) = A es: ( n B) U (A n U) = A Tomando la primera parte y por las leyes de identidad se tiene que: (U U B) n (A U ) U n A = A Ahora, considerando la segunda y nuevamente aplicando las leyes de identidad se tiene que: ( n B) U (A n U) U A = A Con lo cual queda demostrado. Ejemplo 2. Demostrar que el dual de (A n B) U (A n B ) = A es (A U B) n (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: Figura No.42 primera parte 9 A U 8 7 A B 1 4 3 2 6 5 U B. 8 9 7 A B 1 4 3 2 6 5 U A n B 8 9 7 A B 1 4 3 2 6 5 U 8 7 A B 1 4 3 2 6 5 U

8 7 A 1 3 5 U 8 7 A 1 3 5

B 4 2 6

B 4 2 6

Segunda parte: (A U B) n (A U B ) = A i) La primera parte se puede representar de la siguiente forma: Figura No.43 segunda parte (A U B) n (A U B ) = A 9 A U 8 7 A B 1 4 3 2 6 5 U B. 8 9 7 A B 1 4 32 6 5 9 A U 8 7 A B 1 4 3 2 6 5 n = A U B. 8 9 U A 1 4 3 B 6 5 7 2 9 U ( A U B ) 8 7 A B 1 4 3 2 6 5 A U B. 8 9 U A 1 4 3 B 6

5 7 2

L Captulo > 22 L Principios de lgica. L y L Lo L LNo L~ L Si . entonces L. LS y slo si L. L L

Principios de la lgica L Objetivo general L Establecer el valor de verdad de muchos de los enunciados lgicos, utilizando las leyes de ola lgica y las de las inferencias, ya sea para determinar la conclusin, o para determinar ola consistencia interna de un razonamiento. Utilizar las diferentes leyes de la lgica con el fin de obtener precisin, claridad y ogeneralidad en diferentes razonamientos.

LObjetivos especficos

1. Conocer la historia de la lgica yosu clasificacin.o 2. Establecer la relacin entre lgica y lingstica.o 3. Aprender los conectivos lgicos: disyuncin, conjuncin, negacin, implicacin y oequivale ncia. 4. Elaborar la tabla de verdad de enunciados o expresiones lgicas.o 5. Aplicar las leyes del lgebra de proposiciones para realizar demostraciones. 6. Determinar la conclusin de un grupo de premisas utilizando las inferencias lgicas. o 7. Definir y diferenciar conceptos tales como razonamiento, demostracin oy oargument o.

LHistoria y clasificacin L Etimolgicamente la lgicaLes la ciencia del logos. Originalmente logos significa pa labra o discurso, por lo que en un principio se defini la lgica como la rama de la gramtica que ose ocupaba de ciertas formas de lenguaje. Como la palabra es la expresin,oo manifestacin del pensamiento y el pensamiento or acional es la base de la filosofa, puede decirse en general, que la lgica es la ci encia del opensamiento racional; es de aclarar que la lgica no se ocupa del conte nido de los opensamientos 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 olgicao, creo mtodos sistemticos para analizar y evaluar dichos argumentos, para l o cual desarroll la lgica proposicional estableciendo procedimientos para determinar la overdad o falsedad de proposiciones compuestas. El gran matemtico Gottfried LeibnizLen 1646 fue el primero en intentar reformar l a lgica oclsica, oplanteando oque ola odependencia olgica oentre oproposiciones oes odemostrada, oreduciendo argumentos complejos en simples, para lo cual propuso representar el conocimiento, en una forma que pudiera ser usado por un razonamiento mecnico y a s te oesquema (lgica simblica) lo llam una caracterstica universal.L El proceso de la lgica continu en el siglo XIX. En 1847 el matemtico ingls George LB ooleLen compaa ode oAugustus Lde LMorganLhizo notar el parentesco entre las operaciones lgicas con las matemticas, pues a partir de los operadores aritmticos d e oadicin, multiplicacin y sustraccin crearon los operadores lgicos equivalentes de unin, ointerseccin y negacin; adems formularon los principios del razonamiento simbli co y el oanlisis olgico. o oA oBooleLse le atribuye la invencin ode olas otablas od e overdad opara ocomprobar la veracidad de proposiciones compuestas. Este trabajo fue retomado por Bertrand Russell y Alfred Whitehead en 1910 en su obra .Principio oMatemtico, oquienes ocodificaron ola olgica osimblica oen osu opresente oforma odefinindola como la .Ciencia de todas las operacionesLconceptuales posib lesL, por oesta razn la fundacin de la lgica formal moderna se le atribuye a ellos. o

Clasificacin de la lgica L La lgica se puede clasificar como:o L 1. Lgica tradicional o no formal. L 2. Lgica simblica o formal. L En la lgica tradicional se consideran los procesos psicobiolgicos del pensamiento lgico, oy los mtodos de inferencia que estn relacionados con la destreza para inter pretar y odistinguir el razonamiento correcto del incorrecto; se puede considera r que la lgica no oformal resume las experiencias humanas obtenidas del conocimie nto y de la observacin odel 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 oreglas establecidas, como si fueran simples signos sin preocuparse por su sent ido. L LConceptualizacin LLa lgica ofrece mtodos que ensean cmo formar proposiciones, evaluar sus valores de overdad y determinar si unas conclusiones se pueden deducir correctamente a par tir de proposiciones supuestas; adems, ola olgica oes ouna ociencia oque ose ointeresa op or olas orelaciones existentes entre las proposiciones, con el fin de obtener pr ecisin, claridad y ogeneralidad en los razonamientos. La precisin ola ologra omediante oel ouso ode osmblos, olos ocuales otienen ocomo ofuncin oprimordial eliminar las ambigedades que la estructura del lenguaje ordina rio no puede oevitar con facilidad. La claridad y generalidad, la consigue en la medida en que el usuario se familia riza con los elementos bsicos de un argumento lgico, tanto en su representacin simblica como en o su significado para luego establecer un lenguaje simblico oartificial, oque ole o permita osimplificar argumentos lgicos ocomplicados; ode oesta omanera,oel smblo o permite oconcentracin sobre lo esencial de un contexto dado, incrementando la fia bilidad con que ose aplica el conocimiento.

gica y lingstica L Por su origen y desarrollo natural, han sido reconocidos dos tipos bsicos de leng uajes: olos lenguajes naturales y los lenguajes formales o artificiales. Los lenguajes naturales no se establecieron a travs de ninguna teora, entre ellos estn el ocastellano, el francs y el ingls. Las teoras y gramticas de lenguajes natura les, fueron oestablecidas a posteriori, es decir despus de que el lenguaje ya haba madurado.o Los lenguajes formales como las matemticas oy ola olgica, ofueron odesarrollados, ogeneralmente, a partir del establecimiento de una teora, la cual da las bases pa ra que a otravs de dichos lenguajes se pueda desarrollar la misma teora.o Los lenguajes naturales y formales tienen puntos en comn, en principio, se tiene la oexistencia de un conjunto finito llamado alfabeto, el cual esta constituido de smblos osimples llamados comnmente letras. En los lenguajes naturales se tienen como ejemplos los alfabetos: latino, griego y rabe-persa, entre otros. En los formales como la lgica se otiene el lxico del clculo proposicional y de predicados.o Mediante la concatenacin de las letras del alfabeto se forman los monemas, fonema s o palabras que se encuentran en el interior de un enunciado, de tal forma que un l enguaje 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 sm blos, o(lgicos o matemticos) sujetos a diversas interpretaciones. En un lenguaje f ormal, las opalabras y las oraciones estn perfectamente definidas, una palabra ma ntiene el mismo osignificado prescindiendo del contexto o de su uso. Los lenguaj es formales son, por esto, necesariamente exentos de cualquier componente semntico fuera de sus operadores y orelaciones, y es gracias a esta ausencia de significado especial, que los leng uajes formales pueden ser usados para modelar una teora ode ola oingeniera ode osistemas , omecnica, elctrica, entre otras.o

Simbolizacin : proposiciones L L La lgica utiliza un lenguaje exacto que no da lugar a imprecisiones, para tal fin toma como oelemento bsico de anlisis a la proposicin, que no es otra cosa que una oracin del olenguaje cotidiano con un significado mucho ms limitado, en tales cond iciones, se puede oconsiderar una proposicin como una excepcin lingstica que tiene l a propiedad de ser overdadera o falsa, y para simplificar la escritura de argume ntos lgicos complicados; crea oun lenguaje simblico artificial, en donde establece un conjunto de reglas claras, bien odefinidas y que no presentan las ambigedades ni vaguedades del lenguaje corriente.o Es importante tener en cuenta que las proposiciones representan oraciones declar ativas, las cuales contienen un sujeto perfectamente definido o dado por el contexto, un predicado y una conjugacin del verb ser.o Las proposiciones se representan simblicamente mediante el uso de letras minsculas odel 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 si mple y oexacto que el lenguaje natural. Los siguientes ejemplos ilustran cmo se pueden simblizar las proposiciones:o ..pL: Hoy es sbado.o ..qL: Estudio ingeniera de sistemas.o ..rL: New York es llamada la capital del mundo. ..sL: 1noesunnmero primo.o ..x : 4+3 = 10. Es decir, se puede establecer una relacin biunvoca entre el lenguaje natural y el lenguaje oformal. Estas proposiciones generalmente se llaman frases. En el lenguaje cotidiano se encuentran expresiones como por ejemplo: ..Las rosas son rojas y tienen espinas. ..La seleccin Colombia gan o perdi?o ..En el pas noLhay violencia. ..SiLestudio lgica omatemtica oentonces Lser oun odestacado oingeniero ode osistema s. ..4 es un nmero par si y slo siLse puede dividir por 2. Estas expresiones se denominan oraciones y para su formacin se utilizaron las let ras y, Lo, no, si . entonces, s y slo si, que sirvieron para unir o enlazar los en unciados.

Conectivos Lgicos L Estos trminos de enlace reciben el nombre de Conectivos lgicos y al igual que a la s proposiciones, tambin se les asignan un lenguaje simblico, as:o ENGUAJE NATURAL L Ly L Lo L LNo L LSi . entonces L LS y slo si L L ENGUAJE FORMAL L L L L~ L . L . L Vemos varios ejemplos de notacin simblica de las proposiciones: L pL: Las rosas son rojas. qL: Las rosas tienen espinas. p qL: Las rosas son rojas y tienen espinas. r: La seleccin Colombia gan?.os: La seleccin Colombia perdi?.or L sL: La seleccin Col ombia gan o perdi?.o tL: En el pas hay violencia.o~ tL: En el pas no hay violencia.o xL: Estudio lgica matemticao y: Ser un destacado ingeniero de sistema' x . y: Si estudio lgica matemtica ser un destacado ingeniero de sistemasA uL: 4esunnmero par.o v: 4 es divisible por 2. u . vL: 4 es un nmero par si y slo si es divisible por 2A En lgica se consideran y se simbolizan dos clases de proposiciones: atmicas o simp les y omoleculares o compuestas, veamos:

Proposiciones simples: L Se denominan proposiciones simples aquellas oraciones que no utilizan conectivos lgicos.oEstos son algunos ejemplos: L pL: El eclipse es un fenmeno natural.o qL: La luna es un satlite de la tierra.o rL: 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 olos dos valores al mismo tiempo, pues dejara de ser proposicin.o Proposiciones Compuestas L Las proposiciones compuestas son aquellas que se obtienen combinando dos o ms opr oposiciones simples mediante trminos de enlace.o Estos son algunos ejemplos de proposiciones compuestas: p :LEst lloviendo.o q:LEl sol brilla. p q:LEst lloviendo y el sol brilla.o xL: Quieres caf?.o y: Quieres t?A x L y: quieres caf o t?A s : Llueve. rL: Hace fr.os . rL: Si llueve entonces hace fr.o pL: Un tringulo es equiltero. q:LUn tringulo tiene sus tres lados igualesA p . qL: Un tringulo es equiltero si y slo si tiene sus tres lados igualesA La veracidad o falsedad de una proposicin compuesta, depende del valor de verdad de ocada una de las proposiciones simples que la conforman y de la forma como es tn ocombinadas; para establecer este valor, se fijan criterios que se estudiarn oe n olas oprximas secciones de este captulo.o Conectivos Lgicos L Como ya se dijo en la seccin anterior, los smblos que sirven para enlazar dos o ms oproposiciones simples, se llaman conectivos lgicos, oestos oson: ola oconjuncin, ola odisyuncin, la negacin, el condicional y el bicondicional.o a conjuncin: L L L

Sean pLy qLdos proposiciones simples. La proposicin compuesta pLy qLsimbolizada p or .p q., se denomina la conjuncin de pLy q. Ejemplos de conjuncinD Ejemplo 1 La proposicin compuesta r sL: 6 es nmero par y entero positivo, est formada% por: rL: 6 es un nmero par.% :y sL: entero positivo. Ejemplo 2 p qL: Termino de escribir mi programa de computacin y luego jugar teni' pL: Termino de escribir mi programa de computacinA :y qL: jugar tenis.o Para establecer el valor de verdad de la conjuncin, surgen las siguientes posibil idades:o 1. Que pLy qLsean verdaderas. 2. Que pLsea verdadera y qLsea falsa. 3. Que pLsea falsa y qLverdadera. 4. Que pLy qLsean falsas. A continuacin se analizan estas posibilidades para el ejemplo 1, el anlisis del ej emplo 2 ose deja como ejercicio. 1. r:LVerdadera. 6 es un nmero par.% s: Verdadera. 6 es un entero positivo. r sL: Verdadera (V) 2. r: Verdadera. 6 es un nmero par. s: Falsa. 6 no es un entero positivo. r sL: Falsa (F). 3. r: Falsa. 6 no es un nmero parA s: Verdadera. 6 es un entero positivo. r sL:Falsa (F). 4 r : Falsa. 6 no es un nmero parA s: Falsa. 6 no es un entero positivo. Lr s:LFalsa (F). La disyuncin L v L L

Sean pLy qLdos proposiciones simples. La proposicin pLo q, simbolizada .p v qL se llama odisyuncin de pLy q. El operador .oL se puede usar de dos formas: como .. incluyenteo o como .. exclu yenteo. oEn el primer caso (.. oincluyente) ohace oque oel ovalor ode overdad od e ouna ode olas odos oproposiciones simples repercuta en el valor verdadero de l a proposicin odisyuntiva; omientras que en la segunda forma (..excluyente) el val or de verdad de una proposicinoexcluye la veracidad de la otra proposicin, esto ha ce que la proposicin disyuntiva tome oel valor verdadero. Ejemplo 1.LUso del Lo. incluyente Lr v s: Juan estudia ingeniera o Paola estudia medicina.o rL: Juan estudia ingeniera.o v:O s: Paola estudia medicina. Ejemplo 2. Uso del Lo. excluyente. Lx v yL: Quieres helado o gaseosa. xL: Quieres helado. v:O y: Quieres gaseosa. Ejemplo 3: Uso del Lo. excluyenteLp v q: Alexandra vive en Bogot o en Barranquill a.o pL: Alexandra vive en Bogot.o v:O q : Alexandra vive en Barranquilla. L

a negacin: L Sea pLuna proposicin osimple. oSe odefine ola onegacin ode opLmediante la proposic in ocompuesta no pLsimbolizada por: .~ pL.o LEjemplo 1. p: 3esunnmero entero primo.o~ p : 3 no es un nmero entero primo, tambin se puede le er. oes falso que 3 es un nmero entero primo.o LEjemplo 2. q : El automvil de Francisco es rojoA ~ q: El automvil de Francisco no es rojo ,o, es falso que el automvil de% Francisco es rojo. El condicional L. L L Se dice que una proposicin ocompuesta oes ocondicional, osi oesta oformada opor o dos% proposiciones simples enlazadas por la expresin osi.entonces.. Si pLy qLrepresentan dos proposiciones, la expresin .si pLentonces qL se simbliza as :% pL. q y se lee pLimplica q. La proposicin precedida por la expresin .sio, se llama antecedente oLhiptesis y la proposicin precedida por la expresin .entonceso, se llama consecuente o conclusinLd e la implicacin. En la expresin p . q, el antecedente es pLy el consecuente es q. Las proposiciones condicionles se pueden enunciar de diferentes maneras as: a a ..Si pLentonces q. ..pLslo si q. ..qLsi p. ..pLes suficiente para q. ..qLes necesaria para p. Los siguientes ejemplos ilustran los anteriores enunciados: ..Si un entero es mltiplo de 4 entonces es divisibl por 2. e ..Apruebo el semestre slo si estudio. e ..El algoritmo esta bien enunciado si el programa corre. e ..Si dos rectas nunca se cortan necesariamente son parallas. e Cuando una proposicin ocondicional ose oescribe oen ouna ode olas oanteriores ofo rmas, oprobablemente, en el lenguaje comn habr alguna que no se interprete como se desea, opero como la lgica no permite ambigedades, stas se deben escribir segn la d efinicin odada en la seccin.o

LExisten varias formas de enunciar proposiciones condicionales as: L Implicacin directa:op . qLImplicacin contraria:oq . pLImplicacin recproca:o~ p . ~ q LImplicacin contrarrecproca:o~ q . ~ pL Ejemplo 1. Dadas las proposiciones p: q: 2mLes divisible por 4LmLes par entonces: La proposicin directa es: p . q:LSi 2mes divisible por 4entonces mes par, la cont raria es: q . p: Si mLes par entonces 2mLes 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 .~ pL : Si mL no es par, entonces 2mLno es divisible por 4. LEjemplo 2. L Teniendo en cuenta la proposicin directa: ~ p . qLconstruir las otras formas de l a implicacin:o Contraria: q . ~p Recproca:o~ (~ p) . ~q p. ~q Contrarrecproca: o~q . ~ (~ p) ~q.p. Ejemplo 3. L Proposicin directa: o~p . ~q Contraria: ~ q . ~p Recproca:o~ (~ p) . ~ (~ q) p. q Contrarrecproca:o~ (~ q) . ~ (~ p) q. p El bicondicional L. L Se denomina bicondicional a la proposicin oformada opor odos oproposiciones osimp

les oconectadas por la expresin os y slo s..

Simblicamente si p y q son proposiciones simples, la doble implicacin p . qLconsti tuye un bicondicional, donde p recibe el nombre de primer miembro y q segundo miembro . El bicondicional est formado por las implicaciones p . qLy q . p, las cuales debe n tener el mismo valor de verdad para formar una equivalencia entre p y q; en cons ecuencia, se dice que la proposicin pLes equivalente a la proposicin qLy se acostumbra a esc ribir p . q. La proposicin bicondicional tiene varias formas de traduccin ms no de significacin, o stas son: ..pLs y slo si q. ..qLs y slo si p. ..si pLentonces qLy recprocamente.o ..si qLentonces qLy recprocamente.o ..pLes una condicin necesaria y suficiente para q. ..qLes una condicin necesaria y suficiente para p. Ejemplo 1. Dadas las proposiciones: p: Un tringulo es rectngulo.o q: Un tringulo tiene un ngulo recto.o El bicondicional p . q se puede traducir de las siguientes formas: L ..Un tringulo es rectngulo s y slo s tiene un ngulo recto.o ..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 o un ngulo recto entonces es un tringulo rectngulo.o ..Una condicin necesaria y suficiente para que un tringulo sea rectngulo es que ote nga un ngulo recto. ..Una condicin necesaria y suficiente para que un tringulo tenga un ngulo recto es oque sea un tringulo rectngulo.o ..Un tringulo rectngulo es equivalente a un tringulo con un ngulo recto.o

Tablas de verdad L Definicin L Una tabla de verdad es una representacin oesquemtica ode olas orelaciones oentre o proposiciones; sirve para determinar los valores de verdad de proposiciones comp uestas, las cuales dependen de los conectivos utilizados y de los valores de verdad de s us proposiciones simples. En la elaboracin de una tabla de verdad los trminos de enlace tales como la negacin o( . o~L.), ola odisyuncin o( o. o.) oy ola oconjuncin o( o. o.) ose oconsideran oc onectivos ofundamentales; por tal razn, sus valores de verdad constituyen base pa ra establecer bajo oqu condiciones una proposicin compuesta es verdadera o falsa.o p Lq L~ p Lp q Lp L q Lp . q Lp . q LV V F LV LV LV LV LV F F LF LV LF LF LF V V LF LV LV LF LF F V LF LF LV LV L Para simbolizar los valores de verdad de una proposicin, se utiliza el sistema bi nario, mediante el cual se le asigna 1Lal valor verdadero y 0Lal valor falso. La siguie nte tabla resume los valores de verdad de los conectivos lgicos: p Lq L~ p Lp q Lp L q Lp . q Lp . q L1 1 0 L1 L1 L1 L1 L1 0 0 L0 L1 L0 L0 L0 1 1 L0 L1 L1 L0 L0 0 1 L0 L0 L1 L1 L LConstruccin de tablas de verdad L Para determinar el valor de verdad de una proposicin compuesta es necesario elabr ar la ocorrespondiente tabla de verdad; para tal fin y mediante el siguiente eje mplo se enuncian los pasos a seguir: L L

Ejemplo 1. Construir la tabla de verdad para la proposicin ~ (p q). L Paso 1. L Se hace un recorrido de izquierda a derecha teniendo en cuenta los parntesis.o Paso 2. L Se identifica el conectivo que aparece dentro del parntesis, en este ejemplo la c onjuncin. a Paso 3. L Se precisa el trmino de enlace que precede al parntesis, en el ejemplo la negacin.o Paso 4. L Se elabora la tabla con el nmero de columnas determinado por:o ..Proposiciones que intervienen ..Conectivos utilizados dentro del parntesiso ..Conectivo utilizado fuera del parntesis.o La siguiente tabla ilustra el paso 4: p Lq Lp q L~ ( p q ) L Paso 5. LSe fijan los valores de verdad en las columnas de las proposiciones pLy q. se ilustra en la siguiente tabla p 1 0 0 Lq Lp q L~ ( p q ) L1 1 0 1 0

Paso 6.L Se completa la tabla por columnas, teniendo en cuenta el conectivo y el valor de verdad de cada proposicin simple. La finalizacin de la elabracin de la tabla de verdad es:o

p Lq Lp q L~ ( p q ) LV V V F LV F F V LF V F V LF F F V L p Lq Lp q L~ ( p q ) L1 1 1 0 L1 0 0 1 L0 1 0 1 L0 0 0 1 L

Ejemplo 2. L Elaborar la tabla de verdad de la proposicin: (p L q) (p q). L Al realizar el recorrido de izquierda a derecha se observa que la proposicin oest oconformada por dos parntesis conectados por la disyuncin y dentro de cada parntesi s ose identifican la disyuncin y la conjuncin respectivamente; despus de ste anlisis se oelabora la tabla. p Lq Lp L q Lp q L(p L q) (p q) L1 1 1 1 1 L1 0 1 0 0 L0 1 1 0 0 L0 0 0 0 0 L Ejemplo 3 L Elaborar la tabla de verdad para la doble negacin, es decir, ~ (~ p)L p L~ p L~ (~ p) LV F V LF V F L p L~ p L~ (~ p) L1 0 1 L0 1 0 L Este resultado permite concluir que la doble negacin de una proposicin es la misma oproposicin.o

Tablas de verdad para los conectivos lgicos L L a conjuncin L p Lq Lp q LV V V LV F F LF V F LF F F L Tabla No. 1 La conjuncin.o De la anterior tabla de verdad podemos concluir que la conjuncin oes overdadera o nicamente cuando las dos proposiciones simples son verdaderas, en cualquier otro caso ola proposicin es falsa.o a disyuncinL Tabla No.2 La disyuncin.o p Lq Lp v q LV V V LV F V LF V V LF F F L a negacinL Tabla No.3 La negacin.o p L~ p LV F LF V L El condicional L p Lq Lp . q LV V V LV F F LF V V LF F V L Tabla No.4 El condicional. El bicondicionalL Tabla No.5 El Bicondicional. p Lq Lp . q LV V V LV F F LF V F LF F V L mplicacin directa, contraria, recproca y contrarecproca I L Tabla de verdad para las cuatro formas de la implicacin,o

p Lq L~ p L~ q Lp . q LDirecta Lq . p LContraria L~ p . ~ q LRecproca L~ q . ~ p LContrarrecporca L1 1 0 0 1 1 1 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 0 1 1 1 1 1 1 Tabla No. 6. Formas de la implicacin.o Esta tabla permite analizar que los valores de verdad correspondientes a las col umnas de la directa y la contrarecpoca coinciden, al igual que los de las columnas de la c ontraria y ode la recproca, por lo tanto estas implicaciones son equivalentes, es decir: 1. L( p . q ) . (~ q . ~ p ) 2. L( q . p ) . (~ p . ~ q ) L Se propone al estudiante construir la tabla de verdad para las anteriores equiva lencias.

eyes de la lgica L LTautologa L 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 otautologa es una proposicin que es verdadera en todos los casos. Ejemplo 1. L Demostrar que la proposicin ( p L q ) . (~ q . p ) es verdadera: Para verificar la validez de esta proposicin es necesario realizar la tabla de ve rdad y ocomprobar que en la ltima columna solamente aparecen valores verdaderos. p 1 0 0 Lq Lp 0 1 1 1 1 0 0 0 1 L 1 1 0 q L~ q L~ q . p L( p L q ) . (~ q . p) L1 1 1 0 1 1 1 1 1

Tabla No. 7. Ejemplo 1. Una proposicin compuesta, que es falsa en todos los casos independientemente de l os valores de verdad de las proposiciones que la conforman se llama Contradiccin.L Ejemplo 2. L Es ( p ~ q ) qLuna tautologa?oPara responder la pregunta se hace necesario hacer l a tabla de verdad, as:o p Lq L~ q Lp ~ q L( p ~ q) q LV V F F F LV F V V F LF V F F F LF F V F F L Por lo tanto esta proposicin no es una tautologa, es una contradiccin.L Dos proposiciones compuestas se consideran lgicamente oequivalentes osi otienen o los omismos valores de verdad para cada una de las opciones en la tabla de verda d. Ejemplo 3L Establecer si las proposiciones (p . q ) y (~ p L q )Lson lgicamente equivalentes .oPara esto hay que probar que (p . q) . (~ p L q), la tabla de verdad es:

p L Lq Lp . q L~ p L~ p L q L(p . q ) . (~ p L q) L1 1 1 0 1 1 L1 0 0 0 0 1 L0 1 1 1 1 1 L0 0 1 1 1 1 L Como la ltima ocolumna oes otodaoverdadera (tautologa), ose opuede oconcluir oque olas oproposiciones son lgicamente equivalentes.o

eyes del lgebra de proposiciones L L L Las siguientes son las leyes de la lgica.o 1. Idempotencia: L p p . p p ! p .p 3. Asociativas: L (p q) r .p (q r )o(p q) r .p (q r)o 4. Conmutativas: I p q . q pop q .q po 5. Distributivas: L p (q r) . (p q) (p r)op (q r) . (p q) (p r)o 6. Identidad: L L p 0 . p, p 1 . 1 p ! 0 .0, p ! 1 . p. 7. Complemento: L L p ~ p . 1, p ~ p . 0 ~ ( ~ p) . p, ~1 . 0, ~0 . 1 8. Leyes D. Morgan: L L ~(p q ) . ~p ~ q o~(p q ) .

~p ~ qo Estas leyes estn oformuladas opor opares odebido oa ola onaturaleza odual odel olg ebra ode oproposiciones.

a En los ejemplos que aparecen a continuacin, se utilizan las leyes de la lgica para realizar las respectivas demostraciones: Ejemplo 1.L Demostrar que: L1. Lp p . p L2. Lp L p . p. L 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 escr ibe el nombre de la ley que justifica ese paso. 1. Partiendo del primer miembro se llega al segundo as:op p . (p p) 0oIdentidad p p . (p p) (p ~ p)oComplemento p p . p (p ~ p)oDistributiva p p . p 1oComplemento p p . p Identidad 2. Partiendo del segundo miembro se llega al primero as:op . p 0oIdentidad p . p (p ~ p)oComplemento p . (p p) ! (p ~ p) Distributiva p . (p p) 1oComplemento p . (p p)oIdentidad. Se sugiere hacer las demostraciones partiendo del primer miembro. Ejemplo 2. Demostrar que: (p L q) (~ p L q) . W (q p) (q ~ p) . q Conmutativa q (p ! ~ p ) Distributiva q 0oComplemento q Identidad

LEjemplo 3. L Demostrar que: [ (p q) L (~ p r) L (q r) ] . [ (p q) L (~ p r)]L [ (p q) (~ p r) (q r) ] . [ (p q) (~ p r) (q r) ] 0oIdentidad . [(p q) (~ p r) (q r)] (q r) ~ (q r)oComplemento . (p q) (~ p r) (q r) ~ (q r)oAsociativa . (p q) (~ p r) 0oComplemento . (p q) (~ p r)oIdentidad L LEjemplo 4.L Demostrar: (p L ~ q) (q L r) (q L ~ r) . (p q)L (p ~ q) ! [q (r ! ~ r)] Distributiva (p ~oq) [q 0]oComplemento (p ~ q) qoIdentidad (p ! q) (~ q ! q) Distributiva (p q) 0oComplemento (p q) oIdentidad. L LEjemplo 5.L Demostrar: ~ [(p ~ q r) L (p q r)] . (~ p L ~ r) L ~ [(p ~ q r) (p q r)] . ~ [(p r) (~ q q)]oConmutativa y distributiva ~ [(p ~ q r) (p q r)] . ~ [(p r) 1]oComplemento ~ [(p ~ q r) (p q r)] . ~ (p r) oIdentidad ~ [(p ~ q r) (p q r)] . (~ p ~ r)oD. Morgano L L

Cuantificadores LCuantificador universal y existencial L Existen especialmente en matemticas, expresiones que contienen variables tales co mo x, oy, z, etc., para las cuales su valor de verdad depende del valor que tome la variable. Ejemplo 1.Lx+1=2 Esta proposicin es verdaderaosi x = 1Ly 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 t oma un solo ovalor de verdad para dicha restriccin.o En el ejemplo, la proposicin se puede enunciar de las siguientes formas:o 1. Existe x = 1Ltal que x + 1 = 2. Proposicin verdaderao 2. Para todo x . 1,Lse tiene que x + 1 = 2. Proposicin falsa.o (.x = 1) / (x + 1 = 2) Verdadera. ( . x . 1)/(x+1=2) Falsa. Simblicamente, en el primer caso el cuantificador recibe el nombre de cuantificad or Lexistencial, pues est informando que existe un slo valor para xLque hace verda dera la proposicin dada, mientras que en el segundo caso el cuantificador se llama univer sal Lporque afirma que todos los valores de xLdiferentes de 1Lhacen la proposicin falsa, es decir, que un valor de xLdiferente de 1Lconvierte x + 1 = 2Len proposicin falsa.o Cualquier cuantificador de la forma para todo, todo, para cada, o cada se llama cuantificador universal y se simboliza por . . L Ejemplo 2.L ( . x) / ( x + 4 = 4 + x).LSignifica que todo xLverifica la ecuacin.o La palabra algunos(s) significa que por lo menos uno verifica la condicin. oLos o cuantificadores de la forma existe por lo menos uno, y se llaman cuantificadores existenciales y se representan as: L. . L Ejemplo 3 L (. x ) / ( 2 x + 2 = 5 ). L Valores de verdad de expresiones con cuantificadores a Para determinar el valor de verdad de una expresin que contiene un cuantificador es oimportante tener claros los siguientes conceptos:

1. Conjunto Universal: es el conjunto que contiene todos los elementos considerados en un estudio determinado. 2. Conjunto dominio de la variable: corresponde al conjunto de valores posibles de la variable. LEjemplo 1. L (.x L R ) / ( 2 x . 1 = 0 )Lque se lee . para todo x que pertenece a los reales se verifica que 2 x . 1 = 0L..o En esta proposicin el conjunto universal esta formado por los nmeros reales y el d ominio ode la variable es x = .LEl 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 },Lla proposicin ose conviert e en overdadera y se enuncia as:o (. x L { 1/2 } ) / ( 2 x . 1 = 0)Les verdadera. Lo anterior conduce a la siguiente afirmacin:oUna proposicin que contiene un cuant ificador universal es verdadera soyslo soel dominio de la variable es igual al conjunto universal. LEjemplo 2. L (.x L R ) / ( x 2 - 1 = 0) LConjunto universal: RL(reales) Dominio de la variable: x = 1L, , x = -1LEn este caso el cuantificador existenci al afirma que por lo menos existe un valor que satisface la proposicin, as, el ejemplo 2 es verdadero.o LEjemplo 3. (.x L R ) ( x 2 + 1 = 0) L L El conjunto universal est formado por los nmeros reales, pero el dominio de la var iable oes el conjunto vaco, pues, no hay un nmero real que al elevarlo al cuadrado y sumarle 1 ode cmo resultado cero, esto hace que la proposicin sea falsa.o Del anlisis de los ejemplos 2 y 3 se puede afirmar: Una proposicin con un cuantifi cador oexistencial es verdadera si y slo si el dominio de la variable no es vaco.o

Captulo k 33 LPreliminares sobre las Lproposiciones L P S RS.P RS P R .S.PR .SPR Clases Sy P

Proposiciones categricas L El estudio clsico o oaristotlico ode olaodeduccin oest ocentrado oen oargumentos oqu e ocontienen solamente proposiciones de un tipo especial, llamadas proposiciones Lcategricas. El tipo especial se refiere a que las proposiciones pueden ser universales (afirmativas o negativas) o L particulares (afirmativas o negativas). L Por lo tanto, se puede afirmar que hay cuatro formas estndar ode oproposiciones o categricas. Los siguientes ejemplos ilustran cada una de ellas.o

Proposicin categrica universal afirmativa L Todos los conductores de automvils que no son seguros son personas temerarias que eponen en peligro la vida de los dems. e Esta es una proposicin universal afirmativa. Se refiere a dos clases:o 1. Conductores de automviles inseguros y L 2. personas temerarias que ponen en peligro la vida de los dems I y dice que la primera clase estocontenida en la segunda, lo cual significa que ca da miembro de la primera clase es tambin miembro de la segunda. o Conductores de automviles RInseguros RS LP RteRerRPersonas temerarias LTodo S es PLPersonas L En este ejemplo, el trmino osujeto o oconductores, designa a la clase de todos lo s conductores y el trmino predicado temerarias, designa a la clase de todas las per sonas temerarias. Este tipo de proposicin categrica se llama universal afirmativa, porque la proposi cin oafirma 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:o Todo S es PL, donde SLrepresenta el sujeto y PLel predicado.

Proposicin Categrica Universal negativa L Ningn conductor de automvil responsabl es un peligro para la vida de los dems. e Esta es una proposicin ouniversal onegativa. oNiega o(en oforma ouniversal) oque olos oconductores responsables son un peligro para la vida de los dems. o En este caso se hace referencia a dos clases: 1. Conductor de automvil responsable y L 2. personas que ponen en peligro la vida de los dems I la primera clase excluye a la segunda, la excluye totalmente, es decir, que no h ay ningn miembro de la primera clase (conductor responsable) que tambin pertenezca a la osegunda (que represente un peligro para la vida de los dems). Todas las propo siciones ouniversales negativas se pueden escribir as: o Ningn S es P ,donde S representa el trmino sujeto y P el trmino predicado.o Conductores de automvil Responsable RS LP RteReRPersonas LPersona temeraria que R pone en peligro la vida de Rlos dems R Ningn S es PL La proposicin recibe el nombre universal negativo,Lporque la proposicin niega que la orelacin ode oinclusin ode clase tenga lugar entre las odos clases y lo niega e n forma ouniversal: no hay ningn miembro de SLque tambin lo sea de P.

Proposicin categrica afirmativa particular L Algunos estudiantes de la secundaria ingresan a la educacin superior. l Este ejemplo afirma que algunos de los miembros de la clase de todos los estudia ntes de secundaria son (ingresan) miembros de la clase de estudiantes de universidad. Pe ro no afirma esto universalmente: no dice que todos los estudiantes de secundaria (sin excepcin) oingresan oa ola ouniversidad, osino oms obien oalgunos oen oparticular. oEsta oproposicin no afirma ni niega que .todoso los estudiantes ingresan a la u niversidad, se refiere slo a algunos.o LClases: L 1. Estudiantes de secundaria y I 2. Estudiantes que ingresan a la educacin superior I La palabra .algunoso es indefinida, significa o al menos uno o?, o al menos doso?, oal omenos tres ? O oal menos cuntoso? Para mayr precisin, se acostumbra usar ste otr mino como .al menos uno .. Por lo tanto una proposicin afirmativa particular se e scribe osimblicamente as: o Estudiantes L L L L L L L L L L L L L LAlgn S es P, S LP RteRerRAlgn S es PLEstudiante que ingresa a la Reducacin superior REstudiante s de secundaria R Lo cual significa que por lo menos un miembro de la clase designada con el trmino sujeto oSLtambin es miembro de la clase designada por el trmino predicado P. El n ombre afirmativa particularLhace referencia a que la proposicin afirmativa se cumple en la orelacin de inclusin entre clases, pero no lo afirma de la primera clase unive rsalmente, slo parcialmente, de algunos miembros particulares de la primera clase.o Proposicin Categrica Negativa particular L Algunos nmeros reals no son positivos. e Clases L

1. Nmeros reales y L 2. Nmeros negativos I a En este ejemplo el antecedente (algunos nmeros reales) es particular en el sentid o 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 incluid os en la segunda clase (reales no positivos), esto es precisamente lo que se niega. Una proposicin particular negativa, se escribe en forma simblica as: Nmeros L I I IS LP RteRerRNmeros Negativos RNmeros Reales --I Algn S no es PL Algn S no es P.Ldice que por lo menos un miembro que pertenece a la clase designa da por el trmino sujeto, S, es excluido de la totalidad de la clase designada por el trmino predicado, P. a

Cualidad y cantidad de las proposiciones categricas L Cada proposicin categrica de forma estndar tiene una cualidadLy una cantidad.L Cualidad Afirmativa o Negativa: L La cualidad de una proposicin es afirmativa o negativa, segn el sujeto, completa o oparcialmente, afirme o niegue la inclusin de la clase. Por lo tanto las proposi ciones afirmativas universales y particulares tienen cualidad afirmativa, en cambio las proposiciones negativas universales y particulares tienen cualidad negativa. Cantidad Universal o Particular de cantidad: L La cantidad de una proposicin es universal o particular segn que la proposicin se o refiera a todos los miembros o solamente a algunos de la clase designada por el trmino osujeto. As, las proposiciones universales afirmativas o negativas son univ ersales de ocantidad y las proposiciones particulares afirmativas o negativas so n particulares de cantidad. ------------------Nemotecnia ----------------- L ALGUNOS = PARTICULAR TODOS = UNIVERSAL L LEjercicio propuesto: L L De la lectura anterior, y puedes completar la siguiente tabla: a L L

Proposicin CategricaLRepresentacin LToddo S es P Particular Negativa

Proposiciones contrarias, de contingencia y subcontrarias L Las proposiciones categricas en forma estndar que tienen el mismo trmino sujeto y o trmino predicado, pueden diferir unas de otras en cualidad o en cantidad o en amb as Existen ciertas relaciones importantes correlacionadas con los diversos tipos de oposicin o(diferencia en cualidad, cantidad o en ambas) stas pueden ser de CONTRA DICCIN, oCONTINGENCIA, o, SUBCONTRARIAS Proposiciones contradictorias L Dos proposiciones son CONTRADICTORIAS si una de ellas es la negacin de la otra, e s odecir, las dos proposiciones no pueden ser a la vez verdaderas ni a la vez fa lsas. Es claro que dos proposiciones categricas en forma estndar que tienen el mismo trmino sujeto y otrmino opredicado, opero oson odiferentes otanto oen ocantidad ocomo oen ocua lidad, oson ocontradictorias entre s.o Ejemplo 1 L Las proposiciones P: todos los jueces son abogados Q: algunos jueces no son abogados L Son contradictorias porque son opuestas tanto en cantidad como en cualidad. La proposicin PLes universal afirmativa, mientras que la proposicin QLes particular n egativa. Ejemplo 2 L Las siguientes proposiciones tambin son contradictorias.o P: algunos nmeros reales son negativos. Es particular afirmativa Q: todos los nmeros reales son negativos. Es universal negativa.o En este caso son opuestas en cantidad y en cualidad. a Otra forma de identificar las proposiciones contrarias, es cuando la verdad de u na proposicin implica la falsedad de la otra. Ejemplo 3 L P: -3 es mayor que -1 Q: -1 es mayor que -3. Son contradictorias porque la proposicin PLes falsa y esto implica que la proposi cin QLsea verdadera. L Ejemplo 4 L Dadas las proposiciones

P: hoy es lunes L Q: hoy no es lunes. L Son contradictorias porque si P es verdadera automticamente Q ser falsa y lo contr ario. a

Proposiciones Contradictorias y Contrarias L Es importante aclarar la diferencia entre proposiciones contradictorias y propos iciones contrarias. 1. Proposiciones contrarias: L Se dice que dos proposiciones son CONTRARIAS si no pueden ser ambas verdaderas, aunque ambas puedan ser falsas. L L

Ejemplo 5 L Considerando las proposiciones LP: Paola es mayor que Anglicao LQ: Anglica es mayor que Paola Inicialmente se podra pensar que son contradictorias, es decir, que si PLes verda dera, QLsera falsa, y consecuentemente, si PLes falsa, entonces QLsera verdadera, pero al oconsiderar el hecho de que Paola y Anglica tengan la misma edad, ambas p roposiciones seran ofalsas, opor olo otanto ono oseran ocontradictorias, oy oen oeste ocaso ose ollamaran ocontrarias, debido a que ambas no pueden ser verdaderas pero s falsas. o En forma general se puede decir que dos proposiciones universales que tienen los mismos sujetos y predicados pero difieren en cualidad son contrarias. a El siguiente ejemplo muestra claramente la diferencia entre las proposiciones contradictorias y contrarias.

Ejemplo 6 L Dadas las proposiciones: P: Ltodos los nmeros enteros son positivos Q: Lalgunos enteros son positivos R: Ltodos los enteros son negativos Se puede afirmar que las proposiciones PLy QLson contradictorias porque una es l a negacin ode ola otra o(en oeste ocaso oPLes falsa mientras que QLes verdadera). Y las proposiciones PLy RLson contrarias ya que ambas no pueden se verdaderas pero si son ambas falsas. ------------------Nemotecnia----------------- Lcontrarias = ambas pueden ser fal sas contradictorias = cuando una es verdadera la otra es falsa y viceversa. Proposicin Contingente L Una proposicin que no es necesariamente verdadera ni necesariamente falsa se llam a CONTINGENTE. Ejemplo 1 L P: todos los matemticos son filsofoso Esta es una proposicin que no es necesariamente verdadera (no todos los matemticos oson filsofos), ni necesariamente falsa (existen matemticos que s son filsofos)o Ejemplo 2 L Q: todos los cuadrados son rectnguloso No necesariamente es falsa porque el cuadrado es un tipo de rectngulo, oni oes on ecesariamente verdadera porque no todos los cuadrados son rectnguloso

Proposiciones Subcontrarias L Se dice que dos proposiciones son subcontrarias si no pueden ser ambas falsas pe ro s ambas verdaderas a Ejemplo 1 L Las proposiciones P: algunos enteros son positivos Q: algunos enteros son negativos Son subcontrarias debido a que ambas son verdaderas. ------ la Clave---- L Observa que necesariamente, al afirmar que .algunos enteros son negativso, estam os oafirmando que el resto son enteros positivos. Esto imposibilita que ambas pr oposiciones sean falsas. En forma general se afirma que dos proposiciones particulares que tienen el mism o trmino sujeto y trmino predicado pero diferente cualidad son subcontrarias Ejemplo 2 L eP: ealgunos ingenieros de sistemas son matemticos e eQ: ealgunos ingenieros de sistemas no son matemticos e Las proposiciones PLy QLpueden ser las dos verdaderas, pero no pueden ser las do s falsas, por lo tanto se dice que son subcontrarias. ------------------Nemotectnia----------------- L contrarias = ambas pueden ser falsas subcontrarias = ambas pueden ser verdaderas contradictorias = cuando una es verdadera necesariamenteLla otra es falsa y viceversa.

Smbolo y diagramas para proposiciones categricas L Como la interpretacin de las proposiciones categricas depende fundamentalmente de la onocin de una clase vaca, se utiliza el cero (0)Lpara representar este hecho y para simbolizar que la clase determinada por S no tiene miembros, se utiliza la ecuac in S = 0. Cuando se afirma que la clase S si tiene elementos, equivale a negar que S es va ca, por olo 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 un crculo marcado con el trm ino que designa la clase, por ejemplo la clase S sografica as: s R Clase S L Para diagramar la proposicin ode que SLno 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 sentid o de que hay por lo menos un miembro de la clase S, se coloca una xLen cualquier parte en el interior del crculo que representa a S, lo cual indica que s hay algo dentro de l, que no oest vaco.o A continuacin se representa grficamente las proposiciones .No hay SL y .Hay SL. S tiene algo adentroLS no tiene miembrosL s RxL s R S . 0. S = 0. Hay S L No hay S L

Se puede observar que el crculo que representa la clase SLtambin representar la cla se ode su complemento, .S, es decir, si en el interior del crculo se representa a todos los omiembros de S, entonces, su exterior representar todos los miembros q ue no estn en S, por lo tanto estn en .S.L Representacin de una proposicin categrica: L Para representar una proposicin categrica en forma estndar se necesitan dos crculos ointersecados. Si S y P representan los sujetos y predicados de la proposicin, en tonces su o representacin es:o R clases Sy P R La figura representa las dos clases SLy 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 SLque esta fuera de P representa todos los S que no son P, lo cual se iden tificarocomo el producto de las clases SLy .PL(S.P); la parte comn de los dos crcul os representa la interseccin o producto de las dos clases SP; la parte del crculo P q ue esta fuera de SLrepresenta 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 propos iciones que no estn en SLni en P, lo cual corresponde a la cuarta clase .S.P. Lo anterior permite representar la figura No. 3 de la siguiente manera: R Clases Sy P

Para representar las cuatro proposiciones categricas de forma estndar se sombrea o se oinserta xLen varias partes de la grfica, a continuacin se presenta cada uno d e los ocasos: 1. Todo S es P, simbolizada por S.P = 0, su representacin grfica es:o S R P S.P = 0 : 2. Ningn S es P, o, Ningn P es SLsimbolizadas por SP = 0Ly PS = 0, respectivamente , la representacin grfica en ambs casos es:o S RP RUR Ningn S es P, o, Ningn P es S!

3. Algn S es P, simbolizada por SP . 0, su representacin grfica es:o S RP RUR Algn LS Les LP LoLAlgn P es SLSP . 0 ; PS . 0 ;L 4. Algn S no es P, simbolizada por S.P . 0,Lsu representacin grfica es:o S RP RURx R Algn S no es P LS.P . 0L En el caso Algn P no es S, simbolizada por P.S . 0, su representacin grfica es:o S RP RUR Algn P no es S LP.S . 0L

as siguientes son algunas observaciones acerca de las representaciones grficas Lr ealizadas: L 1. El diagrama simple de los dos crculos, sin otro tipo de marcas o indicaciones, or epresenta clases pero no representa ninguna proposicin.o 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 osido sombreada o en la que se ha insertado una x. 4. Los diagramas de Venn constituyen una representacin ode olas oproposiciones categricas oen oforma oestndar, oen olas ocuales olas oinclusiones oy oexclusiones oespaciales corresponden a inclusiones y exclusiones no espaciales de clases. 5. Proporcionan un mtodo claro de notacin y se constituyen en la base del mtodo oms osi mpleoy directo para probar la validez de los silogismos categricos (Ver osiguient e captulo).o

: Captulo j 44 e : Deduccin L L L L

1. L(G . H) . (J . K) L2. G L L L/ . J L3. LG . H L L L2, Ad. L4. LJ . K L L L1, 3, M. P L5. J L L L L4, Simp. L L L

OBJETIVOS ESPECFICOS I 1. Inferir una conclusin a partir de dos o ms premisaso 2. Utilizar las reglas de inferencia para establecer la validez o invalidez de u n argumento. I IOBJETIVO GENERAL I Utilizar el mtodo deductivo como una forma de razonamiento mediante el cual se pu ede oestablecer un principio general a partir de casos particulares. L LOBJETIVOS L L 1. Identificar y clasificar las proposiciones categricas de un argumento 2. Diferenciar la cualidad y cantidad de una proposicin categrica en forma estndar. a 3. Establecer el tipo de oposicin oque ose opuede opresentar oentre odos oproposi ciones ocategricaso 4. Representar grficamente proposiciones categricas deoforma estndaro

INTRODUCCIN L Razonar es un proceso por el cual se establece una conclusin basada en una o ms op roposiciones supuestas o aceptadas, llamadas premisas, las cuales constituyen el punto de partida del proceso. Si la conclusin es correcta significa que las premisas co ntienen la informacin necesaria y suficiente para establecer la conclusin y por lo tanto se p uede oafirmar que el razonamiento es correcto, de lo contrario, se dir que es inc orrecto.o Todos los seres humanos tenemos la capacidad del raciocinio; una operacin odel op ensamiento, la ms elevada, en la cual se enlazan ideas y fluyen otras, permitiend o as la ocomunicacin con el exterior.o Se ha dicho que la lgica es la ciencia que estudia la estructura o forma del pens amiento, opor lo cual no es difcil comprender que hay varias formas de pensamient os, ms an, oexisten varias formas de razonar, deductivamente o inductivamente. Cua ndo se hace un estudio lgico del razonamiento, es conveniente tener presente algn modelo con el q ue opuedan compararse algunas otras especies de razonamiento; la tarea del lgico oes oexplicar las diferencias entre un cierto modo de razonar y el modelo escogi do, el modelo que habitualmente se adopta consciente o inconscientemente para comparar con l to das olas otras clases de razonamiento, es la deduccin simple, en la cual se puede n identificar olas premisas y una conclusin y se puede formular una regla segn la cual, la conclusin ose sigue de las premisas. En el presente captulo se estudiar el mtodo deductivo, este se puede definir como e l 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 tam bin opara todos los de su especie.

LEl mtodo cientfico L El mtodo ocientfico oconsiste oen oel oconjunto ode oprocedimientos opara obtener oun oconocimiento que sea universal y, en principio, reproducible por cualquiera . Desde los inicios de la Modernidad, el conocimiento cientfico en las ciencias nat uralesoy exactas ha estado ligado a la observacin osistemtica oy oa ola oformulacin ode odic ha oobservacin mediante ecuaciones matemticas, la llamada matematizacin de la cienc ia, oque garantiza tanto su explicacin como su factibilidad.o Desde el punto de vista de los positivistas, el primer paso en cualquier investi gacin es la oobservacin, ouna ovez oque ose oejecuta ola observacin, osurgen ouna o oms opreguntas, ogeneradas por la curiosidad del observador, luego, el observado r, mediante razonamiento inductivo, trata de dar una o ms respuestas lgicas oa las preguntas, cada osolucin otentativa preliminar a estas preguntas, son las hiptesis. Despus de que ha enunci ado ouna o ms hiptesis, o explicaciones propuestas, el oinvestigador elabra una o ms opredicciones, las cuales deben ser consistentes con las observaciones e hiptes is. Para ohacer esto, el investigador usa el razonamiento deductivo. Enseguida, las predicciones son sometidas a pruebas sistemticas opara ocomprobar osu ocurrencia oen oel ofuturo. oEstas ocomprobaciones en conjunto reciben el nombre de experimentacin. Cundo la h iptesis ose verifica, entonces se procesa la declaracin final, que en ciencias se llama teora que osolo es vlida para un tiempo y un lugar determinados. Si la teora se verificara como overdadera en todo tiempo y lugar, entonces es considerada co mo ley. Cosa distinta es la ciencia social. Aqu la reproducibilidad y la explicacin son dbi les o oimposibles. En ellas se trata, no tanto de explicar como de comprender, e n cuanto lo que se hace es una lectura de sistemas simblicos, oque oson osusceptibles ode odistin tas ointerprepataciones, tanto desde las caractersticas mismas del cientfico, como de la poca oen la cual l est haciendo su trabajo.o Karl Popper, en la lgica del conocimiento cientfico, discuti con los positivistas s obre el ocarcter ode ola observacin oy oel omodelo oinductivo ode ola ociencia. oE n oefecto, oaquellos opensaban que la ciencia comienza con la observacin y de all se hace una induccin para oobtener una ley general. Popper, en cambio, seala que l a ciencia comienza con una hiptesis que debe intentar falsarse (de ah que su teora se llame el falsacionismo), es odecir, refutarse. En la ciencia no se trata tanto de verificar como de que las teoras resistan los intentos de oser refutadas. Y para ello las teoras cientficas odeben oser escritas en encunciados ouniversales, que pueden refutarse mediante contraejemplo, y no de enunciados existenciales. Hagamos una ilustracin; de la observacin de los cuervos, alguien pu ede oafirmar que existen cuervos negros. Pero ese enunciado no es falsable. En C ambio si alguien dice .Todos los cuervos son negros. y alguien encuentra un cuervo de otr o color, el o

enunciado result falsable. Por eso hay que escribir la ciencia en enunciados univ ersales, oque sean susceptibles de ser refutados. Mientras una teora resista los intentos de ser refutada, se dice que es el paradi gma ocientfico vigente. Todos los problemas de su campo de conocimiento se resuel ven segn oestablecen las leyes de la teora, pero cuando estaoes refutada, aparece un paradigma nuevo, que toma el papel del anterior, y as sucesivamente. Eso sucedi con la fsica otolomica, que fue refutada por la fsica galileana, que fue mejorada por la newton iana, oque a su vez, fue rebatida, en sus fundamentos, por la fsica de la relativ idad de Einstein. o Una explicacin cientfica tiene la forma: un hecho se explica dentro de una ley cie ntfica oque es una ecuacin matemtica. As, el movimiento de un planeta se explica por la oecuacin que describe su movimiento. Ella explica ese movimiento. Pero la exp licacin otambin sirve para la prediccin porque la ecuacin que sirve para describir t ambin sirve opara calcular en que lugar se encontrar ese planeta en un momento T c ualquiera.o Para Popper su mtodo sirve para superar el dilema entre explicar, en ciencias nat urales, y comprender, en ciencias sociales. Porque explicar es comprender. Pero a difere ncia de las ciencias naturales, la ciencias sociales no son susceptibles de matematizacin : nadie opuede calcular los movimientos sociales ni las acciones de las personas , porque stas son ovoluntarias, distintas, en consecuencia, a los movimientos fsic os. o La comprensin, que como se dijo, refiere a sistemas simblicos, como las culturas y las osociedades, es lo propio de las ciencias sociales. Aqu no hay una explicacin distinta a la ocomprensin de un sistema simblico y estas comprensiones se hacen e n .horizontes de ocomprensin que dependen del cientfico y su poca. Por eso las cien cias sociales no son oneutrales, ni existe la objetividad del investigador socia l, porque el lee los hechos sociales desde su formacin, desde su propia personalidad y desde lo que sabe su poca. Este es oel `punto distintivo central entre las ciencias naturales y las ciencias soc iales. Por eso no hay una sola sociologa, sino distintas escuelas sociolgicas, ni una antropologa, si no oescuelas distintas, ni una pedagoga sino mltiples escuelas de pensamiento sobr e la oenseanza.o Bibliografa: L Gadamer, Hans Georg. Verdad y Mtodo. EditorialoSgueme, salamanca, 197T Monsalve, Alfonso. La Teora de la Argumentacin. Editorial Universidad de Antioquia ,% Popper, Karl. La Lgica de la Investigacin Cientfica. Tecnos, Madrid, 1962o_________ __. La Miseria del Historicismo. Tecnos, Madrid, 1975.

Silogismos categricos Un silogismo es un argumento deductivo en el que se infiere una conclusin a parti r de% dos premisas. Un silogismo categrico es un argumento deductivo consistente en tre s% proposiciones categricas que contienen exactamente tres trminos, cada uno ode los% cuales slo oaparece oen odos ode olas oproposiciones oque olo oconstituyen. oDos ode olas% proposiciones reciben el nombre de premisas y la otra se llama conclusinA Forma estndar de un silogismo categrico LSe dice que un silogismo categrico estoen f orma Lestndar Lcuando satisface las siguientes condiciones: a 1. Las premisas y conclusin oson oproposiciones ocategricas oque oconservan oel osigu iente orden: 1. Lla premisa mayor se enuncia primero, luego L2. Lla premisa menor y L3. Lal f inal la conclusin. L 2. La conclusin de un silogismo de forma estndar es una proposicin de forma oestndar qu e contiene dos de los tres trminos del silogismo. o 3. La premisa mayor es aquella que contiene el trmino mayor y este es el que oaparec e como predicado de la conclusin.o 4. La premisa menor es aquella que contiene el trmino omenor, oque oes oel ocorrespo ndiente al sujeto de la conclusin.o 5. Lostrminos mayor y menor aparecen, cada uno, en una premisa diferente.o

Ejemplo 1 L Dadas las premisas: Ningn hroe es cobarde e e e eAlgunos soldados son cobardes eY la conclusin: por lo tanto, algunos soldado s no son hroes e Se puede observar claramente que el argumento deductivo es un silogismo categrico oporque consiste en tres proposiciones categricas (dos premisas y una conclusin) que contienen exactamente tres trminos (hroe, cobarde y soldado).o Para saber si el silogismo categrico est en forma estndar, es necesario identificar el otrmino mayor, el trmino menor, premisa mayor, premisa menor y analizar la con clusin.o En este caso el predicado de la conclusin es hroe, que constituye el trmino mayor, y opor consiguiente la premisa mayor es: ningn Lhroe Les Lcobarde; el sujeto de la conclusin oes osoldadoLque es el trmino menor, por lo tanto la premisa menor es: o algunos soldados son cobardes, adems, la conclusin tiene dos de los tres trminos od el silogismo: soldadosLy hroes, los trminos mayor y menor aparecen, cada uno, en o una premisa diferente, por consiguiente se puede establecer que este es un ejemp lo de silogismo categrico en forma estndar, tambin aparece el trmino cobardesLel cual se denomina trmino medio.o Ejemplo 2 L Teniendo en cuenta el siguiente argumento deductivo, identificar la conclusin, es tablecer ola naturaleza del silogismo y verificar s esta en forma estndar.o Ningn submarino nuclar es un navo comercial, as, ningn barco de guerra e s eun enavo ecomercial, epuesto eque etodos elos esubmarinos enuclares eson e barcos de guerra. e Como el argumento deductivo est oformado opor otres oproposiciones ocategricas oqu e ocontienen exactamente los tres trminos: submarino nuclear, navo comercial y bar cos de oguerra, se puede afirmar que se trata de un silogismo categrico.o La conclusin se identifica como la proposicin: o ningnLbarco de guerra es un navo comercial. Y las premisas como las proposiciones: ningn submarino nuclear es un navo comercialLy 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 Lnavo comercial.

El sujeto de la conclusin es barco de guerra, el cual se constituye en el trmino m enor y opor consiguiente la premisa menor es, todos los submarinos nucleares son barcos de Lguerra. El anlisis anterior permite afirmar que es un silogismo categrico en forma estndar el ocual se puede escribir as:o Premisa mayor:Lningn submarino nuclear es un navo comercial oPremisa menor:Ltodos los submarinos nucleares son barcos de guerra Conclusin:LPor lo tanto ningn barco de guerra es un navo comercialo Ejemplo 3 L Teniendo en cuenta el siguiente argumento deductivo, identificar la conclusin, es tablecer ola naturaleza del silogismo y verificar si est en forma estndar.o Todos los satlites artificials son descubrimientos cientficos importantes; epor lo tanto, algunos descubrimientos cientficos importantes no son inventos enorteamer icanos epuesto eque ealgunos esatlites eartificials eno eson enorteamericanos. e El argumento deductivo est formado por tres proposiciones categricas que contienen los otrminos: satlites artificiales, descubrimientos cientficos, inventos norteame ricanos, por lo otanto se puede afirmar que se trata de un silogismo categrico.o Las premisas son: I Todos los satlites artificiales son descubrimientos cientficos oimportantes, oalgu nos osatlites artificiales no son norteamericanos.o La conclusin es: I Algunos descubrimientos cientficos importantes no son inventos norteamericanosA El predicado de la conclusinees el trmino invento norteamericano, el cual se const ituye en el trmino mayor y por consiguiente, la premisa mayor es, algunos satlites artif iciales% no son norteamericanos. El sujeto de ela conclusinees descubrimientos cientficos, el cual ose constituye e n el% trmino menor y por consiguiente la premisa menor es, todos los satlites artificial es son% descubrimientos cientficosA Teniendo en cuenta el anlisis anterior, se puede afirmar que es un silogismo cate grico% en forma estndar, el cual se puede escribir asA Premisa mayor: algunos satlites artificiales no son norteamericano' Premisa menor: todos los satlites artificiales son descubrimientos cientfico' Conclusin: oalgunos odescubrimientos ocientficos oimportantes ono oson oinventos% norteamericanos.

--------------------------------------------Nemotecnia -------------------------------Forma Estndar de un silogismo categricoL Sigue el siguiente protocolo y logrars el objetivo....no olvides divertirte:o 1. Identifica los tres trminoso 2. Separa las premisas de la conclusino 3. Analiza la conclusin obteniendo de esta el Sujeto y el Predicado 4. Identifica la premisa Mayor, y la premisa menor 5. Identifica el trmino medio.o as premisas LPrimera premisa: Solo esta premisa contiene el trmino mayoroSegunda premisa: Solo esta premisa contiene el trmino menoroExiste un trmino medio que apa rece en las dos premisaso a conclusin: -Contiene 2 de los 3 trminos de la siguiente manera: LPara Lidentific ar Lcual Les Lla Lpremisa Lmayor Lbusca Lel Lpredicado Lde Lla Lconclusin y obser va en cual de las dos premisas aparece este. LTrmino MayoroPredicado de la conclu sinoTrmino menoroSujeto de la conclusino a-------a

Argumento deductivo I Un argumento en el cual las premisas involucradas proporcionan bases concluyente s para la verdad de la conclusin, se llama argumento deductivo. L L Consiste en deducir su conclusin oa opartir ode osus opremisas, omediante ouna os erie ode oargumentos elementales, cada uno de los cuales se conoce y acepta como vlido Argumento Vlido I Un argumento que sigue una regla bien establecida se dice que es vlido; los argum entos ose juzgan como aceptables o inaceptables en la medida en que sean vlidos.o IValidez o invalidez de un argumento I Para probar la validez el hecho de que stas son r, oque dos argumentos s, oindependientemente o invalidez de un argumento, se utiliza un mtodo basadoen caractersticas puramente formales de los argumentos, es deci que tienen exactamente la misma forma; son vlidos o invlido de las diferencias del tema que traten.

Especficamente, opara probar la invalidez de un argumento, basta con formular otr o argumento que tenga exactamente la misma forma y tenga premisas verdaderas y conclusin falsao LValidez de un argumento L En teora, las tablas de verdad son apropiadas para probar la validez deoun argume nto de tipo general, pero en la prctica son cada vez ms difciles de manejar a medida que o aumenta el nmero de enunciados o proposiciones que conforman dicho argumento. Un omtodo ms eficiente para probar la validez de un argumento extenso consiste en ded ucir su conclusin a partir de sus premisas, mediante una serie de argumentos elemental es, ocada uno de los cuales se conoce y acepta como vlido, este proceso es el que se odenomina mtodo deductivo.o Prueba formal de validez Se define una prueba Lformal Lque 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 interpreta r como el proceso de sustituir enunciados o proposiciones en lugar de variables enunciativas.

Prueba de invalidez L Es obvio que, para un argumento invlido no existe una prueba formal de validez. P ero, si ono se puede hallar una prueba de validez para un argumento, eso no quie re 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 overdad, pero que es mucho ms breve, en el cual se prueba la invalidez mento ohallando un nico caso en el que ose oasignan valores ode verdad riables del enunciado de tal forma que las premisas sean verdaderas y la conclusin que olleva a concluir que la forma argumental es invlida.o Ejemplo 1 L Probar la invalidez del siguiente argumento por el mtodo de asignar valores de ve rdad.o L 1. Lf . r L 2. Lp . r L 3. L. f . p L Para probar que este argumento es invlido sin tener que construir una tabla de ve rdad ocompleta, es necesario tener claro que un condicional es falso solamente s i su antecedente es verdadero y su consecuente falso, utilizando este hecho se proced e a asignar valores de verdad a las proposiciones de la conclusin, es decir, si Fes v erdadero y PLes falso, entonces, la conclusin es falsa. Si a la proposicin RLse le asigna e l 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 Fy RLse les asigna un valor verdadero y a la proposicin PLun va lor falso, entonces el argumento tendr premisas verdaderas youna conclusin falsa, con lo ocual queda probado que el argumento es invlido.o Con este mtodo lo que realmente se hace es construir un rengln de la tabla de verd ad odel argumento indicado, la relacin se puede observar ms claramente cuando los valores ode verdad se escriben horizontalmente, de la siguiente forma: -------- Nemotecnia------ L PREMISAS VERDADERAS LCONCLUSIN LFALSA Lf Lr Lp Lf . r Lp . r Lf . p Lverdadero ve rdadero falso verdadero verdadero falso las tablas de de un argu oa las ova falsa, lo

Argumento Invalido 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. L Si Sandra es inteligente y estudia mucho, sacar buenas calificaciones y aprobar el ocurso. Si Sandra estudia mucho pero no es inteligente, sus esfuerzos sern aprec iados y osi sus esfuerzos son apreciados, aprobar el curso. Si Sandra es intelige nte, entonces oestudia mucho. Luego, Sandra aprobar el curso.o Tomando el siguiente lenguaje simblico I: Sandra es inteligente S: G: P: A: Se Sandra estudia mucho Sandra sacar buenas calificacione' Sandra aprobar el cur' los esfuerzos de Sandra sern apreciado' pueden establecer las siguientes premisas:

1. (i . s) . (g . p) 2. [(s .. i) . t] . [t . p] 3. i . s 4. . pL Este argumento es invlido porque con cualquiera ode las osiguientes oasignaciones ode o valores de verdad la conclusin PLes falsa. i sgt pLF Li sgt FFVF FFFF L pLF

Ejemplo 3 L Si la inflacin continua, entonces las tasas de inters permanecern altas. Si la infl acin ocontina, entonces osi las tasas ode ointers permanecen altas, descender la act ividad ocomercial. Si las tasas de inters permanecen altas, entonces si la activi dad comercial decrece, el desempleo aumenta. As, si el desempleo aumenta, continuar la inflacin.o Tomando el siguiente lenguaje simblico:o P: Q: R: S: Se la inflacin continao las tasas de inters permanecen alta' descender la actividad comercia$ el desempleo aumenta pueden establecer las siguientes premisas:

1. p . q 2. p . (q . r) 3. q . (r . s) / . s . p L Este argumento es invlido porque la siguiente asignacin de valores de verdad hace las opremisas verdaderas pero la conclusin falsa:o p Lq Lr Ls Lp . q Lp . (q . r) Lq . (r . s) Ls . p LF F F V V V V F Inconsistencia L En algunos casos no se puede dar ninguna asignacin ode ovalores ode overdad oa ol os oenunciados de un argumento que hagan verdaderas sus premisas y falsa su conc lusin, oentonces, en este caso el argumento debe ser vlido. L

Inferencias lgicas L L Para definir las inferencias lgicas es necesario precisar algunos conceptos tales como orazonamiento y demostracin.o RazonamientoLes el proceso que se realiza para obtener una demostracin.oDemostrac inLes el encadenamiento de proposiciones que permiten obtener otra proposicin, llamada conclusin, a partir de ciertas proposiciones iniciales supuest as como overdaderas, que reciben el nombre de premisas. En la seccin o se har un anlisis ms detallado de la demostracin.o as inferencias lgicas: son las conclusiones que se pueden obtener despus de realiz ar oun 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 oley es de la lgica.o As, el conocimiento obtenido de proposiciones verdaderas preestablecidas (premisa s), y aplicando las leyes de la lgica aoesas premisas, se denomina conclusin. A continuacin se plantean algunas reglas de inferencia, se propone al estudiante, como oejercicio, probar su validez utilizando las tablas de verdad:

Reglas de inferencia L L1. Modus Ponens (M. P) Lp . q L L L Lp . q 2. Modus Tollens (M. T) Lp . q . q . . p 3. Silogismo Hipottico (S: H) Lp . q q . r . p . r 4. Silogismo disyuntivo (S. D) Lp . q . p . q 5. Dilema constructivo (D.C) L(p . q) . (r . s) p . r .q . s 6. Absorcin (Abs.) Lp . q . p . (q . p) 7. Simplificacin (Simp.) Lp . q . p 8. Conjuncin (Conj.) Lp q . p . q 9. Adicin (Ad.) Lp . p . q L

------Nemotecnia-------- L L LPONENS = PONER L LTOL------ENS = SACAR = NEGAR L A continuacin encontrars algunos ejemplos que te permitirn comprender mejor las ore glas de inferencia : Ejemplos: R 1. Modus Ponens (M. P) L L Modus Ponens (M. P) L Si llueve hace fro L p . q yllueve Lluego Hace froL p . q 2. Modus Tollens (M. T) L Modus Tollens (M. T) L p . q Si llueve hace fro L Y no Hace fro Lluego no lloviL . q .. p 3. Silogismo Hipottico (S: H) L Silogismo Hipottico (S: H) L p . q Si llueve hace fro L Si hace fro llevo un abrigo Lluego si llueve llevo un abrigoL q . r . p . r

4. Silogismo disyuntivo (S. D) LSilogismo disyuntivo (S. D) p . q Cae Cara o Sello L . p No cay sello L . q luego cay cara.L5. Dilema constructivo (D.C) LDilema constructivo (D.C)L Si estudio aprendo y si duermo descanso. L (p . q) . (r . s) Estudi o dorm. L p . r uego Aprend o descans.R .q . s 6. Absorcin (Abs.) L Escribe en este espacio un ejemplo para Absorcin: R p . q . p . (q . p)

7. Simplificacin (Simp.) L p . q . p 8. Conjuncin (Conj.) L p q . p . q 9. Adicin (Ad.) L p . p . q Escribe en este espacio un ejemplo para Simplificacin:R Escribe en este espacio un ejemplo para Conjuncin:R Escribe en este espacio un ejemplo para Adicin:R A continuacin ose oestudiarn oalgunas ode ostas oreglas ode oinferencia, olas ocual es ocorresponden a los argumentos elementales y cuya validez se puede establecer por medio de las tablas de verdad: L LModus Ponendo Ponens (MPP) L L [(p . q) p ] . q LModus Tollendo Tollens ( MTT ) L L [(p . q) ! ~q] . ~p LModus Tollendo Ponens ( MTP) L q ~ q [ q ~ L[ ) p o ( ) q ( p ! ] . p ! ] .

p L Silogismo Hipottico ( SH ) L [(p . q) ( q . r)] . (p . r)

Modus Ponendo Ponens (MPP) L 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 asD L L L L L[ ( p . q ) p ] . q Ejemplo 1. Premisa 1:LSi Julin estudia Ingeniera de sistemas a distancia, entonces l estudia e n la% UNAD. Premisa 2:LJulin estudia Ingeniera de sistemas a distancia.oConclusin:Julin estudia en la UNAD.o Simblicamente, el ejemplo 1 se expresa as:o Si p: Julin estudia Ingeniera de Sistemas a Distancia q: l estudia en la UNAD.oProcedemos ahora a utilizar el lenguaje simblico definido , as:oPremisa 1: p . qL LEjemplo 2.LPremisa 2: pLConclusin: qL Premisa 1:LSi x+ y=z,entonces,y+x=z. Premisa 2:Lx+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: qo Ejemplo 3. L Premisa 1: ~p . s Premisa 2: ~p Conclusin:s LEjemplo 4.L Premisa 1: ~r . ~t ! s Premisa 2L: ~r Conclusin:~ t so

Modus Tollendo Tollens ( MTT ) Esta regla de inferencia dice que si una implicacin es verdadera y su consecuente es ofalso, entonces su antecedente ser necesariamente falso; simblicamente se exp resa as:o L L[ ( p . q ) ~ q ] . ~ p L Ejemplo 1 L Premisa 1A Si un ngulo de un tringulo es mayor de 90, entonces la suma de los otros o dos ngulos es menor de 90.oPremisa 2:LLa suma de los otros dos ngulos no es menor d e 90.oConclusin: Un ngulo de un tringulo no es mayor de 90.o Simblicamente:o p: Un ngulo de un tringulo es mayor de 90.o q: La suma de los otros dos ngulos es menor de 90.oPremisa 1: p . q Premisa 2: ~ q Conclusin: ~ / Ejemplo 2 L Deducir una conclusin del siguiente conjunto de premisasA Premisa 1:Lq . ~r Premisa 2:L~ (~ r) Conclusin:~ q. Ejemplo 3. Premisa 1:Lp q . r Premisa 2:L~r Conclusin:~ (p q) . ~p ~ q oD. Morgan.o Ejemplo 4. L Demostrar que la conclusin es consecuencia de las premisas dadas.oPremisa 1:L~b Premisa 2:La . b Premisa 3:L~a . c. Demostrar c. Premisa 4: De la premisa 2 y de la premisa 1, [(a . b) ~ b] se puede oconcluir ~a por el MTT. Premisa 5. De las premisas 3 y 4, [(~ a . c) ~ a] se puede concluir la oproposicin cLpor el MPP. LModus Tollendo Ponens ( M TP) L

Esta ley se enuncia as:o

Si una disyuncin es verdadera y una de sus proposiciones simples es falsa, entonc es necesariamente la otra proposicin ser verdadera. Simblicamente se escribe as:o [ ( p L q ) ~ p ] . q o [ ( p L q ) ~ q ] . p L Ejemplo 1 L Premisa 1:LO la energa interna de un tomo puede cambiar con continuidad o cambia slo a saltos. oPremisa 2:LLa energa interna de un tomo no puede cambiar con continu idadoConclusin: La energa interna de un tomo cambia slo a saltos.o Simblicamenteo p: La energa de un tomo puede cambiar con continuidad q: La energa de un tomo slo cambia a saltosoPremisa 1: p q oPremisa 2: ~ p Conclusin:oQ. Ejemplo 2 L Premisa 1:L~q roPremisa 2:L~r Conclusin:~q Ejemplo 3 L Premisa 1:L(s t) r oPremisa 2: ~(s ! t) Conclusin:r Ejemplo 4. L Demostrar que la conclusin es consecuencia de las premisas dadas.oPremisa 1: ~q s Premisa 2:L~s Premisa 3.L~ (r ! s) . q. Demostrar: r s o Premisa 4:LDe las premisas 1 y 2 se puede concluir ~ qLpor MTPLPremisa 5:LDe las premisas 3 y 4 se puede concluir ~ (~ (r s))Lpor MTT, que es equivalente a r sLpor la ley de la doble negacin. o L

Silogismo Hipottico ( SH )L Es un argumento que se expresa simblicamente as:o [ ( p . q ) ( q . r ) ] . ( p . r) L Ejemplo 1.L Premisa 1.LSi el agua se hiela, entonces sus molculas forman cristales.oPremisa 2 . Si las molculas forman cristales, entonces el agua aumenta de volumen.oConclusin . Si el agua se hiela, entonces el agua aumenta de volumen. Simblicamenteo Sean las proposiciones p: El agua se hiela q: Sus molculas forman cristalesor: El agua aumenta de volumen Premisa 1. p . q Premisa 2. q . r Conclusin. p . r Ejemplo 2 L Premisa 1.Lq . ~p Premisa 2. ~p . r Conclusin.Lq . r Ejemplo 3L Premisa 1.Ls t . r q Premisa 2.Lr q. ~p Conclusin.s t . ~p Ejemplo 4. L A partir de las premisas dadas indicar la demostracin de la conclusin.o Premisa 1:L~r Premisa 2:L~p. q Premisa 3:Lq . r Demostrar pL Premisa 4:LDe las premisas 2 y 3 se concluye ~ p . rLpor SHL Premisa 5:LDe las premisas 1 y 5 se concluye pLpor MTT.

Ejemplos de aplicacin de las leyes de inferencia: R Ejemplo 1 L En el siguiente ejercicio se propone un ejemplo de construccin de una prueba de v alidez:o Si gana Gloria o Hctor, entonces pierden tanto Jorge como Kelly. Gloria gana. Por lo etanto, pierde Jorge. e Para analizar y construir la prueba de validez, es necesario utilizar un lenguaj e simblico oque permita simplificar los enunciados, as:o Identificacin de las premisas: G L= Gloria gana LH L=Hctor gana LJ L= Jorge gana LKL= Kelly pierde L Por lo tanto la prueba de validez ser:o L1. L(G . H) . (J . K) L2. LG L L L. J (Se lee: de donde J) L L3. LG . H L L L2, Ad. (Se lee: de donde J) L4. LJ . K L L L1,3, M. P L5. LJ L L L L4, Simp. L

Ejemplo 2 L Si sigue lloviendo, entonces el ro crecer. Si sigue lloviendo. Si sigue lloviendo y el ro ocrece, entonces el puente ser arrastrado por las aguas. Si la continuacin de la lluvia ohace que el puente sea arrastrado por las aguas, entonces no ser su ficiente un solo camino para toda la ciudad. O bien un solo camino es suficiente para toda la ciu dad o bien los ingenieros han cometido un error. Por tanto, los ingenieros han cometido un error. Utilizando el siguiente lenguaje simblico:o C: contina lloviendo R: elro crec& P: S: E: La a 1. R 2. R) P 3. P) S el puente es arrastrado por las aguas un solo camino es suficiente para toda la ciudad los ingenieros han cometido un error prueba formal de validez es: a LC . L(C . . L(C . ..

4. LS . E L L/ . M L5. LC . (C . R) L1, Abs. L6. LC . P L L5,2, S. H. L7. L. S L L3,6, M. P. L 8. LE L L4,7, D. C. L L

Ejemplo 3 L 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 o deber. O bien un hombre se gua siempre por su sentido del deber, o bien siempre s e oorienta por su deseo de placer. Si un hombre se gua siempre por su sentido del deber, no odescuidar a menudo su deber, y si siempre se gua por su deseo de place r, no renunciar oal goce de muchos placeres. Luego, un hombre debe renunciar al g oce de muchos placeres si y slo si no descuida a menudo su deber.o 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 deoplacer S: olvidar su debero Las premisas quedan as: a 1. P . Q L 2. R . S L 3. P . R L 4. P.. S L 5. R .. Q / . Q . . S L

Ejemplo 4 L Si no ocurre, que si un objeto flota en el agua entonces es menos denso que el a gua, 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 d e agua igual a su propio peso. Si puede desplazar una cantidad de agua igual a su propio peso, entonces el obje to flotar oen el agua. Por tanto, un objeto flotar en el agua si y slo si es menos denso que el agua.o 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:o 1. L. (P . Q) . R 2. L. R 3. LQ . S 4. LS . P / . P . Q Demostrar P . QLequivale a demostrar que P . QL. Q . P. 5.LP . Q Por MPPLentre 1Ly k 6.LQ . P Por S.HLentre 3Ly j

a demostracin L La demostracin es un razonamiento que prueba la validez de un nuevo conocimiento; es oel enlace entre los conocimientos recin adquiridos y los conocimientos anter iores. Losoprocedimientos de demostracin opermiten oestablecer ola oconexin olgica oentre olas oproposiciones fundamentales de la teora, sus consecuencias sucesivas , hasta deducir la oconclusin o tesis que as se demuestra.o Los principales tipos de demostracin son: a Demostracin directa: LLa demostracin directa de una proposicin tL(teorema) es un co njunto de proposiciones o premisas que son postulados o proposiciones de validez aceptada y de las cuales se infiere t como consecuencia inmediata. Ejemplo 1. L Dadas las premisas: 1. p ..q 2. r . q ConcluirL: t. p ..r Demostracin:% Puesto que r . qLes 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.L Ejemplo 2 L Demostrar que si xLes impar, entonces que x2Les impar. El enunciado genera las siguientes premisas: 1. xLes impar 2. x = 2n+ 1, donde n es un entero Hay que demostrar que x2 = (2n + 1)2 es impar. Demostracin: Si xLes 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 + 2= como el entero m, se tiene que: x2 = (2n + 1)2 = 2m + 1, es decir , x2Les un nmero impar.o L

Demostracin indirecta: L Se realiza una demostracin oindirecta cuando ose establece la validez ode una tes is t oprobando que las consecuencias de su contraria son falsas. Ejemplo 1. L Construir la demostracin indirecta de:oSi x2Les par, entonces xLes par, (con xLen tero) Suponga que existe al menos un entero xLtal que x2Les par y xLes impar. Por el e jemplo 2 analizado en la demostracin directa, se sabe que si xLes impar, entonces x2Les im par, luego es imposible que xLsea impar y que x2Lsea par. Esta es la contradiccin busc ada.o L LDemostracin por recursin: L Cuando la tesis se prueba por medio de induccin matemtica.o Ejemplo 2. L Este tipo de demostraciones se utilizan cuando los enunciados tienen una proposi cin oabierta en una variable n, y es necesario demostrar que tal proposicin se ver ifica para otodos los elementos nLque pertenecen a un subconjunto infinito dado sobre los nmeros oenteros, el axioma de la induccin matemtica es el siguiente:o Dado un conjunto de nmeros enteros A = {n / n . a}Ly una proposicin de la forma P( n),Lse puede demostrar la verdad de esta proposicin estableciendo los siguientes pasos:o I. P(a)Les verdadera cuando se sustituye n por a en P(n)L II. Se supone que la proposicin P(n)Les verdad para todo kLdel conjunto A, es decir, P(k)Les verdadera, a esta proposicin, se le llama Hiptesis de Induccin.o III. Se demuestra que para el siguiente trmino al k-simo, osea k+1, P(k+1)Les verdadera. Ejemplo 3. L Demostrar que para todo entero . 1, se verifica que: P(n): 1+2+.+n = n (n+1) / 2 L I. P(1) es verdadera porque : 1 = 1(1 + 1) / 2L II. Hiptesis de Induccin: P(k): 1+2+.+k = k (k + 1) / 2Lpara todo k . 1L III. Demostrar para el trmino k + 1, es decir, probar que se verifica: 1 + 2 + . + k + k + 1 = (k + 1) (k + 2) / 2. L Por hiptesis de induccin:o1+2+.+k = k (k + 1) / 2Lpara todo k . 1, sumando k + 1La cada miembro de esta igualdad se obtiene:

1+2+.+k + k + 1 = k (k + 1) + k + 1oresolviendo la suma 2 = k2+k+2k+2 sumandotrminos semejanteso2 = k 2 + 3 k + 2 factorizando 2 = (k+1)(k+2) / 2 loquesequera demostrar.o Demostracin por refutacin: L Es el razonamiento que prueba la falsedad de una hiptesis o la inconsecuencia de su osupuesta demostracin; los mtodos de refutacin son la refutacin por contradiccin y la orefutacin por contraejemplo.o Refutacin por contradiccin: L Refutar la proposicin ol cuadrado de todo nmero impar es un nmero par..: Como todo nmero impar se puede escribir de la forma 2n + 1, donde nLes un entero, y puesto que todo nmero par se puede escribir en la forma 2m, con mLun entero, la proposicin dada implica que:o (2n + 1)2 = 2m para algn nLy algn mLo, 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 divisibl e por 2. Esto es una contradiccin evidente y, por lo tanto, la proposicin dada es falsa.o L Refutacin por contraejemplo:L Refutar la proposicin ol cuadrado de todo nmero impar es par.: e Se debe encontrar un nmero impar cuyo cuadrado sea impar, como 52 = 25, queda refutada la proposicin.o Se deja como ejercicio de consulta investigar otros ejemplos de los tipos de dem ostracin oy de los mtodos de refutacin.o

: Captulo @ 55 ! : Induccin L

ObservacinoExperiencia Probabilidad

L Objetivo General I Utilizar el mtodo inductivo para establecer si las premisas que conforman un argu mento oson verdaderas, sin tener que demostrar la verdad de la conclusin.o Objetivos especficos I 1. Identificar los argumentos analgicos oy oclasificarlos ocomo oprobables o ono opr obables. 2. Evaluar argumentos analgicos.o 3. Refutar un argumento por medio de una analoga.o

L3.1 Introduccin L 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 establ ecer osi las premisas son probables o probablemente verdaderas, sin pretender de mostrar la verdad de sus conclusiones como consecuencia necesaria de las premisas, este tip o de argumentos recibe el nombre de Argumentos Inductivos. I----observacin y experiencia las bases de la induccin----- I El mtodo inductivo es un tipo de razonamiento que se deriva de la observacin y de la oexperiencia, lo cual lo hace totalmente diferente al mtodo deductivo (estudia do en el ocaptulo anterior) y se basa fundamentalmente en dos aspectos:o L 1. En la semejanza que hay entre los objetos. ---OBSERVACIN--2. En suponer que un suceso puede volver a ocurrir teniendo en cuenta que en condiciones similares ha sucedido. ---EXPERIENCIAEl primer aspecto hace referencia a la observacin y el segundo en la experiencia. o -----la observacin y la experiencia nos inducen a una concluisin ------------La aplicacin o el oanlisis ode estos odos oaspectos permiten oinferir o pronostica rLlos efectos que producir la ocurrencia del suceso, tomando como referencia lo ocurrid o con oeventos anteriores de caractersticas similares.

El problema de la induccin: I 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 YL, .el evento cLdel tipo XLes seguido del evento dLdel tipo YL, y as su cesivamente; otiene por conclusin una formulacin general, Sin restricciones: .even tos del tipo X son oseguidos por eventos del tipo Y . o 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 sa ber si oes verdadera basada en la verdad de las premisas. El problema lgico de cmo justificar ese tipo de razonamientos se llama tradicional mente o .el problema de la induccino las razones de este problema son:o 1. Como la conclusin es general, tendr una aplicacin ms amplia de la que e cualquier conjunto de premisas pueda garantizar.---LA CLAVE--(La conclusin es : ms general que las premisas)---e2. La verdad de la conclusin no puede nunca ser garantizada por la verdad de la s epremisas porque siempre puede presentarse un nuevo caso que convierta en fals a ela conclusin.--- :LA :CLAVE---(En :algn :momento :se :puede :llegar :a :dar :un a : premisa falsa)---.: 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.o

3.2 Argumento inductivo por analoga L La analoga es la base de la mayora de los razonamientos que van de la experiencia pasada a lo que sucederoen el futuro. . La mayora de las inferencias cotidianas proceden por analoga. o . Ningn argumento por analoga pretende ser matemticamente cierto. o . Los argumentos analgicos no se clasifican como vlidos o invlidos, lo nico oque se pu ede afirmar de ellos es que son probables o no probables. La analoga tambin se usa en la explicacin, donde algo no familiar se hace inteligib le por medio de una comparacinLcon alguna otra cosa, presumiblemente ms familiar, con la ocual tiene ciertas similitudes. El uso de analogas en la descripcin y la explicacin no es igual que su uso en la oa rgumentacin, oaunque en oalgunos casosopuede no resultar fcil odecidir cul uso ose opretende hacer. Hacer una analogaLentre dos o ms entidades es indicar uno o ms aspectos en los que oson similares, mientras que caracterizar Lun LargumentoLpor LanalogaLes en trminos ogenerales, od escribir 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 otambin esa otra caracterstica.o

Ejemplo 1. L Identifique en el siguiente prrafo el argumento analgico o Los escritores eJHON eDOLLARD ey eNEAL eE. eMILLER, en esu elibro ePersonalidad ey! psicoterapia afirman:& ! Hemos dicho que las personas normals tienen poca motivacin para dedicar un e sfuerzo especial al estudio de s mismas. Lo mismo es cierto de la aritmtica. Si la epresin de los padres y de la escuela no proporcionara una motivacin, habra un eap rendizaje escaso de las matemticas. Por analoga, parece posibl que pueda emotivars e y prepararse a los nios para usar sus habilidades mentals con el fin de eresolv er eproblmas emocionals. eEn ela eactualidad, eno ereciben ecasi eninguna eprepa racin para el desarrollo de esta importante capacidad .. e En este prrafo, el argumento analgico es: Si la presin de los padres y de la escuel a no proporcionara una motivacin, habra un aprendizaje escaso de las matemticas. La analoga se basa en la semejanza. .OBSERVACIN L L LEjemplo 2 L Si alguien dice que le han extrado ouna omuela osin anestesia y otro le expresa s u consideracin, entonces surge la pregunta: Cmo sabe que le doli? Una respuesta opodra ser: .Yo he ido al odontlogo y s cuanto duele una simple curacin sin anestesia, o cmo ser una extraccin?, l tiene el mismo tipode sistema nervioso que yo, por lo tanto puedo inferir que en esas condiciones, sinti un terrible doloro En este caso el argumento analgico se fundamenta en la EXPERIENCIA,Ltendiendo en cuenta que en condiciones similares ya sucedi.o

3.3 Evaluacin de los argumentos analgicos L Ningn oargumento opor oanaloga oes odeductivamente ovlido, oen oel osentido ode oqu e ola oconclusin no es consecuencia necesaria de las premisas, lo que se puede es tablecer es osi sus conclusiones son Lms Lo Lmenos Lprobables.LPara lograr este p ropsito oes oindispensable fijar algunos criterios que permitan llevar a cabo la evaluacin ode oargumentos analgicos, estos son:o 1. Nmero de entidades entre las que es establece la analoga.o 2. Nmero de aspectos en los cuales las cosas involucradas se dice que son anlogas.o 3. La fuerza de las conclusiones con respecto a sus premisas. Ejemplos: L 1. Nmero de entidades entre las que es establece la analoga. -EXPERIENCIASignifica que es importante tener en cuenta el nmero de veces que ha ocurrido elosuceso, esto da ms consistencia a la conclusin y una mayor probabilidad de que se repita e l osuceso. L LEjemplo 3. L Si un electrodomstico que se compro en un determinado almacn sali defectuoso, una o 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 o10 electrodomsticos comprados all han resultado defectuosos, la conclusin cobra m ayor ovalidez y la probabilidad de que siga ocurriendo lo mismo crece. L 2. Nmero de aspectos en los cuales las cosas involucradas se dice que son anlogas. o --OBSERVACICN--LEste 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 serola validez de la conclusin. L L

Ejemplo 4. L El hecho de que un par de zapatos nuevo, ha sido comprado en el mismo almacn que el opar 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 ose osigue con mayor op robabilidad si la premisa afirma no solamente que los zapatos fueron comprados e n la misma tienda, sino que son de la misma marca, que eran los ms caros del almacn y q ue otienen el mismo estilo. L L3. La fuerza de las conclusiones con respecto a sus premisas. L En este caso el criterio afirma que con premisas iguales se pueden generar concl usiones diferentes y que su validez no depende de las premisas sino de la fuerza de la c onclusin. a L LEjemplo 5. L Una persona adquiri un carro nuevo y la ha dado un rendimiento de 10 Km / litro d e ogasolina, otra persona puede inferir que su carro nuevo, de la misma marca y modelo le dar un rendimiento igualo(lo cual es probable); pero si la inferencia es que su c arro le dar oun rendimiento superior a 10 Km / litro, entonces esta conclusin ser m enos probable y la oconclusin ser mucho ms dbil si se afirma que el automvil rendir ex actamente 10 Km o/ litro.

3.4 Refutacin por medio de una analoga lgica L Un mtodo bsico, para evaluar como vlido un argumento desde el punto de vista lgico, oes el que recurre a la analoga para demostrar que otro argumento est equivocado o es oincorrecto. 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 u na ode sus premisas es falsa o est equivocada. a Si un argumento tiene premisas verdaderas pero conclusin falsa, esto es base sufi ciente opara clasificarlo como invlido; pero, si no se sabe si las premisas son v erdaderas o falsas, ose puede probar su invalidez construyendo una analoga refuta dora o Se define una analoga orefutadora ode oun oargumento odado ocomo 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 oinvlida y como el argumento original tiene la misma forma tambinose considera in vlido.o L LEjemplo 6 L El siguiente texto muestra una analoga refutadora.o El seor Clifford A. Wrigth afirma que Israel no es una democracia porque otorga a l ejudasmo una posicin especial dentro de ela Ley. Realmente es eas? La Ley ebritnica contra la blasfemia protege solamente a las crencias de los cristianos. eEsas l yes no vician los reclamos britnicos que es un pas democrtico, aunque se epuede argi r que en virtud de ellos su democracia es menos perfecta. Israel tiene esufragio universal, un sistema multipartidista y una prensa libre. Para todos, menos epa ra los ciegos partisanos, esto significa que es una democracia.. e --------------------LA CLAVE -----------------Observaste como la induccin est relacionada con la probabilidad?

Unidad > 22 L L lgebra Booleana y L circuitos lgicos L

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

: Captulo ^ 11 !

Un lgebra booleana

+ U L R * n R L= = . L

L LNTRODUCCIN L El lgebra bleana, estudiada por primera vez en detalle por JORGE BOOLE, constituy e un rea ode olas omatemticas oque oha opasado oa ocupar oun olugar oprominente ocon oel oadvenimiento de la computadora digital; en este caso proporcionan un eslabn entre el o lgebra de conjuntos y el clculo proposicional. Son usadas ampliamente en el diseo d e ocircuitos de distribucin y computadoras, las aplicaciones de la electrnica digi tal a los oprocesos de control y automatismo industriales estn fundamentadas teric amente en este osistema matemtico.o Los circuitos digitales o lgicos operan de un modo binario donde cada voltaje (sea l) de oentrada o de salida es un cero (0) o un uno (1). Las designaciones 0 y 1 representan intervalos predefinidos de voltaje. Esta caracterstica ode los circuitos lgicos pe rmite oemplear el lgebra booleana en el anlisis y diseo de sistemas digitaleso I IVariables y constantes booleanas I Las variables y constantes del lgebra bleana slo pueden tener dos valores: el cero (0) o o el uno (1). Una variable booleana, denominada tambin variable lgica, se emplea p ara representar el nivel de voltaje presente en los terminales de entrada y salida d e un circuito. En algunos casos este nivel de voltaje recibe el nombre de .nivel lgico de la var iable. oCuando el nivel del voltaje es bajo (entre 0 y 0.8 voltios) se emplean tr minos como falso, Ldesactivado, no, interruptor abierto (0). Cuando el nivel lgic o es alto (por ejemplo entre o4 y 5 voltios), se emplean trminos como verdadero, activado, si, interruptor cerrado L(1). L L El lgebra bleana se utiliza para describir los efectos que producen las entradas lgicas osobre los diversos circuitos digitales (circuitos lgicos).o

Definicin I Las propiedades del sistema matemtico ode la lgica osimblica ose pueden oaplicar oa l o lgebra de conjuntos; para tal fin, se forma un sistema matemtico abstracto llamado o lgebra Booleana, en el cual los smblos carecen de significado, de tal manera que e sta o lgebra puede aplicarse a otras reas.o Para definir este sistema abstracto es conveniente recordar que una operacin bina ria es una funcin que asigna a cada pareja ordenada un solo elemento.o Un lgebra bleana es un sistema algebraico constituido por un conjunto A formado p or oelementos a, b, c, .z, dos operaciones binarias simblizadas por # y * defini das sobre el oconjunto A y una relacin de equivalencia simblizada por =, tales qu e, para cualesquiera oelementos a, b y c de A, se verifican las siguientes propi edades o axiomas: 1. LCerradura o clausurativa: (a#b) y(a*b) tambin son elementos del conjunto Ao 2. Conmutativa: (a#b) = (b#a) y (a*b) = (b*a) 3. Asociativa: L L L (a#b)#c=a#(b#c) y (a*b)*c = a*(b*c) 4. Distributiva: a#(b*c) = (a#b)*(a#c) y 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 o A tal que: a#a. = 0 y a * a. = e.oEl elemento a. se llama elemento inverso para las operaci ones # y * o

4.4 lgebra booleana en sistemas numricos L Para este sistema se puede adaptar la siguiente simbologa:o A: El conjunto de los enteros ( Z ) L Operaciones binarias: + Ladicin L L L L * Lproducto L Relacin de equivalencia: = LigualdadL A continuacin se realiza la verificacin de que el conjunto de nmeros enteros ( ZL) es un lgebra bleana, es decir, que satisface dada una de las siguientes propiedades par a cualesquiera a, b, c y dLelementos del conjunto Z. 1. Cerradura: a+b=c y a*b=d 2. Conmutativa: a+b=b+a y a* b=b*a 3. Asociativa: a+(b+c)= (a+b)+c = (a+c)+b a* (b*c) = (a*b) * c = (a*c)*b L 4. Distributiva: a + (b * c) = (a + b) * (a + c) a a a * (b + c) = (a * b) + (a * c) I 5. Identidad: Existen en ZLelementos 0Ly 1Ltales que: La+0=a y a*1=a El 0Ly el 1Lreciben el nombre de elementos neutros para la adicin y la multiplica cin% respectivamente. 6. Complementacin:LPara 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 multi plicativo, oes decir, no existe un elemento en los enteros tal que al multiplica rlo con otro entero de como resultado el elemento neutro del producto (1)

4.5 lgebra booleana de los conjuntos L Para este sistema se interpreta la simbologa del lgebra bleana as:o A: Todos los subconjuntos del conjunto universal .Uo LOperaciones binarias: L L U Unin L L L L n Interseccin LRelacin de equivalencia: L L = IgualdadL A continuacin se demuestra que el lgebra de conjuntos satisface las propiedades de un lgebra booleana. Sean B, CLy DLsubconjuntos del conjunto AL 1. Cerradura: L L B U C es un subconjunto de A y B n C es un subconjunto de C 2. Conmutativa: L BUC= CUB y B n C = C n Bo 3. Asociativa: L (B U C) U D = B U (C U D) (B n C) n D = B n (C n D)A 4. Distributiva: L L B U (C n D) = (B U C) n (B U D) ; B n (C U D) = (B n C) U (B n D)A 5. Identidad:LEn el conjunto universal ULexisten dos conjuntos, el vac y el conjun to A, tales que: BUA =A y B n = .o Los conjuntos y ALse denominan elementos neutros para la interseccin y para la ounin respectivamente.o 6. Complementacin:LPara cada subconjunto BLdel conjunto A, existe un subconjunto B.. que tambin pertenece al conjunto Atal que: BUB. = AyB n B. = . B..se denomina complemento de B. 4.6 Llgebra booleana de la lgica L Para este sistema matemtico la simbloga correspondiente es:o

A: El conjunto de todas las proposiciones Operaciones binarias: L L Disyuncin L L Conjuncin Relacin de equivalencia: L L. Elemento neutroA La contradiccin (0) para la disyuncinoLa tautologa (1) para la conjuncino Elemento inverso (a.)A La negacin de una proposicino La demostracin de que la lgica simblica es un lgebra bleana corresponde a la overifi cacin de las siguientes propiedades:o Sean p, q y r proposiciones del conjunto A. a 1. Cerradura: Lp v q es una proposicin del conjunto ALp q es una proposicin del co njunto AL 2. Conmutativa: L pvq . q p p ! q . q ! p 3. Asociativa: L (p q) r . p (q r) (p ! q) ! r . p ! (q ! r). 4. Distributiva: L p (q ! r) . (p vq) ! (p vr) p ! (q v r) . (p ! q) v(p !

r). 5. Identidad: En el conjunto ALexiste una proposicin que siempre es verdadera, ll amada% tautologa y simblizada por 1, y otra que siempre es negativa, llamada contradiccin y% simbolizada por 0, tales que: pv0 . p yp 1 . p. L La tautologa y la contradiccin corresponden a los elementos neutros de la disyuncin y ode la conjuncin respectivamente.o 5. Complementacin:LPara cada proposicin op, existe en el conjunto ALuna proposicin ~p, llamada la negacin de p, tal que: Lp v (~ p) . 1 y p (~ p) . 0 L

Es preciso recordar que las tablas de verdad son una herramienta para demostrar estas propiedades, su elaboracin se deja como ejercicio.o LEjercicio L L Usando las propiedades del lgebra Booleana demostrar que: L a + (b * c) = (a + b) * (a + c) L L Sugerencia: Inicia desde doble negacin a ambs lados de la igualdad.o

: Captulo > 22 ! Expresiones Booleanas

x Ly Lf (x, y) L1 1 x y L1 0 x y. L0 1 x. y L0 0 x. y. L L L L L L

Expresiones booleanas L Una expresin obleana o(tambin ollamada ofuncin obleana o ofuncin olgica) oes oun% conjunto finito de smblos o(cada ouno orepresenta ouna oconstante o ouna ovariabl e)% combinados mediante la operacin suma, producto o complementacinA Si n es el nmero de variables lgicas, entonces el nmero total de funciones lgicas% distintas que se pueden escribir con nLvariables es 22, por ejemplo para n = 3L( tres variables lgicas: x, y, z), el nmero de funciones lgicas distintas es de 256. Para escribir las funciones lgicas se utiliza el smblo Fi, donde iLvara segn el nmero % de funciones lgicas a partir de 0, as por ejemplo, para n = 2L(dos variables lgicas : x, y), las 16Lfunciones lgicas se denominan Fi, con i = 0,1,2,3.15. Otras propiedades o leyes del lgebra obleana oempleadas oen olos oprocesos ode% simplificacin de expresiones bleanas o en la demostracin de teoremas, sonD L L L L

ey de idempotencia: Lx + x = x x . x = x L Ley de acotacin: Lx + 1 = 1 x . 0 = 0 L Ley de absorcin: L Lx + x y = x x (x + y) = x Ley de involucin L(x.). = xo(0.). = 0o(1.)..= 1 L Ley D.Morgan L L L(x + y). = x. y..(x y). = x. + y. L L Las expresiones booleanas pueden adoptar dos formas tiles opara olas oaplicacione s otecnolgicas; tales expresiones estn conformadas por una suma de productos o por un oproducto de sumas, denominadas la forma normal disyuntiva y la forma normal conjuntiva, respectivamente.

Forma normal disyuntiva L La funcin bleana adopta una forma normal disyuntiva si est escrita como una suma d e otrminos, en la cual cada trmino es un producto que involucra todas las n ..vari ables, con negacin o sin ella. Cada trmino se llama trmino minimal y la funcin se denomina ofun cin polinomial de trminos minimales. o Ejemplos: L L x + x. en una variable L x. y. en dos variables L x. y. z. + x.. y. z + x. y.. z en tres variables.L El proceso para llegar a la forma normal disyuntiva de una funcin bleana consiste en:o 1. aplicar las leyes D.Morgan, ohasta oque olos ocomplementos oaparezcan oaplicados osolamente a variables individuales; 2. despus por la aplicacin de la propiedad distributiva del producto respecto a la os uma, la funcin puede ser reducida a un polinomio. o 3. Sienalgn trmino falta una variable, por ejemplo w, entonces este trmino puede o ser multiplicado por la expresin w + w..sin cambiar la funcin.o L Ejemplo 1. L Escribir la funcin f (x, y, z) = (x y + y z.). + y..en la forma normal disyuntiva (xy+ yz.). + y. = (x y). (y z.). + y..Por Ley D.Morgano= (x. + y.) (y. + z) + y. .Por D.Morgan e o Involucino= (y. + x.) (y. + z) + y..Por conmutativa =y. (y. + z) + x. (y. + z) + y..Por distributiva =y. + x. (y. + z) + y..Por absorcino=y. + x. y. + x. z + y..Por distributiva =y. + y. x. + x. z + y..Por conmutativa =y. + x. z + y..Por absorcino=y. + y. + x. zoPor asociativa =y. + x. zoPor 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 l a forma normal disyuntiva permite multiplicar el primer trmino por la expresin (x + x.) (z +z.)Ly el segundo por (y + y.)Lla expresin queda convertida en:o =y. (x + x.) (z + z.) + x. z (y + y.)oPor distributiva =y. (x z + x z. + x. z + x. z.) + x. z y + x. z y. distributivao=xy. z + x y. z. + x. y. z + x. y. z. + x. y z + x. y. z asociativao

=xy. z + x y. z. + x. y. z + x. y. z. + x. y zo Una funcin bleana puede ser expresada en forma normal disyuntiva en ms de una oman era, mediante el cambio del nmero de variables; sin embargo, para un nmero dado od e variables la forma normal es nica.o Ejemplo 2.L Si f (x, y) = x y esta en forma normal disyuntiva en x y en y, pero si x . y es multiplicada epor z + z., entonces se tiene que: e 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 O 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 bleana se tiene queD g(x,y,z) = x. y z + x y z + x. y z. + x y z. o= yz(x. + x) + y z. ( x. + x)o= yz(1) + yz. (1)o = yz +yz.. = y(z+z.L = y (1) por lo tanto g (x, y, z) = yque es la forma normal en y. La forma normal disyuntiva en n-variables que tiene 2nLtrminos se llama .forma no rmal% disyuntiva completa en n-variables y es idnticamente igual a la unidad. Ejemplo 4. Para el caso de dos variables (n = 2) la forma normal disyuntiva se puede obtene r de la siguiente tabla: x Ly Lf (x, y) L1 1 x y L1 0 x y. L0 1 x. y L0 0 x. y. L

Donde la suma de los productos es 1, es decir, x y + x y. + x. y + x. y. = 1. L La demostracin es la siguiente: a xy+xy. + x. y + x. y. = x (y + y.) + x. (y + y.)o= x(1)+x. (1)o= x+x.. = 1. Una funcin booleana f estocompletamente determinada por los valores que ella asuma para cada una de las combinaciones de los valores asignados, 0Lo1, a las respecti vas variables, es decir, una funcin booleana puede ser determinada mediante una tabla que represente las condiciones deseadas, este hecho se aplica especialmente en el di seo de circuitos. Ejemplo 5. Encontrar y simplificar la funcin bleana descrita en la siguiente tablaD Fila Lx Ly Lz Lf (x, y, z) L0 1 1 1 0 L1 1 1 0 1 L2 1 0 1 1 L3 1 0 0 0 L4 0 1 1 0 L5 0 1 0 0 L6 0 0 1 1 L7 0 0 0 0 L En este caso la tabla muestra el valor de la funcin lgica para las 23 L= 8Lposible s combinaciones de 0Ly 1Lpara las variables x, y, z. Las combinaciones en las filas 1,2Ly 6Ltienen valor 1, por lo tanto la forma nor mal disyuntiva contendr tres trminos as:o f (x, y, z) = x y z. + x y. z + x. y. z L = xyz. + y.z (x + x.)o = xyz. + y.z (1)o = xyz. + y.z. o En estos casos, la forma normal disyuntiva se usa si el nmero de unos (1) es meno r que el nmero de ceros (0) en la columna f a El complemento de una funcin oen oforma onormal odisyuntiva contendr oexactamente oaquellos trminos de la forma normal disyuntiva que no aparecen en la funcin dada. o

Ejemplo 6:L Escribir el complemento de cada una de las siguientes funciones: 1. x. y. + x. y o 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 aparece n oen la funcin, entonces el complemento de cada funcin es:o 1. xy+xy.. 2. xy. z + x y z. + x y z.o L LForma normal conjuntiva L Se dice que una funcin bleana est en forma normaloconjuntiva si est escrita como un oproducto de trminos, en el cual cada uno es una osuma que oinvolucra todas las nvariables, con complementacin o sin ella. o Cada trmino se denomina trmino maximal. El proceso para obtener la forma normal conjuntiva de una funcin bleana consiste en o 1. aplicar las leyes D.Morgan para eliminar los complementos de los parntesis, o 2. despus la funcin es factorizada y o 3. luego se introducen las variables que faltan en cada factor, por ejemplo w, suma ndo un trmino de la forma w w., que no cambia la funcin. o 4. El ltimo paso es expresarla en factores y reducir aquellos que sean semejantes.o

Ejemplo 1. Escribir la funcin f (x, y, z) = (x y + y z.). + y..en la forma normal conjuntiva . f (x, y, z) = (xy+ yz.). + y.. = (x y). (y z.). + y.. = (x. + y.) (y. + z) + y.. = (y. + x.) (y. + z) + y.. =y. + (y. + x.) (y. + z)o= (y. + y. + x.) (y. + y. + z)o= (y. + y. + x. + z z.) ( x x. + y. + z)o= (y. + x. + z) (y. + x. + z.) + y. + z)o= (x. + y. + z) (x. + y. + z.) (x + y. + z) (x. + y. + z) (x. + y. + z) (x. + y. + z.) (x + y. + z) o= (x. + y. + z) x + y. + z)o

x.) (y. + z)o= ( (x + y. + z) (x. + z)o= (x. + y. (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. Ejemplo 2. L La funcin f (x, y) = x + yLesta 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+zz" = (x+ y+ z) (x+ y+ z.L As f(x, y)Lqued expresada en forma normal conjuntiva en variables x, y, z. La forma normal conjuntiva en n-variables que tiene 2nLtrminos se llama Lforma no rmal Lconjuntiva completa en n-variables. y su producto es igual a cero. Por ejemplo, para n = 2Lla forma normal conjuntiva completa se obtiene tomando l as variables complementadas. x = 0 x. = 1 y = 1 y. = 0 L y su definicin se puede obtener en la siguiente tabla:o

x Ly Lf (x, y) L1 1 x. + y L1 0 x. + y. L0 1 x + y L0 0 x + y. L Como el producto de la suma es 0, se tiene que: (x. + y) (x. + y.) (x + y) (x + y.) = 0. o La demostracin es la siguiente: o (x. + y) (x. + y.) (x + y) (x + y.) = (x. + y y.) (x + y y.)o= (x. + 0) (x + 0)o =xx.. =0 Ejemplo 3. L Encontrar y simplificar la funcin bleana f (x, y, z)Lde la tabla. Fila Lx LY Lz Lf (x, y, z) L0 1 1 1 1 L1 1 1 0 1 L2 1 0 1 0 L3 1 0 0 1 L4 0 1 1 1 L5 0 1 0 1 L6 0 0 1 0 L7 0 0 0 1 L Como slo dos filas de la tabla, la 2Ly la 6, tienen el valor cero, es ms fcil escri bir la ofuncin en forma normal conjuntiva, as:o f (x, y, z) = (x. + y + z.) (x + y + z.)o= (y+ z. + x.) (y + z. + x)o= (y+ z. + x.x)o= (y+ z. + 0)o=y+z.. La forma normal conjuntiva se usa si el nmero de ceros (0) es menor que el nmero d e ounos (1) en la columna f. El complemento de una funcin escrita en forma normal conjuntiva es una funcin cuyo s ofactores son exactamente aquellos de la forma normal conjuntiva, que no apare cen en la

funcin dada, por ejemplo, el complemento de (x + y.) (x. + y.) es (x. + y) (x + y ).LEl complemento se puede utilizar para encontrar la forma normal disyuntiva, para ca mbiar una funcin de una forma normal a la otra se utiliza el complemento del complement o de la ofuncin, es decir, (f . ). = f.L Ejemplo 4. L Encontrar la forma normal conjuntiva para la funcinof (x, y, z) = xyz+ 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:o= (x+ y+ z) ( x. + y + z) ( x + y. + z.) (x. + y + z.) o Ejemplo 5. L Cambiar la siguiente expresin de la forma normal disyuntiva a la forma normal con juntiva. f (x, y, z) = xyz+ xy. 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.).]. oAplican do el complemento del parntesis interno, (los trminos que no aparecen), se tiene:o =[x. y z + x y. z + x y z.]. y por el complemento externo= (x. y z). (x y. z). ( x y z.). o= (x+y. + z.) (x. + y + z.) (x. + y. + z)o Ejemplo 6.L Cambiar la siguiente expresin de la forma normal conjuntiva a la forma normal dis yuntiva.of (x, y, z) = [ (y+ z.) (y. + z) (y. + z.)]o

Aplicando el complemento se tiene que: [f . (x, y, z)]. = = { (y+ z.)..+ (y. = {(y. z) + (y z.) = {y. z + y z. + y =y. z. % Ejemplo 7 L Escribir las funciones descritas en la siguiente tabla y simplificarla utilizand o la forma ms oconveniente: x Ly Lz LF1 LF2 LF3 LF4 L0 0 0 1 L0 L0 L0 L0 0 1 0 L1 L0 L1 L0 1 0 1 L0 L1 L1 L0 1 1 1 L0 L1 L1 L1 0 0 1 L0 L1 L0 L1 0 1 1 L0 L0 L1 L1 1 0 0 L1 L1 L1 L1 1 1 1 L 0 L0 L1 L Para F1Lse usa la forma normal conjuntiva porque slo hay dos ceros, por lo tanto la oexpresin bleana es:o F1 (x, y, z) = (x+ y+ z.) ( x. + y. + z). Ya esta simplificada L En LF2 Lse utiliza la forma normal disyuntiva porque slo hay odos unos, la expres in obooleana 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 ce ros y ode unos es igual, la forma normal disyuntiva es: F3 (x, y, z) = x. y z. + x. y z + x y. z. + x y z.A =x. y ( z. + z) + x z. ( y. + yL =x. y (1) + x z. (1L = x. y + x z. L La forma ms conveniente para F4 es la forma norma conjuntiva F4(x,y,z) =(x+y+z)(x. + y + zL =y+z+xx" = y+z+0 L= y + z L { [ (y + z.) (y. + z) (y. + z.)] . }" + z). + (y. + z.).}" + (y z)}" z}"

Simplificacin de expresiones booleanas L Para simplificar enunciados booleanos se utiliza, adems de las leyes de la lgica, los ollamados mapas de Karnaugh o mapas K. Un diagrama de Karnaugh se puede definir como un diagrama nes o casillas arregladas como cuadrados dentro del rectngulo. casillas, donde n es el nmero de variables lgicas de la o, opara una funcin de dos variables (A y B), n es igual rnaugh es un orectngulo con cuatro casillas (dos filas y illa contiene el valor de la funcin para cada oombinacin de los valores de verdad rectangular, con regio Los mapas K tienen 2n expresin bleana, por ejempl a 2, luego el mapa de ka dos columnas)oy cada cas de las variables as:o

~B B L L L L L L LPara ms de 6 variables los mapas de Karnaugh se hacen demasiado complicados y oA LB LFuncin L0 L0 L1 L0 L1 L0 L1 L0 L1 L1 L1 L1 L1 L L0 L L1 L L1 L L~A LA L pierden su utilidad. La construccin de un mapa KLse hace con base a la tabla de verdad asociada con la funcin bleana que se quiere representar, ya sea en forma disyuntiva o conjuntiva. Las caractersticas fundamentales de los mapas K, se pueden resumir de la siguient e forma: 1. Cada casilla se asocia con una fila de la tabla de verdad 2. elnmero 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:o

x. x L

y. L y L 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 KLcon dos adyacencias, una vertical y la otra horizontal. x. x L L L 1 L 1 L 1 L y..Adyacencia L y L horizontal Adyacencia Vertical Ejemplo 1. L L Escriba en forma normal disyuntiva la funcin bleana descrita en el mapa de Karnau gh y oluego simplifquela.o L x. Lx L L y. L 1 1 y L f (x, y, z) = x. y. + x y.. =y. (x. + x)o=y.. 1o=y..

L como se usa el mapa de karnaugh para simplificar funciones lgicas? L1) Partimos d e la tabla de verdad L x Ly Lf (x, y) L1 1 0 L1 L0 1 0 L1 L x y.. x y.. 2) De la tabla de verdad para obtener la funcin lgica: L La funcin lgica de esta tabla de verdad es:o f (x, y) = x y. + x. y. L L L X = 0 LX = 1 L x..x L L Y= 0 Ly. L Y= 1 L yL L L

1 L1 L Simplificacin usando las propiedades del lgebra booleana L f (x, y) = x. y. + x y. L = y. (x. + x) L = y.. 1 L L L L L = y. L LSimplificacin usando las propiedades de los mapas de KARNAUGH L L3) Se procede a agrupar unos (1.s) contiguos horizontales o verticales mas nunc a en Ldiagonal L L L L y. = 0 L L y = 1L L L

Estos dos unos agrupados se pueden representar por y. nicamente, as nos que da la osiguiente simplificacin:o L f (x, y) = y. L L Se busca la variable que defina a los dos unos al mismo tiempo. x. = 0Lx = 1L1 L1 LY.

La fila identificada como Y..define muy bien este par de unos. L1) Si el mapa de Kargaugh fuera: L L L x. = 0Lx = 1L L y. = 0 L L y = 1L L 1 L1 L Quin define mejor en este caso a los unos? L Lx. = 0Lx = 1L L L L L1 L L1 L Y. y. = 0 L L L L L L Y y = 1 L L L L X X L

L LSi observas los unos encerrados, podrs ver que x..los define completamente. Demostrmoslo usando el lgebra de Bole:o LLa funcin original sera: L L L L Lf (x, y) = x. (y. + L L L L Lf (x, y) = x. (1) L L L L L Lf (x, y) = x. L L / L Con lo que queda demostrado. LLa fila identificada como Y..define muy bien este par de unos. L1) Si el mapa de Kargaugh fuera: L L L x. = 0Lx = 1L L y. = 0 L L y = 1L L 1 L1 L1 L Quin define mejor en este caso a los unos? L L L Lx. = 0Lx = 1L Lf (x, y) = x. y. + x. y L y) / Factor comn X. L / A. + A = 1 L A. . 1 = A. L L

y. = 0 L L y = 1L L 1 L1 L1 L

Si observas los unos encerrados, x..no la define completamente toda la funcin sol o define% completamente dos unos. L Para tomar el otro uno podemos tomarlo solo as:o L Lx. = 0Lx = 1L Ly. = 0 L L y = 1L L LLa funcin quedara definida por: f (x, y) = x1 L1 L1 L + x y L. L Pero si en lugar de tomar un solo uno asociamos dos unos obtenemos: L L L L

y. = 0 L L y = 1L L L

La nueva funcin quedara as: f (x, y) = x. + y L L Demostrmoslo usando el lgebra de G

La funcin original sera: f (x, y) = x. y. + x. y + x; / A + A = ALf (x, y) = x. (y. + y) + y( x + x. )o/ Factor comn X.. f (x, y) = x. (1) + y(1) o/ A. + A = 1Lf (x, y) = x. + y L L L L/ A. . 1 = A. L L L Con lo que queda demostrado. le:of (x, y) = x. y. + x. y + xy + x. y ox. = 0Lx = 1L1 L1 L1 L

La fila identificada como Y..define muy bien este par de unos. L1) Si el mapa de Kargaugh fuera: L L L X.Y. LX.Y LXY LXY. L L 00L01 L11 L10L LZ. = 0 L L Z = 1L L L

1 L L1 L L1 L L1 L1 L Quin define mejor en este caso a los unos?o L X.Y. LX.Y LXY LXY. L L 00L01 L11 L10L L Z. = 0 L L Z = 1L L 1 L L1 L L1 L L1 L1 L

Nota: Al hacer los valos no podemos dejar espacioso LLa funcin quedara definida por: Lf (x, y,z ) = x.y. + x y + xz L L Tomo xyz R Observa que XLy ZLson las variables que tiene en comn los unoso y lo duplico L L LDemostrmoslo usando el lgebra de Boole: L LLa funcin original sera: Lf (x, y,z) = x. y.z. + x. y.z + xyz.+ xyz + xy.z L

f (x, y,z) = x. y.z. + x. y.z + xyz.+ xyz + xy.z + xyz L Simplificando L L L L L Lf (x, y,z) = x. y.(z. + z) + xy(z.+ z) + xz(y. + y) L L L L L Lf (x, y,z) = x. y.(1) + xy(1) + xz(1) L L L L L Lf (x, y,z) = x. y. + xy + xz L L L

Que es igual a lo que nos ofreca el mapa de KARNAUGH Con lo que queda demostrado.

Ejemplo 2. L Representar en un mapa de Karnaugh la funcin Boleana descrita en la siguiente tab la y oluego simplificarla: x 0 1 1 Ly Lf L0 0 0 1 1 0 1 1 1

El mapa correspondiente es: x. = 0Lx = 1L y. = 0 L1 y = 1L1 1 La funcin bleana es:o f (x, y, z) = x. y + x y. + x yo=x. y + x (y. + y)o=x. y + x.1o=x. y + xo

Ejemplo 3. L Obtener las expresiones booleanas reducidas para los siguientes mapas de Karnaug h: x. = 0Lx = 1L y. = 0 L1 y = 1L1 f (x, y, z) = xy. + x yo= x(y. + y)o=x

Mapas de karnaugh para tres variables: I El mapa K para tres variables es un diagrama formado por dos filas y cuatro colu mnas, as:o X.Y. LX.Y LXY LXY. L 00L01 L11 L10LZ. = 0 LZ = 1L En este caso pueden ocurrir adyacencias de dos, cuatro u ocho unos (1). Ejemplo 1.L Encontrar la expresin leana simplificada cuyo mapa k es: X.Y. LX.Y LXY LXY. L00L01 L11 L10L Z. = 0 Z = 1 L1 L1 L L L1 L1 L L La funcin es: f(x, y, z) = x. y z. + x. y z + x y z. + x y zo =x. y (z. + z) + x y (z. + z)o =x. y. 1 + x y. 1o =x. y + x yo = y(x. + x)o = y. 1 =y Ejemplo 2. L Obtener las expresiones booleanas reducidas para el siguiente mapa de Karnaugh:

X.Y. LX.Y LXY LXY. LX.Y LXY LXY. 00L01 L11 L1? Z. = 0 Z = ^ 1 1 1 La funcin bleana es: f(x, y, z) = x y z. + x y z + x y. z simplificando se tiene: o= xy(z. + z) + x y. zo=xy+xy. z.o L LMapas de karnaugh para cuatro variables L El mapa K para funciones booleanas de cuatro variables es un diagrama de cuatro filas por cuatro columnas, diseada de la siguiente forma:o X.Y. LX.Y LXY LXY. L00L01 L11 L10LZ. W.= 00 LZ .W= 01LZW= 11 L ZW.= 10 L En este caso pueden ocurrir adyacencias de dos, cuatro, ocho o diecisis unos (1). o

Ejemplo 1. L Simplificar la funcin bleana cuyo mapa K asociado es:o LX.Y. LX.Y LXY LXY. L L00L01 L11 L10L L L LZ. W.= 00 LZ. W= 01 LZW= 11 LZW.= 10 L 1 L L L1 L L1 L1 L L L1 L1 L L1 L L L1 L La funcin es:o f(x,y,z,w) =x.y.z.w. + x y.z.w. + x.y.zw.+ xoy.zw.+x.y z.w+x y z.w+x.y z w + x y z wo=y.z.w. (x. + x) + y.z w. (x. + x) + y z.w (x. + x) + y z w (x. + x)o=y.z.w . + y.z w. + y z.w + y z wo=y.w. (z. + z) + y w (z. + z)o =y.w. + y wo LEjemplo 2. L Simplificar la funcin bleana cuyo mapa K asociado es:o X.Y. LX.Y LXY LXY. 00L01 L11 L1? Z. W.= 00 L Z. W= 01 L ZW= 11 L ZW.= 10 L 1 L L L1 L1 L L L1 L1 L L L1 L1 L L L1 L f(x, y, z, w) = x.y.z.w. + x.y.z.w + x.y.z w + x.y.z w. + x y.z.w. + x y.z.w + x y.z w + x y.z w.. o Simplificando =x.y.z. (w. + w) + x.y.z (w + w.) + x y.z. (w. + w) + x y.z (w + w.)o =x.y.z. + x.y.z + x y.z. + x y.zo =x.y. (z. + z) + x y. (z. + z)o =x.y. + x y.. =y. (x. + x)o =y.. Ejemplo 3. LObtener la expresin bleana reducida para el siguiente mapa Ko

X.Y. LX.Y LXY LXY. LX.Y LXY LXY. 00L01 L11 L1? Z. W.= 00 L Z. W= 01 L ZW= 11 L ZW.= 10 L L1 L1 L L1 L L L1 L1 L L L1 L L1 L1 L L f(x, y, z, w) = x. y. z. w + x.y.z w + x.y z.w. +x.y z w. + x y z.w. + x y z w. + x y.z.w + x y. z w.o =x. y. w (z. + z) + x. y w. (z + z.) + x y w. (z. + z) + x y. w (z. + z)o =x. y. w + x. y w. + x y w. + x y. wo =x. y. w + x y. w + x. y w. + x y w.. =y. w (x. + x) + y w. (x. + x)o =y. w + y w..o

Captulo j 44 ! :

Definicin y L representacin de los L circuitos lgicos. L LMPARAo PLQLRL+ + BATERAo

OBJETIVO GENERAL : Utilizar el lgebra obleana opara oanalizar y describir el funcionamiento de las combinaciones de las compuertas lgicas, de tal manera que pueda relacionar la teo ra ode conjuntos, el lgebra proposicional, el lgebra bleana y las compuertas lgicas, para odisear circuitos lgicos o : : OBJETIVOS ESPECFICOS : 1. Describir cada compuerta lgica, mediante su tabla de verdado 2. Simplificar circuitos lgicos mediante la aplicacin de las leyes de lgebra bleanao 3. Emplear compuertas para implementar el circuito representado por una expresin obo oleana 4. Relacionar los conjuntos, la lgica, el lgebra bleana y las compuertas.o 5. A partir de las tablas de verdad elaborar los mapas K y luego disear circuitos olg icos.o 6. Mostrar algunas aplicaciones del lgebra Boleana y su implementacin mediante ocircu itos lgicos

L 5.1 DEFINICIN Y REPRESENTACIN DE LOS CIRCUITOS L El lgebra bleana es el soporte terico para el lgebra de los circuitos lgicos, esto o significa que excepto por la terminologa y su significado, el lgebra de los circui tos es oidntica al lgebra de proposiciones, con dos elementos el 0Ly el 1. El lgebra de circuitos utiliza dispositivos de dos estados como por ejemplo el in terruptorL o switchL(es el ms sencillo), diodos rectificadores, bbinas magnticas, transistore s, oentre otros; la naturaleza de los estados vara con el dispositivo as: conduccin contra noconducci n, ocerrado ocontra oabierto, ocargada ocontra odescargada, omagnetizada ocontra odesmagnetizada, 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 cerrad a se osimboliza por .ONL y la abierta por .OFF, un interruptor se encontrar cerra do o abierto y onunca en posicin intermedia.o La siguiente figura muestra una representacin grfica de un conmutador.o ON LOFFRP LON LOFF RP LINTERUPTOR CERRADO INTERRUPTOR ABIERTO L L Representacin de un interruptor R

Ejemplo 1. L Se conecta una lmpara a un circuito con interruptor, de tal forma que la lmpara se oencienda cuando el conmutador est cerrado y se apague cuando este abierto.o El circuito se puede representar esquemticamente as:o LAMPAR FUENTE ELECTRICA Activacin de una lmpara R OFFRONRP R La lmpara se encender siempre que se cierre el circuito, es decir, cuando PLadquie ra la posicin .ONL y se apagar cuando se abra el circuito, o sea cuando PLtome la posicin o .OFF.o En las siguientes figuras se muestran las posiciones ONLy OFF. P R P R CONMUTADOR CERADO R RCONMUTADOR ABIERTO R (ENCENDIDA) R R R R(APAGADO) R R Interruptor en posicin ON y OFF respectivamente L L El ejemplo anterior permite demostrar que un interruptor slo puede tomar una de l as dos R posiciones (cerrada o abierta) y como una proposicinlgica toma un solo valor de ve rdad (verdadera o falsa), se puede establecer una relacin entre un conmutador y una proposicinlgica; para esto se asigna una proposicin PLal conmutador de tal manera que si PLes verdadera se asume que el conmutador est.cerrado (ON) y si PLes falsa el interruptor estar.abierto (OFF), a estos conmutadores se les denomina circuitos lg icos.

Para describir el nivel de voltaje o nivel lgico de la variable presente en los t erminales de entrada y salida de un circuito se emplean trminos como desactivado, activado, ab ierto, ocerrado, 0, verdadero, 1, entre otros. Cuando el nivel de voltaje es bajo se emplean trminos como falso, desactivado, no , ointerruptor abierto y se utiliza el elemento cero (0) y cuando el nivel lgico es alto se usan olos trminos verdadero, activado, s, interruptor cerrado y se simb liza con el uno (1). 5.2 CIRCUITO DE CONJUNCIN L Este circuito toma dos conmutadores P y Q, y recordando la tabla de verdad de la conjuncin estudiada en el captulo 2Lse puede inferir que los interruptores PLy QLd eben estar conectados en serie de tal manera que si ambos estn o.cerradoso o(PLy QLver daderas) el circuito estar .cerrado y por consiguiente la lmpara estar encendida.o La representacin del circuito de conjuncin se muestra en la siguiente figura:o LMPARAo BATERAo Circuito de conjuncinL ION ON OFF P OFF Q

5.3 LCIRCUITO DE DISYUNCIN L Analizando la tabla de verdad de la disyuncin ose observa oque osi oPLy QLson dos proposiciones, entonces la disyuncin PL. QLes verdadera siempre que alguna de las dos sea verdadera, en trminos de circuitos esto significa que PLy QLdeben estar conec tados en paralelo, de tal forma que el circuito est cerrado cuando algn interruptor PLo QLest ocerrado, en otras palabras, la lmpara estar encendida siempre que alguno de los dos oconmutadores PLo QLest cerrado.o La representacin grfica de este circuito es el siguiente:o P RQ RON ON OFF OFF BATERAoLMPARAo Circuito de disyuncin

5.4 LCIRCUITO DE NEGACIN La relacin entre el estado de la lmpara con la disposicin del circuito lgico, se pue de enunciar as: Si PLes una proposicin verdadera el conmutador estar.cerrado y la lmpara estaroencendida; anlogamente si PLes falsa el conmutador estar.abierto y en consecuencia la lmpara estaroapagada. En la tabla de verdad de la negacin (elabrada en el captulo 2) se observa que el v alor ode verdad de .PLes el opuesto al valor de P, esto significa que cuando el interruptor PLesta .cerrado (PLverdadera) la lmpara debe estar apagada y si el conmutador PLesta .ab ierto o(PLfalso) la lmpara debe estar encendida.o El circuito de negacin puede representarse grficamente as:o P RON ROFF R Circuito de negacin R El lgebra booleana se utiliza para describir los efectos que producen las entrada s lgicas sobre los circuitos lgicos y para manipular variables lgicas cuando se va a determ inar el mtodo de aplicacin de una funcin de un circuito. Las operaciones del lgebra bleana son la adicin o sumalgica, la multiplicacin o opro ducto lgico y la complementacin o inversin lgica y los dispositivos electrnicos que o ejecutan cada operacin se llaman compuertas lgicas. o

5.5 LADICIN O SUMA LGICA. L Tambin ose llama operacin oORLo simplemente OR, corresponde a la disyuncin de oprop osiciones y a la unin de conjuntos y el dispositivo que ejecuta esta operacin se o llama compuerta OR, su representacin grfica es:o P R P R P Q P Q R Q R Q R Compuerta OR L R (Cualquiera de las dos representaciones es vlida) L Esta compuerta tiene dos entradas que representan los estados de los conmutadore s P, y, QLy una salida P . QLque representa el estado de la lmpara.o 5.6 MULTIPLICACIN O PRODUCTO LGICO L Llamada tambin operacin oANDLo simplemente AND. Corresponde en lgica o oa ola oconj uncin de proposiciones y a la interseccin de conjuntos. El dispositivo electrnico o que ejecuta esta operacin se llama compuerta AND, tiene dos conmutadores PLy QLlo s cuales se representan como dos entradas y una salida P.Qque representa el estado de la lmpara, su presentacin grfica es: o P .Q P RQ R Compuerta AND L L5.7 COMPLEMENTACIN O INVERSIN LGICA L Se denomina tambin operacin NOTLy corresponde a la negacin de una proposicin o a ola operacin de complementacin en conjuntos. La compuerta .NOTL acepta como entrada o un valor P. y produce como salida su negacin P. Por esta razn esta compuerta tambin ose denomina inversor, su representacin es:o P P.. Compuerta NOT L 5.8 Correspondencia entre lgica . conjuntos . lgebra booleana y las compuertas Llgi cas. L

La siguiente tabla muestra las correspondencias: GICA LDisyuncin LP . Q Conjuncin LP . Q Negacin L . P CONJUNTOS LUnin LA . B Interseccin LA . B Complemento LA.. LGEBRA LBOOLEANA LSuma LX + Y Producto LX Y aInversor LX.. COMPUERTAS L GICAS LOR LAND LNOT L Figura No. 10 Correspondencias: Lgica-Conjuntos-lgebra-compuertas Ejemplo 1. L Utilizando compuertas lgicas simblizar la proposicin: . (P.Q). Segnola tabla, las compuertas correspondientes a la disyuncin y a la negacin son: O , y NOTLrespectivamente, por lo tanto la combinacin de ellas dar la compuerta solici tada,% asD P L Q L .(P .Q) L R L Ejemplo 1. . (P.Q). R

Ejemplo 2 L Utilizando las compuertas lgicas simblizar la proposicin . (P . Q).LAnalizando la tabla el circuito correspondiente es: Ejemplo 2. . (P . Q). R LEjemplo 3 L Utilizando las compuertas lgicas simblizar la proposicin p . (q . r). En este caso intervienen tres proposiciones y dos conectivos, por lo tanto el ci rcuito es:

Ejemplo 3. P . (Q . R)

Ejemplo 4. L Disear el circuito que determine los valores de verdad de la proposici, P . (Q . R). Para disear el circuito primero se simbliza la proposicin mediante el uso% de compuertas lgicas, asD P RQ R R P . (Q . R) R R R Ejemplo 4. P . (Q . R). R A continuacin se conecta una lmpara al circuito, de tal forma que cuando la propos icin oes verdadera, la lmpara debe estar encendida y cuando sea falsa, la lmpara de be estar oapagada. Esta conexin se representa as:o PLQLRLLMPARAo+ + BATERAo Circuito de la proposicin. ejemplo 4

Otras compuertas lgicas: P Q P RQ RP Q P RQ R Otras compuertas lgicas L Las tres compuertas fundamentales ya mencionadas (AND, OR, NOT) son suficientes para escribir cualquier funcin obleana oy opor olo otanto odisear oun ocircuito olg ico, osin oembargo, se utilizan otras compuertas lgicas como NAND, NOR, XORLy XNO RL a compuerta NANDLes la negacin de la compuerta ANDLy se define como: x NAND y = (x y)..y se simboliza asD

Compuerta NAND L La tabla de verdad para las compuertas AND y NAND es: a x Ly LAND Lx y. LNAND L(x y). L0 0 0 L1 L0 1 0 L1 L1 0 0 L1 L1 1 1 L0 L

a compuerta NOR, es la negacin de la compuerta OR, se define as:ox NOR y = (x + y) ., su smblo es:o P R P R P Q P Q R Q R Q R Compuerta NOR L I La tabla de verdad para las compuertas ORLy NORLes: x Ly LOR Lx + y LNOR L(x + y). L0 0 0 L1 L0 1 1 L0 L1 0 1 L0 L1 1 1 L0 L a compuerta XORLcorresponde a la operacin lgica disyuncin exclusiva (x . y)Ly a la operacin diferencia simtrica entre conjuntos. Se define como f(x, y, z) = x . y = x y. + x.y. L El smbolo para esta compuerta es (Cualquiera de las dos representaciones es vlida) : a Figura No. 18 Compuerta XORL La compuerta XNORLes la negacin ode ola ocompuerta oXOR, su smblo ose opuede orepr esentar de dos maneras: Figura No. 19 Compuerta XNORLLa tabla de verdad para estas compuertas es:

x Ly LXOR Lx . y LXNOR L(x . y). L0 0 0 L1 L0 1 1 L0 L1 0 1 L0 L1 1 0 L1 L Se observa que la tabla de verdad de la compuerta XNORLes exactamente igual a la tabla de la equivalencia (o doble implicacin), por lo cual esta compuerta recibe el nom bre de o .comparadorL.o LEjemplo 1 L Dibujar el circuito lgico de la funcin bleana 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 blita en cada variable d e% entrada, asD Y RX RZ. LX. LY LYZ. LYZ. + X L Ejemplo 1

Ejemplo 2.L Escribir en forma normal disyuntiva la funcin of oespecificada oen ola osiguiente otabla, osimplificarla y dibujar el circuito lgico correspondiente.o X LY LZ LF L0 0 0 1 L0 0 1 0 L0 1 0 1 L0 1 1 0 L1 0 0 0 L1 0 1 1 L1 1 0 0 L1 1 1 1 L Recordando la seccin o5.9 odelocaptulo oanterior, opara ola oforma onormal oconjun tiva ose oconsideran los unos (1), por lo tanto la funcin considerada es:o F(x, = x. = x. = x. y, y. z. z. z) = x. y. z. + x. y z. + x y. z + x y z L (y. + y) + x z (y. + y) L (1) + x z (1) L + x zL

y el circuito correspondiente es el siguiente: a Z RX RX. LZ. L Ejemplo 2

Ejemplo 3. L Escribir una expresin bleana para la salida f (x, y, z)Ldel siguiente circuito. X RX. LY RY. LZ R Ejemplo 3 L RLa funcin correspondiente es: f(x, y, z) = (x. + y. ). (y z).

: Captulo @ 55 ! : Aplicacin de los circuitos : lgicos

L L

A RB RS LCLSUMADORDIBITAL R

Aplicaciones de los circuitos lgicos L Algunas aplicaciones elementales como los circuitos aritmticos odigitales oy olos ocodificadores y decodificadores, entre otros, muestran la gran variedad de sit uaciones en las que se pueden utilizar los circuitos lgicos, si se tiene en cuenta que el dis eo digital ha invadido casi todo el entorno del hombre, empezando por los electrodomsticos q ue se ousan en el hogar hasta los ms sofisticados computadores, robts y dems equip os de la oindustria. L LCircuitos aritmticos digitales. L Una unidad aritmtica olgica est ofundamentalmente oconstituida opor oun odispositiv o ocombinacional que permite dos entradas, las cuales pueden ser nmeros o oalguna oinformacin codificada, en la cual se realizan todas las operaciones matemticas o lgicas oque lleva a cabo un computador. A continuacin se analiza la forma de cons truir un osemisumador y un sumador. L LCircuito semisumador L Disear un CIRCUITO SEMISUMADOR consiste en construir un circuito lgico que sume od os nmeros binarios de la siguiente manera:o L0 L L0 L L1 L L1 L + L0 L + 1 + 0 + L1 L L L L ______ L _____ ______ _____ L L L0 L L1 L L1 L L10 L 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 tene r en cuenta una salida adicional denominada el ARRASTRE. La tabla de verdad para este caso es la siguiente: A LB LS LC L0 0 0 L0 L0 1 1 L0 L1 0 1 L0 L1 1 0 L1 L Suma LArrastre

La salida S la genera una compuerta XORL(o -exclusiva), de tal modo que S = A . B; mientras que la salida C (Arrastre) corresponde a una compuerta AND t al que,C = AB, por lo tanto el circuito lgico se denomina un SEMISUMADOR (HA) y se o representa as:o A R S L CL BL Semisumador Su representacin esquemtica es:o A RB R S LCL Representacin esquemtica de un sumadoroEl circuito semisumador tambin se puede real izar de la siguiente manera:o LS = A . B = A B. + A.B L

Aplicando la doble negacin se tiene:o (S.). = [(A B. + A.B).]. = [(A B.). (A.B).].. S = [(A. + B) (A + B.)]. = {[(A. + B). + (A + B. ) . ] . } .. : S ={[ (A. + B). + (A + B. ) . ] . } . o Anlogamente, la salida C = AB ser:o LC = (C.). = [(AB).]. = (A. + B.). L Con lo cual el circuito lgico es:o A RB S RC R Circuito lgico semisumadoro

5.10.1.2 CIRCUITO SUMADOR L Para sumar nmeros binarios de n-bits se procede as:oDados los nmeros binarios o L L LA = An An-1 .A2 A1 A0 (n- bits) L L L LB = Bn Bn-1 .B2 B1 B0 (n- bits). L La suma se empieza por los bits menos significativos A , B A LB L ________ L L L L L L L L L L L C S L LDonde S, es la suma generada por estos bits y CLes el bit de arrastre de la pri mera suma, el cual pasa a ser sumado en la siguiente columna y as sucesivamente, como se mue stra en el siguiente esquema: C2 C1 C0 A = A3 L L LAL2 L L LAL1 L L A0 L L B = B3 L LA + B = C3 S3L LB2 LC2 S2L L LB1 LC1 S1L L B0 L LC0 S0L L El resultado ser entonces: A + B = C3 Sn .S2 S1 S0, donde C es el bit msosignifica tivo . Cuando se suman tres dgitos A, B, C, se genera una suma SLy un arrastre CLun 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. a ENTRADAS LSALIDAS C LA LB LS LC L0 0 0 0 L0 L0 0 1 1 L0 L0 1 0 1 L0 L0 1 1 0 L1 L1 0 0 1 L0 L1 0 1 0 L1 L1 1 0 0 L1 L1 1 1 1 L1 L Donde CLes el arrastre de entrada y CLes el arrastre de salida.

Los mapas de Karnaugh deben ser para tres variables, los dos sumandos A, BLy el arrastre de entrada CL. El mapa KLpara la suma SLes: A..A. A LAL LC. L C L L1 L L1 L1 L L1 L L LB. BLBLB. L La expresin bleana en forma de suma de productos es:o L LS = A. B C. + A B. C. + A. B. C + A B C. L El circuito lgico para la salida es: a Circuito lgico sumadoro Se deja como ejercicio construir el mapa k y el circuito lgico para el arrastre d e salida.o

5.10.2 Control de una estacin de combustible L Una estacin de combustible ben abastecerse simultneamente lo por el tanque z, pero en ningn otanques x, y. Construir un se surte de tres tanques: x, y, z. Los tanques x, y de para sostener el flujo, el cual puede ser mantenido so caso el tanque zLdebe funcionar si lo est haciendo los circuito lgico que controle esta situacin.o

La tabla de verdad asociada a esta situacin es la siguiente: x Ly Lz LS L0 0 0 0 L1 L0 1 0 0 L0 1 1 0 L1 0 0 0 L1 0 1 0 L1 L1 1 1 0 L El mapa de Karnaugh es: X..X. X LXLZ. LZL L L1 L L1 L L L L LY. YLYLY. L La expresin bleana correspondiente es: S = x. y. z + x y z. LEl circuito lgico cor respondienteoes: S = x. y. z + x y z.. Circuito lgico control estacin de combustibleo AUTO EVALUACIN No.5

1. En el siguiente circuito escribir la funcin de salida, elaborar la tabla de ve rdad.

2. Teniendo en cuenta el circuito anterior L a. b. c. 3. Escribir la funcin bleanao Disear el circuito utilizando la tcnica NANDo Disear el circuito utilizando la tcnica NORo Teniendo en cuenta la siguiente tabla de verdad, responda a), b) y c). :

a) Encuentre la funcin bleana utilizando la forma norma conjuntiva y disee el o circuito b) Utilice la tcnica NAND y disee el circui( c) Utilice la tcnica NOR y disee el circui( x Ly Lz Lf L0 0 0 0 L0 0 1 1 L0 1 0 0 L0 1 1 0 L1 0 0 1 L1 0 1 1 L1 1 0 1 L1 1 1 1 L

4. Teniendo en cuenta la siguiente tabla de verdad : x Ly Lz Lf L0 0 0 1 L0 0 1 1 L0 1 0 1 L0 1 1 0 L1 0 0 1 L1 0 1 0 L1 1 0 0 L1 1 1 0 L a) Utilizando la forma normal disyuntiva encontrar la funcin obleana y% disear el circuito correspondienteA b) Utilizando la tcnica NAND, disear el circui( c) Utilice la tcnica NOR y disee el circuito correspondienteA 5. Construir el mapa de Karnaugh, la expresin bleana y el circuito lgico que permi ta ocontrolar una lmpara odesde otres ointerruptores ocolocados oen olos opasillo s ode ouna oedificacin. Tenga en cuenta la siguiente tabla de verdad.o x Ly Lz L L0 0 0 0 L0 0 1 1 L0 1 0 1 L0 1 1 0 L1 0 0 1 L1 0 1 0 L1 1 0 0 L1 1 1 1 L

INFORMACIN DE RETORNO R 1.LLa funcin ode osalida es: of(x, y, z) = x.y.z. + x y.z. + x.y.w. La tabla de v erdad correspondiente es: x Ly Lz Lw Lx. Ly. Lz. Lx.y.z. Lx y.z. Lx.y.w Lf L0 0 0 0 1 1 1 1 0 0 1 L0 0 0 1 1 1 1 1 0 1 1 L0 0 1 0 1 1 0 0 0 0 0 L0 0 1 1 1 1 0 0 0 1 1 L0 1 0 0 1 0 1 0 0 0 0 L0 1 0 1 1 0 1 0 0 0 0 L0 1 1 0 1 0 0 0 0 0 0 L0 1 1 1 1 0 0 0 0 0 0 L1 0 0 0 0 1 1 0 1 0 1 L1 0 0 1 0 1 1 0 1 0 1 L1 0 1 0 0 1 0 0 0 0 0 L1 0 1 1 0 1 0 0 0 0 0 L1 1 0 0 0 0 1 0 0 0 0 L1 1 0 1 0 0 1 0 0 0 0 L1 1 1 0 0 0 0 0 0 0 0 L1 1 1 1 0 0 0 0 0 0 0 L 2.La) f(x, y, z, w) = x.y.z. + x y.z. + x.y.w Lb) El circuito con la tcnica NANDL es: L Lf = [(x.y.z. + x y.z. + x.y.w).].. f = [ (x.y.z.). (x y.z.). (x.y.w) . ] . L

X..X. X LXL Z. 2 L1 L L1 L1 L L1 L L LY. YLYLY. La expresin booleana correspondiente es: L L=xyz+xy. z. + x. y z. + x. y. zo El circuito lgico es: L L L EJERCICIOS DE PROFUNDIZACIN No. 5 L 1.LEn un proceso de produccin hay tres motores de los cuales slo pueden trabajar d os a ola vez, adems, ningn motor puede funcionar si no est trabajando un cuarto mot or WL

que hace circular el aceite lubricante. Construir un circuito lgico que controle estos cuatro omotores, teniendo la siguiente tabla de verdad: x Ly Lz Lw LF L0 0 0 1 0 L0 0 1 1 0 L0 1 0 1 0 L0 L1 L1 L1 L1 L1 0 0 1 0 L1 L0 L 1 L1 L1 L1 L1 L0 L1 L1 L1 1 1 1 0 L

2. Diseo de una alarma: L En una central de control de trfico un panel muestra los puntos neurlgicos y encie nde ouna luz de alarma cuando las condiciones mnimas de seguridad previstas no se dan. o La siguiente figura muestra uno de esos puntos neurlgicos, en el cual pueden entr ar en ELsin peligro de colisin al mismo tiempo vehculos de:o a) xz b) zw c) Solamente x, y, w, z.o E w Z X Y Disee el circuito lgico que controla la alarma. Tenga en cuenta la siguiente tabla de overdad ENTRADA LSALIDA Lx Ly Lz Lw LALARMA LACEPTABLE L0 0 0 0 0 L1 L0 0 0 1 0 L1 L0 0 1 0 0 L1 L0 0 1 1 0 L1 L0 1 0 0 0 L1 L0 1 0 1 1 L0 L0 1 1 0 1 L0 L0 1 1 1 1 L0 L 1 0 0 0 0 L1 L1 0 0 1 1 L0 L1 0 1 0 0 L1 L1 0 1 1 1 L0 L1 1 0 0 1 L0 L1 1 0 1 1 L0 L1 1 1 0 1 L0 L1 1 1 1 1 L0 L RESPUESTAS A EJERCICIOS DE PROFUNDIZACIN No. 5

1. La expresin booleana correspondiente es: L f (x, y, z) = xyz. w + x y. z w + x. y z w, la cual puede ser escrita como:of (x , y, z) = xw(yz. + y. z) + x. y z w.o 2. La ecuacin booleana es: L A=xw+yw+yz+xy = W (x+ y) + y(x+ z) L

LBIBLIOGRAFAL .. COPI, Irving, COHEN, Carl. Introduccin a la Lgica. Limusa, Mexico 2002.o .. GOMEZ, Carlos, GOMEZ, German, BOTERO, William. Matemtica Digital. Mc Graw oHill. Bogot 1998.o .. SCHEINNERMAN, Edward. Matemticas oDiscretas. oThomsom-Learning. Mexico 2001. .. LIPSCHUTZ, Seymor. Teora de Conjuntos. Mc Graw Hill. Bogot 1980.o .. SMITH, Kart. Introduccin a la Lgica Simblica. Iberoamericana. Mexico 1991.o .. GALINDO, Nubia Janeth. Lgica Matemtica. Unad. Colombia 1998. .. SUPPES, Patrick, HILL, Shirley. Introduccin oa ola oLgica Matemtica. Revert. oColomb ia 1976. .. GUTIERREZ, Fabio. Lgica. Una sntesis didctica. Fund. Universitaria de Boyac. oColomb ia 2001. Direcciones de sitios web. L L http://www.cibernous.com/logica/ L L http://www.cnice.mecd.es/eos/MaterialesEducativos/mem2003/logica/logica/01concba sicos/130for malmat.html L L http://www.monografias.com/trabajos10/clasi/clasi.shtml L L http://w3.mor.itesm.mx/~logica/log9908/lc.html L L http://minerva.filosoficas.unam.mx/~Tdl/03-1/0424LunaBib.ppt L L http://www.monografias.com/trabajos/iartificial/pagina4_1.htm L

L http://www.monografias.com/trabajos/iartificial/pagina4_1.htm L L http://www.ucsm.edu.pe/rabarcaf/Introducci%C3%B3n%20a%20la%20L%C3%B3gica/2.%20L% C 3%B3gica%20Proposicional.doc Lhttp://docencia.udea.edu.co/SistemasDiscretos/cont enido/capitulo_01.html L

ANEXO 5.7 RELACIN DE ORDEN EN UN LGEBRA BOOLEANA L Un conjunto A con un lgebra bleana definida, debe ser parcialmente ordenado (tema tratado en la seccin 1.6), es decir, sus elementos deben cumplir las propiedades de la orelacin de orden: Reflexiva, antisimtrica y transitiva.o S A es el conjunto de los nmeros enteros con el lgebra bleana definida en la seccin o 5.4 y una relacin ode orden parcial o= (menor o oigual), entonces para todo x, y, z oelementos de A, se debe cumplir: 1. LReflexiva: L x = x 2. LAntisimtrica: (x = y) (y = x) . x = y 3. LTransitiva: (x = y) (y = z) . (x = z) En un lgebra de boole x a y se define como x + y = y para indicar que el aelemento ax aes amenor ao aigual a a a ay, ase arepresenta agrficamente acomo ael asiguiente adiagrama de lnea diri gida de x hacia y: a y x As 0 = 1 porque 0 + 1 = 1.o En un lgebra bleana definida sobre un conjunto A con la adicin (+) y el producto ( .)% como operaciones binarias y la igualdad (=) como relacin de equivalencia, entonce s, para% cualesquier par de elementos x, y del conjunto A las siguientes afirmaciones son equivalentes: S x = y, entoncesD 1. 2. 3. 4. x+y =y x.y =x x. + y = 1o x.y. = 0o