e SERVICIO NACIONAL DE APRENDIZAJE SENA. SENA TX” SISTEMA INTEGRADO DE GESTION Procedimiento Ejecucién de la Formacién Profesional Integral José Andrés Sanchez Carrasquilla. vindye $ an Lic. in Bducacin con Expecialidad en Matemitcas LOGICA MATEMATICA. 1 CONCEPTOS FUNDAMENTALES. 1.1.- DEFINICION. La Logica Matematica es una RAMA més de LAS MATEMATICAS como lo son, por ejemplo, La Aritmética, E| Algebra, La Geometria, etc.; con sus elementos propios de trabajo, con sus operaciones particulares bien definidas y que solo son validas en su contexto y con sus problemas especificos y que es lo que en conjunto caracteriza a cada una de ellas. 2.- ELEMENTOS DE TRABAJO. Los elementos de trabajo de La Logica Matematicas, es decir, [as entes mateméticos con los cuales y sobre os cuales va a operar son las PROPOSICIONES. Las proposiciones son a la Logica Matematica lo que los Naturales son a la Aritmética; los Racionales al Algebra; las Funciones al Calculo, etc. y, al igual que en estos casos, las proposiciones tienen su definicién, que es: PROPOSICIONES; Una Proposicién es un enunciado que puede ser Falso (F) 0 verdadero (V) pero NO ambas cosas a la vez 0 ninguna de eltas en forma simulténea. En general las proposiciones se indican mediante las letras minusculas a partir de la “p”, por ejemplo: p: El4 es un niimero PAR. q: El 15 es un nimero PRIMO. 1: E156 NO es divisible entre 3, Dado que la disponibilidad de “letras” a partir de la “p” es limitada, entonces se utilzan los subindices en cada una de ellas para ampliar nuestra disponibilidad de elementos. Por ejemplo: ps: Son las 7 de la tarde. px: Esta clase es de FISICA, ps, Un polinamio es derivable en todos los reales. pa. El nmero x es irracional ps: Si un numero es PAR entonces es divisible entre Dos. ps: La suma de los éngulos internos de un triéngulo NO es igual a DOS rectos. EJERCICIOS No. 1. Valida las siguientes Proposiciones. * px: Todo polinomio de Grado 2 tiene solucién en los reales. * px: Toda ecuacién lineal tiene solucién en los racionales, * ps: Toda ecuacién lineal tiene solucién en los naturales. * pe: Un polinomio es lineal si el grado mayor es 1. * ps: Los polinomios aceptan exponentes fraccionarios. + ps: El numero 9 NO es PAR NI es PRIMO. + pizEl cinco es un numero PRIMO. * pe: El es divisor del 50. # ps: 6x- 10 =0 NO tiene solucién en los enteros. 1.3.- OPERACIONES DE LA LOGICA MATEMATICA, Continuando con nuestra esquema definiremos ahora las operaciones permitidas en la Logica Matemética. También en este caso son DOS las Operaciones basicas y con las cuales haremos todo lo permitido en esta rama de las matematicas. Tales operaciones som: LA CONIUNCION ¥ LA DISYUNCION. Sin embargo, antes de definirlas es necesario definir lo que se conace como: Escucho y olvid, veo y recuerdo, hago y comprendo. Prov. chinae SERVICIO NACIONAL DE APRENDIZAJE SENA. SENA TX” SISTEMA INTEGRADO DE GESTION Procedimiento Ejecucién de la Formacién Profesional Integral José Andrés Sanchez Carrasquilla. vindye $ an Lic. in Bducacin con Expecialidad en Matemitcas OPERACION BINARIA. Una Operacién Binaria es una Regla de Correspondencia mediante la cual a cada par ‘ordenado de un conjunto AxA le corresponde uno y solo un elemento del mismo conjunto A. Segtin la definicién anterior, una Operacién Binaria se define para los elementos de un Conjunto A y solamente sera valida para ellos. Asta cada Par de elementos del Conjunto le correspondard UNO y SOLO UN elemento del mismo conjunto. Es lo que se llama una Operacién Cerrada. Viene a ser una funcién que tiene como dominio al producto cartesiano AxA y como codaminia al conjunto A. Es decir: F:AXASA Ejemplos: px: La suma NO es cerrada en el conjunto de los Impares. Lasuma de DOSimpares nos da un némero que es PAR, pa: El producto es cerrado en los impares. El producto de DOS impares siempre es un impar. ps: El producto NO es cerrado en los primos. El producto de dos ndmeros primos NO as un riimera primo, ps: La composicién de funciones es una operacién cerrada La composicién de 0S funcién define a otra funcién ps: La rat cuadrada es cerrada en Jos complejos. Todo riimero complejo posee dos raices. De acuerdo con lo anterior, SI una operacién binaria se define entre DOS elementos del conjunto y por definicién es cerrada, entonces, cada una de las operaciones de la Légica Matemética nos dard como resultado OTRA prapasicién la que de acuerdo con su definicién también podrd ser Fo V; a partir de tal condicién se definen tales operaciones en los siguientes términos: DISYUNCION. La Disyunci6n es una Operaci6n Binaria de la Logica Matematica definida entre DOS proposiciones y que da como resultado otra proposicién que sera \VERDADERA si al menos una de las proposiciones operadas es verdadera, en caso contrario, es FALSA. Andlisis de la Definicién: ‘L+ Una definicién se da y se acepta COMO valida ya que de inicio es una de las REGLAS con las que se va a trabajar en cada rama de la matematica, Lo que se le pide a la definicién es que NO se contradiga con el cuerpo de conacimientos aceptados y demostrados como validos que conforman a la matematica como metaciencia. 2.-Se define entre DOS proposiciones “p" y"q*. 3.- Se represente mediante el simbolo “ v“ y se lee como “0”. Asi: pvq:selee como: “poq*. 4 El resultado es OTRA proposicién, caracteristica heredada por ser una Operacién Binaria, 5+ Siendo el resultado de una disyuncién otra proposicién, por definicién esta puede ser Fo V. 6.- Asi esta Operacin se define a partir de validar la proposicidn resultante. Ts la que es F si ambas simulténeamente. 8. Finalmente, con todas las combinaciones que podamos obtener con los valores de verdad de las py q“ son F Escucho y olvid, veo y recuerdo, hago y comprendo. Prov. chinae SERVICIO NACIONAL DE APRENDIZAJE SENA. SENA TX” SISTEMA INTEGRADO DE GESTION Procedimiento Ejecucién de la Formacién Profesional Integral José Andrés Sanchez Carrasquilla. vindye $ an Lic. in Bducacin con Expecialidad en Matemitcas proposiciones operadas se construye una tablade — [p 4 pAq verdad la que nos define esquematicamente ésta [7 Tv v coperacién en la forma siguiente: Vv F F F v F p q py F F F v Vv v Junto con esta DOS operaciones Binarias, se define V F v otra operacién que se aplica sobre una sola ; 7 7 proposicién, es decir, NO es una operacién binaria Tal operacién es la NEGACION la que se define en F F F os términos siguientes: CONJUNCION, La Conjuncién es una Operacién Binaria dela Logica Matemdtica definida entre DOS proposiciones y que da como resultado otra proposicién que seré VERDADERA siy solo si las Proposiciones operadas son verdaderas simulténeamente. ‘Analisis de la Definicid 1 Nuevamente esta definicién se da y se acepta COMO valida de acuerdo a lo aclarado en el punto 1 2. Se define entre DOS proposiciones “ p"y"q". 3.- Se represente mediante el simbolo “ “ y se lee como" y" Asi: paq:selee como: “py a" 4,- El resultado es OTRA proposicién, caracteristica heredada por ser una Operacién Binaria, 5.- Siendo e| resultado de una conjuncién otra proposicién, por definicién esta puede ser Fo V. 6.- Asi, esta Operacién se define a partir de validar la proposicién resultante. 7+ la que es V si ambas ” py q simulténeamente en caso contrario es F. 8. Finalmente, tambign en este caso podemos construir una tabla de verdad la que nos define esquematicamente ésta operacién en la forma siguiente: son V NEGACION La negacién de una proposicién “ p “dada, es otra proposicién que serd V si la proposicién operada es Fy viceversa, es F sila original es V. Esta operacion se representa mediante el simbolo“~“ y se lee coma “No” La correspondiente tabla de verdad es: Pp “P v F FV Fjemplos: Efectdie las operaciones indicadas con las siguientes proposiciones, Validelas. Pa: La suma es cerrada en las pares. px: El producto es cerrado en los impares. px V px La suma es cerrada en los pares o el producto es cerrado en los impares. { V) spr: La suma es cerrada en las pares y el producto es cerrado en los impares. {V) ~pi A pz: La suma NO es cerrada en los pares y el producto es cerrado en los impares. (F) Escucho y olvid, veo y recuerdo, hago y comprendo. Prov. chinae SERVICIO NACIONAL DE APRENDIZAJE SENA. SENA TX” SISTEMA INTEGRADO DE GESTION Procedimiento Ejecucién de la Formacién Profesional Integral José Andrés Sanchez Carrasquilla. vindye $ an Lic. in Bducacin con Expecialidad en Matemitcas ~piv~p2: La suma NO es cerrada en los pares 0 el producto NO es cerrado en los impares. ( F), pi A pr: La suma es cerrada en los pares y la suma es cerrada en los pares. (V). pi V~py: La suma es cerrada en los pares oe! producto NO es cerrado en los impares. ( V) 2 A~Pr: El producto es cerrado en los impares y el producto no es cerrado en los impares. (F) EJERCICIOS No. 2: Can las proposiciones del ejercicio 1, efectue las siguientes operaciones. Validelas. a) ~pA ps: b)- piv~ pe: Cle PoA Rs d).- ~psv prt e)- ~psA~ Ps: fl- pay ps 8) Apt hy) Bs ¥~ prt i) ~parps: is Prv~ Ps 1L4.- PROBLEMAS DE LA LOGICA MATEMATICA, Los problemas de la Légica Matematica, en una primera instancia, son los RAZONAMIENTOS en su mds pura acepcién. Es decir, no como un proceso simple de evocacién o de recuerdo, sino como un proceso BIEN estructurado, formado por proposiciones en el que el resultada final debe ser algo util para que tenga sentido. Es de todos sabido, y alguna vez hemos hecho uso de tal recurso, que cuando queremos desacreditar 0 rechazar algo, el recurso inmediato es decir que ese algo “NO TIENE LOGICA”. Lo que esto significa, desde el punto de vista légico, es que ese algo que estamos rechazando no puede soportar un proceso riguroso de anélisisl6gico, hecho a partiry con los conocimientas que asumimos todos poseemos. En todo caso, aceptar o rechazar el conocimiento que continuamente nos esté llegando y ante el cual forzosamente tenemos que reaccionar implica necesariamente un proceso de andlisis l6gico muy minucioso. Solamente asi estaremos en posibilidad de rechazar o aceptar como verdadero tal conocimiento. Finalmente casi siempre tal conocimianta est expresado mediante una proposicin. Por otro lad, puesto que la verdad NO es absoluta y menos la cotidiana, ya que su valor se encuentra contaminado de alguna forma por el contexto particular de cada individuo, aceptar o rechazar los conocimientos como verdaderas muchas veces llega a ser una cuestién personal en la que los aspectos Subjetivos son determinantes. Finalmente, y de acuerdo con los estudios de la construccién del conocimiento como el fildsofo Kant, solamente las verdades que se extraen mediante las, matematicas son absolutas, por lo tanto, y come el titulo lo indica, los conocimiantos de nuestro interés y los que finalmente modelaremos serin Unica y exclusivamente os conocimiento matemdticos. Es decir, solamente proposiciones que involucren conocimiento de las mateméticas serdn los que estudiaremos y eventualmente validaremos, Ahora bien, ECémo saber si un razonamiento es cofrecto?, Dado que el resultado de un razonamienta va a estar expresado mediante una proposicién y esta proposicién va aser factible de expresar mediante las operaciones légicas, entonces, sila tabla de verdad asociads a la operacién es correcta, el razonamiento también lo serd desde el punto de vista de la ldgica. iATENCION!. Escucho y olvid, veo y recuerdo, hago y comprendo. Prov. chinae SERVICIO NACIONAL DE APRENDIZAJE SENA. SENA TX” SISTEMA INTEGRADO DE GESTION Procedimiento Ejecucién de la Formacién Profesional Integral José Andrés Sanchez Carrasquilla. vindye $ an Lic. in Bducacin con Expecialidad en Matemitcas Todo conacimlento, como resultado de un razonamiento, debe ser expresable mediante las operaciones de la ldgica matemiatica. Es decir, toda expresion de la dgica matematica que involucre proposiciones, conjunciones, disyunciones y/o negaciones representa un razanamiento y, como ya la hemos mencionado, la validacién de tales operaciones se realiza mediante la correspondiente tabla de verdad, por la tanto: UN RAZONAMIENTO: «Ser VERDADERO si su tabla de verdad lo es también independientemente de fos valores de verdad o falsedad de {as proposiciones involucradas en él. (Razonamiento Tautolégico o Tautologia). * Serd FALSO si su tabla de verdad fo es también, independientemente de los valores de verdad 0 falsedad de las proposiciones involucradas en él. (Rozonamiento Contradictorio 0 Absurdo). «Ahora que si su valor de verdad depende de los valores de las proposiciones involucradas, se dice que el razonamiento es Contingente. Por lo anteriormente dicho solamente los razonamientos tautoldgicos serdn de nuestro interés. Condicional o Implicacién. s la forma més elemental que adopta una Razonamiento en la Ldgica Matematica. Se define entre DOS proposiciones: Una, fa primera, llamada Antecedente 0 Hipétesis y otra, a segunda, Consecuente 0 Tesis. Dado que es la conexién entre DOS propasiciones entonces nos da como resultado otra proposicién que serd V si ambas son Vo sie! Antecedente es F independientemente del Consecuente. Se representa mediante el simbolo “ 9 "yse lee: “Si...Entonces...“ asfen lo implicacién “pq” a leemos: Sip entonces 4, De acuerdo con la definicién anterior, tendremos la siguiente Tabla de Verdad que nos permite validar una implicacién P q pq V v V v F F F v v F F v Ejemplo: Con las siguientes proposiciones construya las Inferencias que se piden. Validelas. p:4 y 10son nimeras pares, q:4 +10 es un ntimero Par. a) p 0: Si4y 10.son Pares, entonces 4+10 es Par. (A=Vy C=V > V) b)=~p— 9; Si4 y 10 NO son pares entonces 4+ 10 esPar.(A=FyC=V.. 9V) c= p->~@: Si4 y 10 son pares entonces 4+10 NO es par. { yC=F..—F) d)-~p—>~g: Si4y 10 NO son pares entonces 4+ 40 NO es par.(A=FyC=F -. >) e)q-> p: Si4+ 10 es PAR entonces 4 y 10 son pares. (A=VyC=V-. >V) f)-q—> ~p:Si4 +10 es PAR entonces 4 y 10. NO son pares. (A=VyC=F -.>F). @)-~q— p:Si4 + 10 NOes parentonces 4 y 10 son pares. (A=FyC=V..+V). Escucho y olvid, veo y recuerdo, hago y comprendo. Prov. chinae SERVICIO NACIONAL DE APRENDIZAJE SENA. SENA TX” SISTEMA INTEGRADO DE GESTION Procedimiento Ejecucién de la Formacién Profesional Integral José Andrés Sanchez Carrasquilla. vindye $ an Lic. in Bducacin con Expecialidad en Matemitcas h).-~q>~p: Si4+10 NO es par entonces 4 y 10 NO son pares. (A= FyC=F .>V) EIERCICIOS No. 3. Can las siguientes proposiciones construya las Inferencias que se piden. Validelas. p:5 y9son_nimeros imparas. 4:59 es un numero impar. al pq: b)- ~pog de po~ d)- ~p>~a: el gap: fe gop: g)- ~9>p: h)- ~q>>p: Bicondicional o Equivalencio: Se tiene asi que la afirmacién «p si y solo si g» es légicamente equivalente al par de afirmaciones «Sip, entonces qo, y «sig, entonces p». El valor de verdad de un bicondicional «p si y solo si gy es verdadero cuando ambas proposiciones (p y q) tienen el mismo valor de verdad, es decir, ambas son verdaderas 0 falsas simulténeamente; de lo contratio, es falso. Resumen 1, Una proposicién 5 toda expresién que tiene la propiedad de ser verdadero o falso 2. Las enunciado abiertos son expresiones que no tiene la propiedad de ser verdaderos falsos, a menos que ‘especifiquemos un valor determinado como es el ‘ca80 para las funciones proposicionales. 3. Los conectivos légicos son aquellos simbolos que ‘enlazan dos 0 més proposiciones simples. Tenemos la conjuncién, disyuncién, la condicional y ta bicondicional 4, Dado el condicional p-rq llamado directo, en conexién con él se presentan: 1) La proposiciin reciproca wp 11 La proposicién inversa ~pomg (1 Laproposicién contrareciproca “> 5. La bicondicional es la conjuncién de la proposicién condicional con su reciproco (p>) (49) oq 6, dos proposiciones son equivalentes, cuando el resultados de sus tablas de verdad son iguales. El bicondicional de dos esquemas equivalentes es una tautologta 7. Una expresién se lama tautologia, silos valores de verdad del operador principal son todos verdaderes. Escucho y olvid, veo y recuerdo, hago y comprendo. Prov. chinae SERVICIO NACIONAL DE APRENDIZAJE SENA. SENA SISTEMA INTEGRADO DE GESTION TN Procedimiento Ejecucién de la Formacién Profesional Integral vndye $ any José Andrés Sanchez Carrasquilla. Lic. in Bducacin con Expecialidad en Matemitcas Ejercicios 4 1. Realizar las tablas de verdad de las siguientes proposiciones compuestas. {pag} > frvg) 1. ~(9vg) & (ras) . (pag) > (pv~q) {(-p.04) > (pv~a}v{*(p vg) <> (ras}} 2. Un periodista, no con buenas intenciones ha publicado los siguientes datos, intercambiando (os datos fidedignos. Abril | Mayo Inflacin (4) Cotizacion del Dolar | 6,2 (S/) Pasaje Urbano les [26 [30 Menos mal que hemos podido obtener algunas informaciones reales, con los cuales te pedimos “arreglar" el cuadro anterior. 3. La inflacién nunca bajé a menos del 3% y fue siempre ascendente. El pasaje en Abril fue mayor que en Marzo. ¢. La cotizacién del délar descendié en Mayo respecto a Abril 4, la cotizacién del délar siempre se mantuvo por encima de /2 3. En una mesa hay tres sombreros negros y dos blancos. Tres sefiores en fila india se ponen un sombrero al azar cada uno y sin mirar el color. Se le pregunta al tercero de la fila, que puede ver el color del sombrero del segundo y el primero, si puede decir el color de su sombrero, a lo que responde negativamente. Se le pregunta al segundo que ve solo el sombrero del primero y tampoco puede responder a la pregunta. Por Ultimo el primero de la fila que no ve ningdn sombrero responde acertadamente de qué color esel sombrero que tenia puesto. éCual es este color y cual es la légica que uso para saberlo? . Un oso camina 10 Km. hacia el sur, 10 hacia el este y 10 hacia el norte, volviendo al punto del que parti6, £De qué color es el oso? 2Cudl es el menor numero de personas que se requiere para que en una familia haya: un abuelo, una abuela, tres hijos, 3 hijas, 2 madres, 2 padres, una suegra, un suegro yuna nuera? . Cinco nifios, todos de edades distintas, comprendidas entre los tres y siete afios, viven cen la misma casa de la calle del Olmo. Partiendo de las pistas siguientes, épodria encontrar los nombres completos y las edades de los cinco nifios? 2, Todos los sdbados por la tarde, la sefiora Parga eva a trabajar y deja a sus hijos con la seftora Ribas, cuya hija es més joven que los nifios de la sefiora Parga b. Tina es mayor que Luis y mas joven que el nifio. (o la nifia) cuyo apellido es Pla ¢. Lanifia apellidada Torres es de dos afios mayor que Lisa. d. Lamadire de Rita, que a veces se queda en casa los sdbados por la tarde, se encarga de vez en cuando de Toni mientras que la madre de éste sale de compras Escucho y olvid, veo y recuerdo, hago y comprendo. Prov. chinae SERVICIO NACIONAL DE APRENDIZAJE SENA. SENA TX” SISTEMA INTEGRADO DE GESTION Procedimiento Ejecucién de la Formacién Profesional Integral José Andrés Sanchez Carrasquilla. vindye $ an Lic. in Bducacin con Expecialidad en Matemitcas Nota: Fijese en que, segun la pista 1, hay dos nifios apellidados Parga. Por lo tanto, la columna de Parga ha de llevar dos puntos para indicar los nombres de pila de los hermanos, 7. Los hijos de Andrés son Rasa y Tofio, Rosa se casé con Tino y tuvieron un hijo de nombre Celso. Tofio es padre de Sara quien es madre de Leonor. Por lo tanto: a. Leonor es nieta de Too y Bisnieta de Andrés. b, Celso es primo de Sara y Sobrina de Leonor. ©. Tofioes tio de Celso e hijo de Andrés d, Sara es sobrina de Tino y bisnieta de Andrés. 8. Cuando asistiaa una reunién, me presentaron los sefiores Barbén, Lampio, Cano y Rubio. Entre ellos hay un fotdgrafo, un médico, un taxista y un contador. De ellos recuerdo los siguientes datos: a, El sefior Barbén y el taxista son viejos amigos. bs, El médico y el contador conocieron en esta reunién al sefior Rubio, . Elsefior Lampio ni el sefior Cano saben conducir 4, E| médica y el sefiar Cano son compadres. éQuién es médico? 9. Enla escuela los chicosse sientan en los pupitres numerados del 1 al 5 y las chicas se sientan frente a ellos en los numerados del 6 al 10. a) La chica sentada junto a la chica frente al n21 es Fiorela, ') Fiorela se sienta tres pupitres mas alla que Grace. ¢) Hilary esté frente a Colin, d) Eddy se sienta frente ala chica sentada junto a Hilary. e) SiColin no estd en el centro, Alan si f} David esta junto a Billy. 8) Billy se sienta tres pupitres més alld de Colin, fh) SiFiorela no esté en el centro, Indias. i) Hilary estd tres pupitres mas alld de Jane. 1) David se sienta frente a Grace K)_ La chica que se sienta junto a la que esta frente adlan es Jane. I) Colin noe sienta en el pupitre nes. 1m) Jane no se sienta en e! pupitre n®10 eQuién est sentado ala derecha y contiguo a Indira? 10. Carmen es hermana de Rino y Joaquin es hermano de Carmen, pero Rino y Joaquin no tiene ninguna afinidad familiar. Luego: , El papa de Rino es hermano con la mama de Joaquin. f. Lamamé de Joaquin es tia de Carmen, &. El papa de Carmen es tio de Joaquin. h. La mamé de Joaquin es esposa del papa de Rio. i. Lamamé de Rino es esposa del tio de Rosa. éCual de las alternativas es cierta? Escucho y olvid, veo y recuerdo, hago y comprendo. Prov. china