Catedra: LOGICA Titulo: Unidad Il: Logica y Lenguaje Tema ll: El Signo y Tipos de Signo 1. EQUE ES EL SIGNO? Los signos de agrupacién sirven para no caer en ambigledades cucndo realizamos muchas combinaciones de proposiciones y conectivos légicos, esto obliga simbélicamente a defini una jerarquia en las proposiciones y el orden de cémo debe de desarrollarse un esquema molecular cuando tratamos con las tablas de verdad. La légica matematica, el objetivo primordial es buscar el correcio orden de los argumentos, es por ello que va por fases, una de ellas es la més bésica, es decir, la Idgica proposicional donde se centra en la esiructura de las proposiciones solo por medio de los conectivos légicos. Este tipo de légica toma los argumentos y los simboliza de manera muy general estudiando una estructura bésica de estas, es decir, toma en cuenta su relacién sintéctica entre las proposiciones por medio de los conectives légicos (en otras palabras, no interese el significado de una proposicion, solo su valor de verdad). En otras palabras, simbolizar tos enunciados significa transformar la estructura de los argumentos en el lenguaje de los simbolos. Esto ayuda a tener una visién mas general del comportamiento de los Proposiciones, pero no explica la estructura de cada proposicién, es decir, no se toma en cuenta los argumentos propiamente dichos antes de visvalizarlos. Si un argumento es comectamente escrito, a nivel simbélico debe considerarse también la simbolizacién de las restricciones de un argumento para saber qué hace que un argumento se encuenire muy bien escrito, este tipo de orden en légica se les llama formulas bien formadas. Los signos de agrupacién son un conjunto de simbolos especiales (paréntesis, corchetes, llaves} con Ia finalidad de realizar simple Profesor: M. So. Luis Manuel Soto Garcia (Ing.) 44Catedra: LOGICA a Titulo: Unidad Il: Logica y Lenguaje ‘agrupaciones de proposiciones (variables proposicionales) junto con los conectivos légicos, pero son infinilamente necesarias para no caer en ambigdedades cuando intentamos combinar los conectivos Igicos con otras variables proposicionales. Ejemplo Nro Si mariana deja de llover, iré de compras y visitaré a mi madre. si observan bien esta proposicién, el antecedente es: Mafiana deja de lover. Le llamaremos proposicién p, luego, el consecuente de ta proposicién es: 6 de compros y visitaré a mi madre. Esta Uttima es una conjuncién y puede escribirse como qAr. Para que gr se cumpla donde q es iré de compras y r ¢s visitaré a mi madre, tiene que ocunir la proposicién p que resulta ser nuestro antecedente esctibiéndose de la siguiente manera: polaAn Esta es la manera correcta de escribir una proposicién compuesta con més de 2 proposiciones simples, aunque no necesariamente deberian de ser simples. El ejemplo anterior sive para ilustrar la manera correcta de escribir !o que comtnmente se llama esquema molecular con los conectivos légicos anteriormente ya definides. Si un fragmento de un esquema molecular se encuentra con signos de agrupacién como pueden ser corchetes, paréntesis, llaves, entonces se debe de calculer primero los Profesor: M. Sc. Lu's Manuel Soto Garcia (Ing.) ecu scsi tA 24Catedra: LOGICA Titulo: Unidad Il: Logica y Lenguaje valores de verdad del fragmento de proposicién encerado por los signos de agrupacién. Si el siguiente esquema p(q/\1) se escribiera quitando los paréntess 4 quedando p+q/r, no se podria saber si primero debe calculatse los valores de verdad de pq o de q/r ya que la validez de p>(aAN y {Pp ~q) wedger en una tabla de verdad son completamente diferentes, Es por ello la importancia de los signos dle agrupacién. 2.» PROPOSICIONES COMBINADAS aCuéntos valores de verdad estos son: ne una proposicién?, naturalmente dos, ysis Pero cuGntas combinaciones de todos los valores de verdad se pueden encontrar de dos proposiciones p y g?, esto se puede ver en una sencilla tabla de verdad sin conectivos ldgicos: aS Sys yy ss Con des proposiciones, tenemos 4 combinaciones posibles de los valores de verdad de dos proposiciones. 2Y para 3 proposiciones?, la tabla seria de la siguiente manera: Profesor: M. Sc. Luis Manuel Soto Garcia (Ing.) witCatedra: LOGICA Titulo; Unidad Il: Logica y Lenguaje _ v F v F va F Vv P Las combinaciones de 3 proposiciones diferentes nos dan como resultado 8 posibles combinaciones de los valores de verdad de las mismas. Si observamos todas las combinaciones de los valores de verdad y la relacién que tiene con el numero de proposiciones existentes, encontramos un comportamiento facil de detectar: ¥Con 1 proposicién, tenemos 2! combinaciones posioles. ¥Con 2 proposiciones, tenemos 2? combinaciones posibles. ¥Con 3 proposiciones, tenemos 2? combinaciones posibles. por generalidad, podemes concluir de manera inductive que: ¥ Para n proposiciones, tenemos 2° combinaciones posibles. Esta formula se puede demostrar por el principio de inducci6n en un curso de teoria combinatotia. Lo veremos en su momento en un Curso de induccién matemética. Profesor: M, Sc. Luis Manuel Soto Garcia (Ing.) antCatedra: LOGICA Titulo: Unidad I: Légica y Lenguaje 3,- JERARQUIA DE SIGNOS DE AGRUPACION DE LOS ESQUEMAS MOLECULARES. Para caleular la validez de un esquema molecular, hay que tener en cuenta siempre la existencia de un operador principal, es decir, un conectivo légico principal donde se calculoré finalmente la volidez de ta proposicién matriz. Vayamos con un ejemplo para explicar las diferentes tablas de verdad para diferentes esquemas moleculares, de esta manera sabrés como agrupar corectamente los conectives Isgicos junto con las proposiciones simbéiicas, Ejemplo Nro 2: Jerarquia de los signos de agrupacién Si deseamos calcular todos los valores de verdad en und tabla de verdad de la siguiente férmula proposicional: pAla>p) Debemos saber todos los posibles valores de verdad de p y de q—p, de aqui, el simbolo conjuntivo wedger es de mayor jerarquia y esto es asi porque fue restringido por los signos de agrupacién de nuestra formula proposicional, Primero necesitamos calculer todos los valores de verdad de q—p y como estamos tratando con dos proposiciones, entonces trabajaremos tan solo con 224 combinaciones posibles de los valores de verdad de py q, nuestra tabla quedaria ast: Profesor: M. Sc. Luis Manuel Soto Garcia (ing.) 5/11Catedra: LOGICA Titulo: Unidad Il: Légica y Lenguaje El color azul indica que primero tenemos que calcular todos los valores o de verdad de q~p con los valores de verdad conocidos de p y q, luego. : los valores de verdad de color rojo indica que ahora tenemos que calcular todos los valores de verdad entre p y q—p anteriormente cf calculados. Del ejemplo ilustrativo anterior, los enumeré con 1 y 2 para indicar que fragmento de la proposicién matiz se deben de calcuiar, El némero | significa que q—p se calcula primero y 2 significa que se calcula finalmente la conjuncién de pA(q~p) y cémo Ia conjuncién es la de mayor jerarquia, decimos entonces que pA(ap) es una proposicién conjuntiva. Ahora cambiemos los papeles, de la proposicién anterior pA(a~p), tomemos a fa condicional + con mayor jerarquia, nuestra formula proposicional serfa (p/Aq)—p, disefiemos su tabla de verdad para el nuevo ejemplo: La tabla de verdad de (pAq)p seria: Primero se calcula pq ya que es un conectivo légico de menor jerarquia por los signos de agrupacién que te hemos colocade, luego calculamos la condicional de (pAa)>P por ser de mayor jerarquia, 10s nimeros | y 2 indican que conectivo légico se tuvo que calcular primero. Profesor: M. Sc, Luis Manuel Soto Garcia (Ing.) casement asin mau HH ettCétedra: LOGICA Titulo: Unidad Il: Légica y Lenguaje Da estos dos ejempios, vemos que las férmutas proposicionaies de pA {a~p) y de (pAg)~p tienen comportamienios distintos, esto indica que el esquema molecular pAgp sin corchetes es ambigua DESARROLLO DE ESQUEMAS MOLECULARES POR TABLAS DE VERDAD Un esquema molecular puede estar compuestas por muchas proposiciones y conectivos légicos combinades que estas tengan, sin embargo, sean cual fuese la combinacién, siempre existir una jerarquia {con algunas excepciones) de algun conective logico. i Dependiendo de Ja jerarquia de una formula proposicional, esta puede ser una proposicién conjuntiva, disyuntiva, etc., incluyendo lo negacién que tiene la propiedad de cambiar como por ejemplo a una proposicién conjuntiva a una disyuntiva. Y no solo hay una sola jerarquia, un esquema molecular puede contener combinaciones de conectivos légices incluida la negacién tal que podemos encontrar conectivos de menor a mayor jerarquic. Obviamente siempre se comienza caiculande aquellos conectivos Iégicos de menor jerarquia hasta llegar a la Ultima jerarquia. Ahora con un ejemplo més extenso de 3 proposiciones p, q yr. Ejemplo Nro 3: de un esquema molecular de 3 variables Seq el siguiente esquema molecular (pa) VirAp} Fiense que esle esquema fiene como mayor jerorquie a una disyunci6n inclusiva, por tanto, tenemos que resolver primero lo que esta encerrado en paréntesis. Profesor: M. Se. Luis Manuel Soto Garcia (Ing) 74Catedra: LOGICA Titulo: Unidad Il: Légica y Lenguaje Como tenemos 3 proposiciones diferentes, entonces se calculan 2°=8 posibles combinaciones de valores de verdad para nuestro esquema. La tabla de verdad quedaria de la siguiente manera: @>a)V(rAa) yaa asaas eidasuuds esses uass Roy ay ss yy Las columnas de los volores de verdad de color azul con el némero | debajo de cada columna significa que son los primeros conectivos légicos a calcularse y la columna de valores de color rojo con el numero 2, significa que es él siguiente y Ultimo a calcularse. De esta manera, se calcula segun ta jerarquia de los conectivos ldgicos de tales esquemas de todos los volores de verdad posibles que se tengan. Vayames con otro Ultimo ejemplo més para su mejor comprension. aitCatedra: LOGICA Titulo: Unidad Il: Légica y Lenguaje Las columnas con el némero 1 son los primeros en ccicularse, en este caso son ~g yr © p, luego le sigue las columnas con el numero 2, estas son p A~q y q Vit © p), ego tenemos Ia columna néimero 3 como pentltima jerarquia a calcular (~(pA~q) y por ultimo, calculamos los valores de verdad de la condicional de la columna nimero 4 de ~(pA ~a)rlaV (rp) ALGUNAS EXCEPCIONES CON LOS SIGNOS DE AGRUPACION Existen algunas excepciones cuando trabajamos con signos de agrupacién, ya que estas mismas resultan ser opcionales en ciertos casos especiales, Por ejemplo, el esquema molecular pAqAr no es ambigua y puede escribirse asf pAgAr=(pAq) Arp Alan Si calculamos |a tabla de verdad de (pAa)Ar y de pA(@An) resulta ‘que tiene los mismos valores de verdad y También ocurre lo mismo con la disyuncién inclusiva y iranquilamente lo podemos escribir asi: pVaqVr=(pVq) ViepV(qVn) La bicondicional también tiene esta propiedad cuando se usan més de 2 proposiciones a la vez en un esquema molecular, se registra sin contradicciones en el siguiente esquema: Pegers(peg)orpe (ger) La disyuncién exclusiva también goza de esta propiedad: pAgdr(pAq)ArpAigAr} Profesor: M. So. Luis Manuel Soto Garcia (Ing,) tter Catedra: LOGICA Titulo: Unidad ll: Légica y Lenguaje La Unica que no goza de esta propiedad es la condicional material donde: (prg}>r#p> (art) Por lo que el esquema par es ambigua, por tanto, Ia conjuncién, disyuncién inclusiva, disyuncién exclusiva y bicondicional cumplen con la propiedad asociativa. LOS SIGNOS EN LOGICA En légica proposicional y en cualquier Grea de las matematicas, los signos representan a los significados de los simbolos, los simbolos no tienen significado, solo estan representados por caracteres especiales como por ejemplo la negacién que seria el signo del simbolo ~. ‘Aqui una labla de los principales signos légicos de este curso. Nombre ‘Signo (Significado) simbolo Negacion No “oy Conjuncién y A Disyuncién inclusiva ° v Disyuncién Exclusive Obien..o bien . Aya Condicional materiat Si ..entonces .. = Bicondicional material Siy solo si - implicacion tegica Por tanto = Proposicion legica Argumento aseverativo par Signos de Agrupacién eno Verdadere: v Faiso _ F Profesor: IM, Se. Luis Manual Sote Garcia (ing.) 10/11La simbolizacion de proposiciones propiamente dicha son Unicamente con letras minusculas p,-q y 1, lamentablemente la simbolizacién no indica qué proposicién saa simple 6 compuesta, UN si G16 COMO por ejemplo p puede representar un esquema molecular con todos los signos como pueden ser variables proposicionales, conectivos logicos, paréntesis y propia extenderse a otros simboios més si tratamos con la logica de primer orden, Profesor: M. So. Luis Manuel Soto Garcia (Ing,) enemas cnnahtocnnslencue 141