Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • T. 4 Teoría. Lógica Formal

    Cargado por

    Sara Doñoro
    3 vistas5 páginas

    Título original

    t. 4 Teoría. Lógica Formal

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    PDF o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    Denunciar este documento

    Copyright:

    © All Rights Reserved
    Descargue como PDF o lea en línea desde Scribd
    Marcar por contenido inapropiado
    3 vistas5 páginas

    T. 4 Teoría. Lógica Formal

    Cargado por

    Sara Doñoro

    Copyright:

    © All Rights Reserved
    Descargue como PDF o lea en línea desde Scribd
    Marcar por contenido inapropiado
    de 5
    Ramon lull Eflésofo Ramon Lut (Palma, 1235, Tunez, 1315) puede considerarse uno de los precursores ce la legica simbdica. tides 6yt7 5.2. Los simbolos de la légica de enunciados El lenguaje especifico de la l6gica de enunciados contiene un vocabulario en el ue se puede distinguir entre simbolos no légicos y simbolos ldgicos. Veamoslo. Simbolos no légicos — Variables. Son letras mindsculas (p, 9, r, 5, t..) que se utlizan para sustituir los enunciados. Por ejemplo: «Si vines ahora, entonces te espero» equivale a «Sip, entonces g». Se denominan variables porque sustituyen a los enuncia- dos concretos, que pueden variar de un razonamiento a otro. Ast, sustitviria mos también por py q los enunciados de otra razonamiento, aunque tuviesen istinto contenido. Por ejemplo: «Juan vendré y se quedard estudiando» equivale a «py g». eee an rer: Como aijimos antes, las praposiciones se caracterizan por ser verdaderas o falsas, Puesto que las veriables las sustituyen, estas también seran verdade- ras 0 falsas. Tienen, por tanto, dos valores de verdad: verdadero 0 falso, indi- cados con VIF 0 con 1/0, — Simbolos auniliares. Son los paréntesis y corchetes que se usan para faclitar la comprension y lectura de algunos enunciados complejos. Gracias a estos, pademos saber cual es la relacién dominante en enunciades que se pueden interpretar de varios modos. Por regle general, el relacionante principal serd el que quede fuera del paréntesis, y por encima de él, el que esté fuera de los. Corchetes. En una oracién como «Si [(cantas y bebes) o (ballas y comes)], entonces no puedes hacer ninguna de las cases bier», el relacionante domi nrante seria si... enfonces, porque esté fuera de los corchetes; después, la 0, Porque esta fuera de los paréntesis; y, por dltimo, lay. Simbolos légicos ‘Son aquellas particulas que nos permiten formar enunciados moleculares a partir de enunciados simples, Existen dos tipos: — Negador (=). Sirve para neger cualquier enunciado. Se corresponde con el no del lenguaje natural. «No llueve> equivaldria a = p. — Conectivas. Sirven para unir 0 conectar enunciados simples y, asi, formar enunciados moleculeres. Equivalen a los relacionantes del lenguaje natural En ldgica de enunciados se considera que existen cuatro tipos: Equivale mésome- | Equivale @ la con- Equivale al relacio- Equivale a siy sola- es @ la conjuncién | juncién disyuntive nante condicional. | mente si del len- y omer en. sentido 6 Si quieres, en- | SHale natura. sete al cine y | Gpcvclwemte, es" eeces temas | Me comprare diviértete, ee un coche si 7 den sucederam- epg siy. - solamente & spaa Eevcosas 2120). soterieniensy + Estudiaré in- | ofranees, wes af pee ‘Veamos mas detenidamente las tables de verdad y las caracteristicas de cada uno de los simbolos légicos. “pes ialso si pes ver. dadero, y viceversa, =p es verdadero si p esfalso. Caractritieas Si el enunciado «Sevi- lis es la capital de Ar: dalucia» es verdade- ro, entonces el enunciado «Sevila no es la capital de Anda: lucia» @s flso, y vice L pa ipaq 2a jpva ea [pa | pa jpna ia wo wy wiv | wiv ve veoy ve | VE | Ev FV ov FV ov FV F FEL e FROF reve eeremleny La conjuncién da tu- Un enunciado disyun- | La primera de las pro- | El bicondicional ex: ger a un enunciado molecular que solo es verdadero cuanda to- das las proposiciones ‘gue lo ‘orman son ver daderas. Es falso ‘cuando algun 0 to- das son falsas, «Madrid €5 la capital de Espafa y Sevila, la de Andalucie> sola es, verdadero si es verdad que Madrid es la capi- ‘al de Espana y tam- | bien que Sevilla fo es de Andalucia, Si una | de las dos cosas, 0 las | dos a Ia vez, no se cumplen, todo el todo el enunciads molecu: lar es falso tivo es verdadero ‘cuando al menos une de sus miembros lo fs. Y solo es faiso en el caso de que los dos miembros sean a le vez faloos. Posiciones se denomi- nia antecedente y la segunda, consecuen- presale coimplicacién tentre dos praposicio- res. Esto significa que fe. Un enunciado de | la verdad o falsedad este tipo es verdadero de una implica la ver- siempre, excepto | dad o falsedad de ta cuando el anteceden- te es verdadero y el consecuente fal, La proposicién «Este | Un enunciado com- | alumno sabe francés © inglés sera verdad i sabe solo francés, si sabe Solo inglés 0 si conoce los dos idio- mas. ¥ solo sera falsa fen el caso de que no sepa ni francés ni in= als. plejo como «Si aprue- | bo, me compran un | coche= es siempre verdadero, menos ‘cuando se da el ante- cedenta (ne aproba- 0), pero no se curn- ple el consecuente (n0 me han comprado tun coche), ora, De ahi que en la tabla apaterca el valor V siempre que p y q tienen el mismo valor. sAprobaré si y sole mente si estudio> es luna proposicién que solo es falsa en el caso de que no apruebe y haya estudiado, 0 bien, que aprube sin haber estuiado, La negacicn es el Uni co simbolo légico que se aplice a un solo enunciado. Aunque =p.contenga solamen- te el negador y una | sola propesicion sim- | ple, se considera que gs un enunciado mo- | | Aunque hemos dicho | que la conectiva leg | can equivele ala con- | uneion y de enguale | natural, hay que mati | zar que esta corres. Ses | es riguose, Por jem- pence vases | cine, peto Pedro se | auede en casa» ia | Sonjuncion ero eau | vai fe conectva n | Es necosaro recordar | gue et lenguaie natu- | ral tiene una riqueza | que es dificil repre- Setar con tan solo cinco simbolos 6g 08 A partir de la tabla de verdad, te habras dado cuenta de que no se‘trate de una sisyuncién excluye te, como en «Este ‘moro es par 9 impar», fen que solo puede ser verdad uno de los miembros, pero no los dos a la vez, En la disyuncién logica am- bos _componentes pueden ser verdade- ras, El condicional exaresa una conexion sufi ciente entre el antece- dente y el consecuen- te, porque solo por el hecho de ser verdad &F prmero, debe sro | tambien el segundo. | Si embargo, el ate. | cadente no es cond | clon necesarie del | consecuente. Pr elo, puede ser verdad el fegundo. (me hon | comoredo un cocre), | stnque el anteceden- te sea falso (no fe aprebade)Y, polo, timber et condo: | nal sigue sendo ver | dacero aunque em- Bos sean falsoe, &¢ | dec, aunque no hye | sprobado y tampaco | Ine raven comprado | etoocte. EI bicondicional ex- presa una relacion que es verdadera siempre que los ‘miembros de la rela- cian compartan el ‘mismo valor de ver- dad, indistintamente Si eS verdadero 0 fal- so. EI bicondicional (como su nombre in- dica) es, en realidad, la conjuncién de dos condicionales idént- cos, pero en distinta direccién. Asi: p == q equivale a (p> gy (q~p). 5.3. Comprobacién de la validez de los razonamientos ‘Vamos 2 estudiar dos métados para la comprobacién de la validez de los razona- ‘mientos en la logica de enunciados. El primero es el de las tablas de verdad y el ‘segundo consiste en aplicar las reglas de inferencia a la deduccion para ver si las cumple, en cuyo caso seria una inferencia valida, Tablas de verdad Una tabla de verdad es un gréfico, construido mecdnicamente, que muestra los posibies valores de verdad de un enunciado molecular. Dichos valores se obtie- nen una vez que se ha determinado la verdad o falsedad de los enunciados com- uestos que la integran. Gracias a las tablas de verdad de los simboles légicos (las acabamos de ver), nos seré posible determinar todos los posibles valores de ver. dad de una formula cualquiera de la ldgica de enunciados. ‘Veamos como a partir dé las tablas de verdad de los simbolos légicos podemos © een cots ecco nb de vera de cuter oo erro, Pr tl, empezaremos con lara: (Pv @) =o. Cémo se construye una tabla de verdad “12 Se dbuja una cruz yen la parte superior aqulerda Se escr- 4 Para asignar os valores de verdad de los enunciados com- ben todas ls varlables que intervenen. En este caso,pyq. _puestos que integran la formula principal, debes basarte at enla tabla de verdad de os simbolosl6gicos que aparecen enese enunciade. | palva sp jevd—-p | Wha Ek i VE| Viper oor Se les asignan los valores de verdad @ las varlables, de NP ey ey. modo que se reproduzcan todas as combinaciones posi- peaey bles. El ndmero de combinaciones posibles se tiene ele- pt vando 2 al nimero de variables que haya, As, si hay 3, como 2! = 8, habré ocho combinaciones posibies. —Aplicendo la tabla de verdad de la disyunci. a Eneste caso, como tenemos —Aplicando latabla de verdad de la negacion. dos variables y 2° 4, et nd- se > - nero de combinaciores pe. ~ABlcandola tabla de verdad del condlcional. tH sibles sera cuatro. FF 5. Los valores de verdad que aparecen en la dltima columna son todos los valores de verdad que puede tener la férmula, 3.° nla parte superior derecha dela tabla se escriben las 6r- que acabas de analiza Observa que, en este case, elvalor mulas que componen el enunciado molecular que se esti de verdad dela formula depende del velor de verdad de los analizando. Debes hacerlo sigulendo un orden, de modo enunclados simples qua Integran. ‘que primero resuelvas los enunciados integrantes (los que se encuentran entre paréntesis y corchetes), para acabar palovg 9 @vgd—-p om el erunciado gue posee la conectiva principal. Where vel Vo oF pal@v@ ~» ovd— fFVivovioy w Rede Ee Ve Uv vel FV ‘ouono 11, A COvURICACON ¥ ux AacunueRTACEN LOCA ‘Vamos a aplicar lo que acabamos de ver en la confeccién de la tabla de verdad de le formula: [p a (qv > Kp 4) vip A) Fijate en que la formula contiene tres variables (p, 9, 1, por lo que, al asignar los valores de verdad, habrés de tener en cuenia que el némero de combinaciones posibles sera ocho. Puedes escribir estas ocho combinaciones en el orden que quieras, siempre que no se repita ni falte ninguna. Un mecanismo facil pera ha- Cerio es el siguiente: empieza por la colurina de la ultima variable, en este caso r, ¥y asignale el nmero de valores que corresponda, en este caso ocho, altemnando una Vy una F hasta el final. Luego, asigna los valores de verdad de la variable anterior (q), alternando dos Vy dos F hasta llegar a ocho. Por ultimo, para la va- Tiable p, alterna los valores de verdad de cuatro en cuatro. ma<

    También podría gustarte