Scribd Logo
Upload

Welcome to Scribd!

  • Lógica Proposicional

    Uploaded by

    lizeth cruz dl
    13 views19 pages

    Original Title

    LógicaProposicional

    Copyright

    © © All Rights Reserved

    Available Formats

    PDF or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document

    Copyright:

    © All Rights Reserved
    Download as PDF or read online from Scribd
    Flag for inappropriate content
    Download as pdf
    13 views19 pages

    Lógica Proposicional

    Uploaded by

    lizeth cruz dl

    Copyright:

    © All Rights Reserved
    Download as PDF or read online from Scribd
    Flag for inappropriate content
    Download as pdf
    of 19
    NQUIVALENCIAS LOGICAS fos 11 Loy mismos valores de verdad en todos 10s 4505 posibles se an fern en que tie be aman * ‘nicamente equivatentes, Podemos también definir esta nocién como sigue. DEFINICION 2 5: dice dal 165 a so La notwcidn pq a ‘Nota: EL simbolo = no es un conectivo Iégico, puesto que p = 7 No €s una férmula, sing la air le que > 4.66 una tautologa, El slmbolo ¢=s€ usa en ocasiones en lupar de w pay Hotwr una equivalencia légica, ‘ ‘ek i ilizar una tabi Una forma de determinar si dos proposiciones son equivalentes es uti lade ver. wale, la. En particular; tas proposiciones p y q son equivalentes si, y s6lo si, las columnas que Jn ty ‘wai valores de verdad coinciden, Los siguientes ejemplos ilustran este método. JEMPLO 2 Mucstra que -4p vq) yp a-g son légicamente equivalentes. Esta equivalencia ¢s una de jg ‘eves de De Morgan para proposiciones, llamadas asf por el matemético inglés Augusis rs Morgan, de mediados del siglo xix. ‘Solucién: Las tablas de verdad para estas proposiciones se muestran en la Tabla 2. Como los va. lores de verdad de las proposiciones (p v 4) y 7p A=q concuerdan para todas las. combinaciones Posibles de valores de verdad para p y q, se sigue que Xp v 4) © (=p Ag) es una tautologia y es. ‘as proposiciones son l6gicamente equivalentes. < Tabla 1. Ejemplos de una tautologia y una contradicei6n, P ~ | py-p | parp v F v F F v v F Tabla 2. Tablas de verdad para ~(p vg) y -p a=. a | pva | va ~q | -pang 4 concvertan, enna propniciones won Wipleanente equ " a RIMPLO 4 Mca Wo ts props one p atstriburva dow dinyuncion eg GY V0) APY) son Nogicnment soho Mn can luneian, exqivaentes, Es ta fey Soucidn: Construinyos tan Aiblan de vert pra ean f6rmuton cn n‘Tabla A, Como tos vutoe te Nera dota pope M1 para estas Keren en th Tabla 4. Com lox valores de lolones pv (y PY A) AAP F) concuordan, extas Formtlas son Kitien Monts squivalonna PY ANY WVarrcivr) comune eae Ken, He, Observacidn: Una tabla do v ‘ond para una formula dependicnte de trex proposiciones diferentes mise eR {itas, wna para ead posible combinacion de tos valores de verdad de tas tes pro Hh general, so requieren 2" flay sl una mula epende de n proposiciones, pa Me Table S contions algunas equivalencias importantes’, En estax ‘equivalencias, V denota Huler proposicidn que es Slompre verdadera y F denota cualquier proposicin que es s falsa, Mostramos Lambién algunas equivatencias itiles para frmulas que involucran impli Nes y dobles implicaciones i las Tablas 6 y 7, respectivamente, Ea tox problemas al ful de ta Secei6n se pide al lector qu ; 7 lc we Verifique las equivatenclas de tas ‘Pablas $7 {ey asociativa para ta dsyuncion miestea que ta expresién pv qv r esté bien definida en €l sentido de que no importa si tomamos primero ta di isyuncidn de py q y tego la disyuncién de Fay gait? © 8 primero tomamos ta disyuncin dey y 1 Y luego ta disyuncion de p y qv. De for- ‘ma similar, la expresisn p ».q 4 r esté bien deli i, Extendiendo este razonamienio, se sigue que Pea denn Me) PAPA AP,estin bien definidas siempre que Ps Pay os P, Sean proposicio- ines. Ademils, en en cuenta que ts leyes de De Mong se genera MOLYPLY VDDD AMD Aww AV) Bs AO APLA VP) =P, V>P,V mV) (Los métodos para demostrar estas identical les Se verdn en la Seccién. Las equivalencias logicas de la Tabla 5, asi como cualquier otra que se haya establecido (Como las mostracas en las Tablas 6 y 7), se puede ¥ 7), se pueden usar para construirequivatencias le cionales, Ello se debe a que una pro }posicin en una formula se puede sustituir por otra que sea Ki gicamente equivalente sin alterar el valor de verdad de la formula, Esta técnica se ilustra en tos. “aalsiat, | Biemplos 5 y 6, donde tambien se utiliza et hecho de que si py q son légicamnente equivalentes y 2 ZY r también, entonces p y r son Kégicamente equivalentes (véase el Problema 50), Yr) son logicamente equivalentes, (rv qhatpyr) calc gerade Rone Camda con ¢ s Totes dela Tebln de la Seceidn 10.1 22 Matematica discret y sus aplicaciones v Leyes de identidad | pvF | | pv Teyes de dominacién paksF pyp=p ‘Leyes idempotentes Paper Ley de la doble negaciGn TLeyes conmutativas Leyes asociativas (PAg@ar=pagan Leyes distributivas Leyes de De Morgan Leyes de absorcién “Leyes de negacién Tabla 7. Equivalencias légicas relacionadas | con implicaciones. con implicaciones. | POq=(2>9A (q~>P) POq=—pong POG= (AQ (pang) APO g=po-q > DAPI NEP Gar) @>NAG>O=Qyv4)>r ) Augustiis de Morgan nacié en la India, donde su_ fue coronel del ejército. cud Angst teste mes, Asst colegio. pvads, dnd dere wt i aca. De Morgan estudié en el Trinity College, en Cambridge, 27 atricularse en medicina o derecho, decidi6 hacer su carrera en matemiticas, Consigu en 1828, pero abandons cuando el College rechaz6 a un profesor amigo 81) Tetomé este puesto en 1836 cuando su sucesor muri6, permaneciendo hats 1866. rincipios sobre técnicas. Entre sus estudiantes se cuentan muchos matemicos sksa de Lovelace, que fue colaboradora de Charles Babbage en su tabajosobe mi a ‘notas bibliogrificas sobre Ada Augusta), De Morgan advirtis ala condess ins Inalemiéticas,iya que podria interferir con su capacidad de engentrat! i ‘Prolijo. Escribié més de mil articulos en ms de quince revistas. De Mot Pie muchos temas, entre los que se incluyen légica, probabilidad, calculo y ge era explicacién clara de una importante técnica de demostracién conocida com? Becci6n 3.3 de este libro), un término que él acuié, Invent6 notaciones que le" ppales) ‘como las leyes que se nombraron en su honor. En 1842 presenté Jo que Fie de as or limitey desarrol6 algunos criteris para la convergenci de sre icra = ls biogas de Newton y Hale. : au biografla en 1882. La investiga, la esrituray la doce En ualgie caso, sobresalis por su amabiida. humor v amolios comm = _ SIEMPLO 6 Muestra que (p 4) —+ (p vq) es una tautologta. Solucién: Para mostrar que esta sentencia es una tautologia, usaremos equivalencias I6gicas para * que es logicamente equivalente a V. (Nota: Se podria haber hecho también mediante una tabla de verdad), AD > Ova) =-PAQV(PVG) _ porel Ejemplo3 = (p74) v(pvq) por la primera ley de De Morgan = Opvp)v(-qvq) _porlas leyes asociativa y conmutativa para la dis- yuncién =VvV por el Ejemplo 1 y la ley conmutativa para la dis- yuncién v por la ley de dominacién < Se puede usar una tabla de verdad para determinar si una férmula es una tautologfa. Esta tabla se puede construir a mano para una proposicién con un nimero reducido de variables, pero cuando el ntimero de variables crece, el método manual se vuelve impracticable. Por ejemplo, hay mas de 2*°= 1 048 576 filas en la tabla de verdad de una proposicién de veinte variables. Claramente, se necesita la ayuda de un ordenador si queremos determinar de esta forma si la formula de 20 variables es una tautologia. Pero cuando hay mil variables, gpuede tun ordenador determinar en un plazo de tiempo razonable si una férmula es una tautologia? Revisar cada una de las 2'° (un niimero con més de trescientas cifras) combinaciones de va- Tores de verdad no puede hacerse en un ordenador ni en billones de afios. Ademés, no se co- noce ningtin otro procedimiento que pueda seguir un ordenador para determinar en un plazo razonable de tiempo si una formula con un ntimero tan grande de variables es una tautologfa. Contestaremos a preguntas como éstas en el Capitulo 2, cuando estudiemos la complejidad de algoritmos, ADA AUGUSTA, CONDESA DE LOVELACE (1815-1852) Ada Augusta fue la tinica hija del matrimonio del famos poeta Lord Byron y Annabella Millbanke, los cuales se separaron cuando Ada tenfa un mes. La erié su madre, que potenci LOM) Su talento inclecual Fue educada Por los mateméticos William Frend y Augustus de Morgan, En 1838 se cas6 con Lor King, més tarde nombrado conde de Lovelace Ada Augusta continué sus estudios de matemiéticas tras su matrimonio, ayudando a Charles Babbage en su trab sobre una de las primeras méquinas calculadoras, llamada la maquina analitica. En sus escritos se encuentra la m completa descripcién de esta maquina. Tras 1845, ella y Babbage trabajaron juntos en el desarrollo de un sistema para pr decir carreras de caballos. Lamentablemente, su sistema no funcioné bien, dejando a Ada importantes deudas hasta a 24 Matemétca discret y sus aplicaciones Problemas 1. Utiliza tablas de verdad para verificar las siguientes equivalencias. a PrV=p — &) pvF=p © paF=F — @) pvVaV © pyp=p 1 pap=p 2. Demuestra son Iogicamente equi que (-p) y p son 16g ea 3. Usa tablas de verdad para verificar las leyes conmutativas. a) pvq=qvp ») prguanp 4. Utiliza tablas de verdad para verificar las leyes asocia- tivas. a) Dv@vr=pvavn b) DAgAr=pAgan ‘5. Usa una tabla de verdad para verificar Ia ley distibutiva. PAGYN=DAQVOAN 6. Usa una tabla de verdad para verificar la equivalencia. 2WAg=-pv~a 7. Demuestra, empleando tablas de verdad, que cada una de estas implicaciones es una tautologia. a) dpb) p>pva) 9 P3039 MEA ~>9 2 W>a>P D9 8. Demuestra, empleando tablas de verdad, que cada una de estas implicaciones es una tautologia. ®) Pprapvalog b) pg aAq>nl> o> o PrAPaloa @ (pvaaw>nagrni>r 9. Demuestra, sin utilizar tablas de verdad, qu 4de las implicaciones del Problema 7 es una 10, Demuestra, sin utilizar tablas de verdad, que aa una de las implicaciones del Problema 8 es una tautologia HENRY MAURICE SHEFFER (1883-1964 {gna Estados Unidos en 1892 con sus pares be de complets su licenciatura en 1908, tos de 1 postdoctoral en Harvard, Henry viay0 4 Europ. académico, estando un aio en cada una de estas { de Nueva York. En 1916 volvié a Harvard com hhasta que se reting en 1952 publics, En 1913 introdujo lo que se conoce como la «bar: ‘en Ia ediciin de 1925 de los Principia Mathematica de Wh ‘Sheffer habia inventado un potente método que pouria ser usado ‘Sheffer se convirtié en un misterio para los logicos, expec ‘rer nunca publicé los detalles de su método. Slo ‘Sheffer fue un profesor con una gran dedicac “PES 8-0 Una taut. fogin 13, Determina si ¢ logia. 14, Demuestra que p= 4 lentes. 15, Demuestra que (P > @ cequivalentes. i 16. Deanesra que p 4 “> P00 Hicamente equ valentes. a‘ 17, Demuesira que 7p + 4 p +97 sn lOgicamente equ valentes. 18. Demuestra que “1p @ 4) ¥ P+? 4 800 I6picamente equi valentes. ; que .)¥ P 4 500 I6gicamente equi y (PAG) Y PAW) 80M equiva. yr yP QP) 10 500 9. valentes. 20, Demuestra que (p —> 4) 4(p 1 Y P+ (4.47) son I ‘gicamente equivalentes 21, Demvestra Ny Dvg) > rson 6. gicamente equivalentes. 22, Demuestra que (p > 4) v (p #1) y P (qr) son 16. equivalentes. 23, Demuestra que (p 1) v (q+ 1) y (P-Aq) + rson I gicamente equivalentes. 24. Demuestra que “p —+ (q + 1) ¥ q+ (pvr) son Kogica mente equivalent Demuestra que p) son logic: head y R son dovencia de cia de la gica matematica. Le gustaban las clases Pe ase, ordenaba que se marchasen, aunque foe cincuenta de altura: se hacia nota por 88 ren, simplemente se vuelven emérios to). Est durante un con & Pequefias habrtaciones de un hotel Ilenas de Feet nenos am activo de wocitos de pape! que usaba para escribir sus ideas. Lamentablemene, Sheflerast 37, Demuesira que “P ¢ 4) ¥ p> -y son ligicamente 28, Demuestra que (p vq) A(-p vr) > (vr) es una tau ; Cp (av nes una t 29. Demuestra que (p > @) A(q > 1) > (p +1) ae DAG) > Pres una La proposicién dual de una formula que contiene sélo los ‘operadores I6gicos v, » yes Ia proposicién que se obtiene al sustituir eada v por , cada.» por v, cada V por F y cada F por V. La dual de la proposicién s se denota como s” 30. Halla la proposicién dual de cada una de es me cada stas propos a) pagar b) @aganvs 9 @VE)AGvY) pene) 31. Demuestra que (s")° = 5 32, Demuestra que las equivalencias légicas de la Tabla 5. excepto la ley de la doble negacién, se pueden agrupar en pares de proposiciones duales, 933, {Por qué las duales de dos formulas equivalentes que Contienen s6lo los operadores, vy ~ son también cequivalentes? 34. Encuentra una férmula en funcién de las proposicio- nes p,q yr que sea verdadera cuando p y q sean verda- eras r sea falsa, pero que sea fala en cualquier otro caso. (Indicacidn: Usa la conjuneién de cada proposi- cién 0 su negacién). 38. Encuentra una férmula en funcién de las proposicio- nes p, @y r que sea verdadera cuando exactamente dos de las proposiciones p,q y r sean verdaderas y falsas en cualquier otro caso. (ndicacién: Forma una disyuncion de conjunciones. Incluye una conjuncién para cada combinacién de valores para los cuales Ia proposicion sea verdadera. Cada conjuncién deberta incluir cada uma de las tres proposiciones o sus negaciones). 36. Supén que se especifica una tabla de verdad de n varia- bles. Demuestra que una frmula con esta tabla de ver- dad se puede formar haciendo la disyuncién de las con- junciones de las variables o sus negaciones, incluyendo ‘una conjuncién por cada combinacién de valores para Jos que la formula sea verdadera. La formula resultante se dice que estd en forma normal disyuntiva Una coleccién de conectivos légicos se llama funcionalmente completa si cada una de las formulas es Iogicamente equiva Jente a una formula que es funcién slo de estos conectivos I6- icos. 37. Demuestra que 7, 4 y V forman una coleccién fun- cionalmente completa de conectivos légicos. (Indica- cin: Usa el hecho de que toda proposicién es I6gi mente equivalente a una en forma normal disyuntiva, ‘como se muestra en el Problema 36). #38, Demuestra que + y v forman una coleccién funcio- nalmente completa de conectivos l6gicos. [Jndicacidn: Usa primero las leyes de De Morgan para mostrar que pv qes equivalente a(-p A-4)]. {Los fundamentos:lpea y demostracién, conjuntos y funciones | 25 39, Demuestra que 7 y_v forman una coleceién funcio- Los problemas siguientes estn relacionados con Ios operadores I6gicos NAND y NOR. La proposicin p NAND q es verdadera ‘cuando p 0 4, 0 ambas, son falas, y es falsa cuando tanto p como q son verdaderas. La proposicén p NOR q es verdadera cuando tanto p como q son falsas, y es falsa en cualquier oto aso. Las proposiciones p NAND ¢ y p NOR q se denotan por play p-Lg,respectivamente, (Los operadores | y 1 se llaman barra de Sheffer y flecha de Peirce por H. M. Sheffer y C.S, Peirce, respectivamente). 40. Construye una tabla de verdad para el operador I6gico NAND. 41. Demuestra que p | qs 1égicamente equivalente a PA). 42. Construye la tabla de verdad dl operador l6gico NOR, 43. Demuestra que p 1 q es légicamente equivalente a “Pv a). 44, En este problema mostraremos que { 1} es una colec- cién funcionalmente completa de operadores l6gico, 4) Demuestra que p | q es igicamenteequivalente a~p. ) Demuestra que (p 1 9) 4 (p Lg) es Wzicamente equivalente ap vg. ©) Concluye de las pares (a) y(b) y el Problema 39 aque [ es una colecisn funcionalmente completa de operadores légicos. +45, Encuentra una proposicién equivalente a p > q usando slo el operador I6gico 4. 46. Demuestra que {|} es una coleccién funcionalmente completa de operadores Iogicos. 47. Demuestra que pq y @|p son equivalentes. 48, Demuestra que p | (q|#) y 14) [7 no son equivalents, por lo que el operador légico | no es asociativ. "49, {Cusntas tablas de verdad diferentes de formulas que relacionen las proposiciones p y q existen? 50, Demuestra que si p, q y r son férmulas tales que p y q son Iégicamente equivalentes y que q y r son l6gica- mente equivalentes, entonces p y r son Iégicamente equivalentes 51. La siguiente frase se ha tomado de una especificacién de un sistema de telefonfa: «Si ta base de datos det di- rectorio est abierta, el monitor se pone en estado cerrado si el sistema no esté en estado inicial», La es- pecificacién es complicada de entender, pues involucra dos implicaciones. Encuentra una especificacién equi- valente, mas facil de entender, que incluya disyunciones, ‘© negaciones, pero no implicaciones, 52, De cudntas formas las disyunciones p V4. “PV 4 Vr, qv7r, 7q Vr se pueden hacer verdaderas si- ‘multéneamente mediante la asignacién de valores de verdad ap, q yr? 83. ,De cuintas formas las disyunciones p V-q'V 8, 7p VW V5, PY, PV GVAS, GEV 7S QV =p v-7qv78, pyrvs, py rvs se pueden hacer ver- daderas simulténeamente mediante la asignaci6n de va- lores de verdad ap, 4.18? 26 Matemética discret sus aplicaciones ©) PYIYDAPY~AV DAV yy Se dice que una férmula es satisfacible si existe al ence’ 3). Cova sean ‘guna asignacién de valores de verdad para las vit- PD ACPY-GVI ACD CY Tables de la proposicién que la hacen verdadera. 5, Explica cémo puede usarse im =, ; om os detenmie suns formula ex ogo ee eaerenCREeS Pe facible para determinar si una forme (va Fey Atpvav-s) no una tautologia. (Indicacién: Consider, (yrry-9) AGpY-as =p, donde p ¢$ la proposicién que se ex, b) Cpvrgv ACP YaV APY FIV -B)ACPYFV>NADVAVVA (v7 vs) mina). Bs Predicados y cuantifieadores EJEMPLO 1 EJEMPLO 2 ee EJEMPLO 3. a INTRODUCCION ‘A menudo, en matemiticas y programas de ordenador se encuentran enunciados en los que se in. cluyen variables, como «xd, araytSoyarty Estos enunciados no son ni verdaderos ni falsos si no se especifican los valores de las variables, En esta seccién discutiremos las maneras en que las proposiciones pueden producir tales enun- ciados. El enunciado «x es mayor que 3» tiene dos partes. La primera parte, la variable x, es el suje- to del enunciado, La segunda parte —el predicado, «es mayor que 3>— hace referencia a una pro- piedad que puede tener el sujeto, Podemos denotar el enunciado «x es mayor que 3» por P(x), don- de P denota el predicado «es mayor que 3» y.xes la variable. La sentencia P(x) se dice también {que es el valor de la funcién proposicional P en x. Una vez que se le haya asignado un valor la variable x, la sentencia P(x) se convierte en una proposicién y tiene un valor de verdad. Conside- ra el Ejemplo |. P(x) denota el enunciado «x > 3». ;Cuiles son los valores de verdad de P(4) y PQ)? Solucién: Obtenemos la sentencia P(4) haciendo x = 4 en el enunciado «x > 3», Por tanto, P(4), que es el enunciado «4 > 3», es verdadero, Sin embargo, P(2), el enunciado «2 > 3», es falso. Podemos también tener sentencias que incluyan més de una variable. Por ejemplo, considera el enunciado «x = y + 3». Podemos denotar esta sentencia por Q(x, y), donde .x e y son variables y Q es el predicado. Cuando se asignan valores a.x e y, la sentencia Q(x, y) tiene una tabla de verdad. + 3». (Cuales son los valores de verdad de las proposiciones Q(x, y) denota el enunciado «x= QU1, 2) y 2G, 0)? Solucién: Para obtener Q(1, 2) hacemos © y=2en la sentencia Q(x, y). Por tanto, O(1, 2) €s el enunciado «1 = 2 + 3», que es falso. La sentencia Q(3, 0) es el enunciado «3 = 0 + 3», que ¢s verdadera. < De forma similar, podemos denotar como R(x, y, 2 ) el enunciado «x + y = =». Cuando se asig nen valores a las variables x, y y z, esta sentencia tendré una tabla de verdad {Cuiles son los valores de verdad de las proposiciones R(1, 2, 3) y RO, 0, 1)? 2 en la sentencia R(x, 9s?) Solucién: La proposicién R(1, 2, 3) se obtiene haciendo x = 1, y = 2 y 3», que es verdadero. También se ve que R(0, 0. a Vemos que R(1, 2, 3) es el enunciado «1 +2 el enunciado «0 + 0= I», es falso. {Los fundamentos:Kégiea y demostracin,conjuntos y funciones 27 En general, una sentencia que incluye Ins n variables x,.x,. x, se puede denotar como Ply Ry od). an Ur retupla (an Ae I forma Pox, 2,5 2 83) €8 el valor de la funcién proposicional P en la PIA CX. yy - ¥,). P se llama también un predicado. ‘Como muestra el Ejemplo 4, las funciones Proposicionales se usan en programas de ordenador. EJEMPLO 4 Considera ta sentencia ifx>Othenx:= x41, Cuando el programa llega a esta linea el valor de la variable xen este punto de la ejecucion se in- Serta en P(x), que es «x > O». Si P(x) es verdadera para este valor de x, la sentencia de asignacién 7 + 1 se ejecuta, por lo que el valor dex se incrementa en 1. Si P(x) es falsa para este valor de % la sentencia de asignacién no se ejecuta, por lo que el valor de x no cambia. < CUANTIFICADORES Cuando a todas las variables de una funci6n proposicional se le han asignado valores, la sentencia Tesultante se convierte en una proposicién con un cierto valor de verdad. No obstante, hay otra for- Fraluacion ma importante, llamada cuantificacién, de crear una proposicién a partir de una funciGn propo- sicional. Se discutirén en este apartado dos tipos de cuantificacién, a saber, cuantificacién universal y cuantificaci6n existencial. El Area de la I6gica que trata con predicados y cuantificadores se lla- ma caleulo de predicados 0 légica de primer orden. EL CUANTIFICADOR UNIVERSAL = Muchas sentencias matemiticas imponen que una propiedad es verdadera para todos los valores de una variable en un dominio particular, llamado el universo de discurso o dominio, Tales sentencias se expresan utilizando un cuantificador uni- versal. La cuantificacién universal de una funcién proposicional es la proposicién que afirma que P(x) es verdadera para todos los valores de x en el dominio. El dominio especifica los posibles va- lores de la variable x. CHARLES SANDERS PEIRCE (1839-1914) Muchos consideran a Charles Peirce el intelecto més versétil y origina de Estados Unidos. Nacié en Cambridge, Massachusetts, Su padre, Benjamin Peitce, era profesor de matemiticas y fil sofia natural en Harvard. Peirce estudié en Harvard (1855-1859), gradusindose en letras en esta Universidad y en quimic en la Lawrence Scientifie School (1863). Su padre Ie animé a seguir una carrera en ciencias, pero él eligis estudiar logi -y metodologia cientifi En 1861, Peirce se hizo ayudante del Servicio de Guardacostas de Estados Unidos, con el objetivo de entender m {jor la metodologia cientfica. Este trabajo le eximi6 del servicio militar durante la guerra civil. Mientras trabajaba para Guardia Costera, Peirce desarroll6 trabajos sobre astronomia y geodesia. Hizo contribuciones esenciales al disefio de dulos y proyecciones de mapas, aplicando nuevos desarrollos matematicos en la teoria de funciones elipicas. Fue lap mera persona en utilizar Ia longitud de onda de la luz como uniad de medida. Peirce ascendi a asistente del Servicio Guardacostas, un puesto que mantuvo hasta que fue obligado a renunciar en 1891, cuando mostré su desacuerdo con la reccién que estaba tomando la nueva administracion de Guardacostas ‘Aunque dedicé su vida alas ciencias fisicas, Peirce desarrollé una jerarqufa de las ciencias, con las matematicas Ja parte mas alta. Los métodos de una ciencia se podfan adaptar para su uso en otras situadas por debajo en la jerarqui. también el fundador de la teorfafilos6fica americana del pragmatismo. El Gnico puesto académico que ocupé fue de profesor de logica en la Universidad Johns Hopkins, en Baltimore 1879 a 1884, Su trabajo matemético durante aquel tiempo incluyé contribuciones a la l6gica, ala teorfa de conjuntos, a ‘zebra abstracta y ala filosofia de las mateméticas. Su trabajo es todavia relevante hoy dia. Parte de su trabajo en logic ha aplicado en inteligencia artificial. Peirce crefa que el estudio de las matemsticas podia desarrolar capacidades de la te como la imaginacién, la abstraccién y la generalizacin. Entre sus diversas actividades tras retirarse de la Guardia tera se incluyen el escribir en periédicos y revistas, contribuciones en diccionarios eruditos,traduccién de articulos tificos, dar conferencias invitadas y redactar libros de texto. Desgraciadamente, lo que gan6 con estas actividades m suficiente para salvarle a él y a su segunda esposa de una miserable pobreza. Fue mantenido en sus ltimos afios por un do creado por sus muchos admiradores y administrado por el filésofo William James, amigo suyo durante toda la Aunque Peirce escribi6 y publicé mucho en un amplio abanico de campos, dejé mas de cien mil pginas manuscrit Publicar. Debido a la dificultad del estudio de su trabajo no publicado, los investigadores han empezado ahora a pprender alguna de sus variadas contribuciones. Hay un grupo dedicado a poner su trabajo en Internet para que su ob mejor apreciada por todo el mundo. 28 Materia dicey apes DEFINICION 1 EJEMPLO 5 Sea P(x) el enu ra La notacién Vx P(x) denota la cuantificacién universal ds versal. La proposicién Wx P(x) se lee para todo x P(x)», «para cada x P(x)» 0 «para cualquier x PC)”. Tlustraremos el uso del cuantificador universal en tos Ejemplos 5-10. le verdad de la cuantificaci6n Vx P(), don cl cuanti le P(a). Aqui llamaremos al simbolo ¥ iado «x + 1 >.x>. {Cual es el valor d de el dominio consiste en todos los niimeros reales? Solucién: Como P(x) es verdauera para todo ntimero real x, la cuantificacion WP (x) < es verdadera EJEMPLO 6 Sea Q(x) el enunciado «x <2». ;Cudl es el valor de verdad de Ia cuantificaci6n Vx Q(x), donde el dominio consiste en todos los ntimeros reales? Solucién: Q(x) no es verdadera para todo niimero real x. Por ejemplo, Q(3) es falsa, Por tanto, Vx OW) es falsa < Cuando todos los elementos del dominio se pueden enumerar —escribiéndolos, por ejemplo, Xx,—, se sigue que la cuantificacidn universal Vx P(x) es lo mismo que la conjun- P(x) APO) AAPOR), ‘puesto que esta conjuncién es verdadera si, y s6lo si, P(4,), P(x,), ... P(x,) son todas verdaderas. EJEMPLO7 ;Cuil es el valor de verdad de Vx P(x), donde P(x) es el enunciado «x < 10» y el dominio consiste EJEMPLO 8 EJEMPLO 9 en los enteros positivos menores o iguales que 4? Solucién: La sentencia Wx P(x) es lo mismo que la conjuncién PC) APQ)APQ)APE), puesto que el dominio consiste en los enteros 1, 2, 3 y 4, Como P(4), la sentencia «4? < 10»,es sa, se sigue que Vx P(x) es falsa . < {Qué significa la sentencia Vx T(x) si T(x) es el enunciado «x tiene un pa ia madre» y el do- minio consiste en toda la gente? ee ‘Solucién: La sentencia Vx P(x) significa que toda i «“ g persona x tiene un padre y una madre. La sen- tencia se puede expresar en lenguaje natural como «Toda persona tiene dos padres». La sentencia ces verdadera (excepto para seres clonados, silos hay). < {Cuil es el valor de verdad de W.x (x22 x) si el dk ti “a es el valor de verdad si el dominio son es Rema eee ee Tenn cuenta que s°> «si, y solo si a? —x= x (x ~ 1) 2 0. Consecuentemente, ° 2x si, Teales Gratuite eae SiBUE que Wr (42 x) es fala sie! dominio consiste en todos los niimeros omnia nt desigualdad es falsa para os nimeros reales tales que 0 O». Para mostrar que la sentencia Vx P(x) es falsa cuando el dominio sea * 10s enteros, daremos un contraejemplo, Vemos que x= 0 es un contraejemplo, ya que x? = 0 Cuando x= 0, por lo que no es mayor que 0 cuando x= 0. a impos tSeat Contraejemplos de sentencias que contienen al cuantificador universal es una actividad mPortante-en el estudio de las matemticas, como veremos en las secciones siguientes. EL CUANTIFICADOR EXISTENCIAL Muchas sentencias matemsticasafirman que hay un elemento con una cierta propiedad. Tales sentencias se expresan mediante cuantficadores exis- tenciales. Con un cuantificador existencial formamos una proposicién que es verdadera si y slo si PO) es verdadera para al menos un valor de.x en el dominio. DEFINICION 2 La cuantificacion existencial de P(x) es la proposicién «, «Hay al menos un x tal que P(x)> x Pix)», «Para algd dor existencial en los Ejemplos 11-13. Iustramos el uso del cuantific EJEMPLO 11 Sea P(x) el enunciado «x > 3». ;Cudl es el valor de verdad de la cuantificacién Ax P(x), donde eb dominio consiste en todos los nimeros reales? Blemplus adiconales —Solucién: Como «x > 3» es verdadero, por ejemplo, para x = 4, la cuantificacién existencial de P(x), es decir, 3x P(x), es verdadera 4 cién Ax Q(2), don- + L». {Cudl es el valor de verdad de la cuantifics EJEMPLO 12 Sea Q(x) el enunciado «x = de el dominio consiste en todos los mimeros reales? Solucién: Como Q(x) es falsa para todo niimero real x, 1a cuantificacién existencial de Q(x), que es dx (a), es fals: < Cuando todos los elementos del dominio se pueden enumerar, escribiéndolos, por ejemplo, como x,,.%,, -..%,, la cuantificacién existencial 3x P(x) es lo mismo que la disyuncién P(x,) v P(x) V+ V P(x), Puesto que esta disyuncién es verdadera si, y s6lo si, al menos uno de P(x,), P(X,) « P(x,) es ver dadera. 4 Matemdtic discret y sus aplicaciones ‘Tabla 1. Coantificadores ‘¢€uindo es verdadera? Semencia Hay un x para el que P(x) es faa P(x) es falsa para todo x Vx P(x) | Pox)es verdadera para todo x Be P(x) | Hay un.xparael que P(x) es verdadera «el enunciado «1°> 10> y el dominio cong donde PO) EJEMPLO 13 les que 4? “ual es el valor de verdad de Iv PO), los enteros positivos menores 0 igual © Solucién: Como el dominio es {1 2,3. 4], 1a proposicién 3x P(x) es 10 mismo que Ia disyuncgg P() v PQ)v PB) v PA). ‘ — Como P(4), que es el enunciado «4? > 10» es verdadera, se sigue dle (x) es verdadera, cuantificadores universales y existenciales, En la Tabla 1 se resume el significado de Tos e' de verdad de una cuantificaci6n, a veces es Gtil realizar ‘lores del dominio. Supongamos que hay 1 objetos en ¢| i Vx P(x) es verdadera, podemos barrer los n valores de in valor de x para el cual P(x) es fal. “ry ver si P(x) es verdadera para todos ellos. Si encontramos un YN r fal sa habremos demostrado que Wx P(x) es falsa, En caso contrario, Wx P(x) es verdadera, Para ver si Br P(x) es verdadera, barremos los n posibles de x buscando algtin valor para el cual P(x) sea 10 encontramos tal valor de x, verdadera, Si encontramos uno, entonces Ax P(x) es verdadera. Sin 8 habremos determinado que 3x’P(.) es falsa, (Observa que este procedimiento de buisqueda no pue- de ser aplicado si el dominio se compone de infinitos elementos. Aun asf, sigue siendo una forma itil de trabajar con cuantificadores). Cuando se quiere determinar el valor tuna buisqueda sobre todos los posibles val dominio de la variable x. Para determinar si VARIABLES LIGADAS Cuando un cuantificador se usa sobre Ia variable x 0 cuando asignamos un valor a esta variable, decimos que la variable aparece ligada. Una variable que no aparece ligada por un cuantificador 6 fijada a un valor particular, se dice que es libre. Todas las variables que aparecen en una fun- cién proposicional deben ser ligadas para convertirla en proposicién. Esto se puede hacer utili zando una combinacién de cuantificadores universales, cuantificadores existenciales y asignacién de valores. La parte de una expresin Igica a la cual se aplica el cuantificador se Llama émbito de este ‘cuantificador. Consecuentemente, una variable es libre si esté fuera del ambito de todos los cuan- tificadores en la formula, EJEMPLO 14. En a sentencia 3x Q(x, y), la variable x esté ligada por el cuantificador existencial 3x, pero lav riable y es libre porque no esti ligada a un cuantificador y no se le asigna valor alguno a esta vi riable. En [a sentencia Ix (P(x) a O(x)) v Vx R(x) todas las variables estan ligadas. El mbito del pri- mer cuantificador, 3x, es la expresién P(x) a Q(x) porque Ax se aplica s6lo a P(x) A Q(x) y nol resto de la sentencia, De forma similar, el mbito del segundo cuantificador, Wx. es la expresion Ra). Es decir, el cuantificador existencial liga la variable x en P(x) Q(x) y el cuantificador un versal Vx liga la variable «ven R(x). Observa que podtamos haber escrito nuestra sentencia usando dos variables diferentes x € y como 3x (P(x) A Q(x) v Vy RQ), porque los ambitos de los dos cust tificadores no se solapan, El lector deberia prestar atencién cuando se utilice la misma let pa presentar variables ligadas por diferentes cuantificadores con ambitos que no se solapat. ‘Los dames: pe y demos conjotosyfunciones 34 NEGACIONES A menudo hace falta consider rar la i i i dleremos la negacicn del onan egseion de una expresion cuatificada, Por ejemplo, cons- ‘ee ‘Todos los estudiantes de la clase han cursado una asignatura de céleulo». ‘sentencia es una cuantificacién ‘universal de la forma Vx P(x), ae eae ¢s la sentencia «x ha cursado una asignatura de cilculo». La negaci6n de esta sen- cdl Ene se cumple que todos los estudiantes de la clase hayan cursado una asignatura de ees 10 es equivalente a «Hay al menos un estudiante en la clase que no ha cursado una Foncraults de cdleulo». ¥ esto es simplemente la cuantificacin existencial dela negacién de la \ci6n proposicional original, es decir, 3 PQ), Este ejemplo ilustra la siguiente equivalencia ‘Supongamos que queremos negar una cuantificacién existencial. Por ejemplo, considera la Proposicién «Hay un estudiante en la clase que ha cursado una asignatura de célculo». Esta es una cuantificacién existencial 2° 00), donde Q(x) es el predicado «x ha cursado una asignatura de célculo». La negacién de esta sen- tencia es la proposicién «No se cumple que haya un estudiante en la clase que haya cursado una asignatura de célculo». Esto es equivalente a P(x,) V ++: VPC) por las leyes de De Morgan. Esto es lo mismo que 2x ~P(x). De forma aniloga, 74x P(x) es lo mismo que (PCr) v PCa) ¥ == PCr), equivalente a >P(x,) A=PCx,) A--> A=PCX,) por las leyes de De Morgan, lo que equivale a Wx +(x). Tlustramos la negacién de las sentencias cuantificadas en los Ejemplos 15 y 16. ‘Tabla 2. Negacién de cuantificadores. Wegacién | Formula equivalente | ;Cuindo es verdadera ta negacién?| ;Cundo es alsa? =x Pix) | Vx 7PQ) Para cada x, P(x) es falsa Hay un x para el que P(x) es verdadera avr P(x) | Je PO) Hay un.xpara el que P(x) es falsa | P(x) es verdadera para cada x ‘11 Monin date yw epeaionn VEMPLO t9 vats BJEMPLO 17 va ‘ weston y “Toro lo ¢ {Cua yon tus nogucionen do fw eracindon #ffay un potion honenton wd "unidonnien conven harnbuirguienine’? vo», La wernencin oltay uh palsticn Henestn yey Sofucdn’ Daan sm 1) 8 68 Hones» Le cri Drenenta por 1 /7(4), donde of dominio consiate en ted restr como «Todo tla gn =e HG, ie aire ve Vf) Ha each we pete exp renn r ae Polen € doshoneao, (Nona fn eng natura, fae 0 poiicon won ecnvonotos Pom er a ‘gun, A voces, ent frase no uiliza para exprenar que «No tron Tow pouicns om For {0 no tian est frase pa expen Ihe pACHO) Bon CU) a enc como hangs ie fee commen hamburguesnye se reprenenta por Vir CO), donde ef dor lo eor 7 \ , dounienses, La neyncin de ett wna en “Vir C0, Pa oclvalenia 920040), Bata ‘240160 n6 puedo exprewar de much manera, entre has que we ineliye f Lia Se ‘no comen hamburguenus» y «ltay algdn entadounidenwe que no come hamburjuveninn 4 icon, “Todos lon entadounidenye winte en tod0s los exty ay dle aw womtencan Wx (x2 > a) y DEO? {.Cuvilos von Hn nega Sotucidn: La negaciin de Vr (x"> 4) a nemenln x 2 >), que ex equlvaente w He 1) Histo ne puede reenertbir de la forma AX (24), Latico de Te (02 2) oO 6 2) ea valonte Vx (x? = 2), Lav exprenidn anterior ne puede reexcribir como Wx (0 4 2). L4we valores de verdad dle estas sentoncias deperiden det dominio. 4 TRADUCCION DE ORACIONES EN LENGUAJE NATURAL A LENGUAJE FORMAL Traducir frases del Fenguaje natural « expresiones Kégicay es una tarea crucial en rmatenaticas, pro ‘otras disci gramacién Kigica, inteligencia artificial, ingenierfa del software y much: ‘menzanioy estudia ‘cuestidn en ta Seccidn 1.1, donde utilizamos frmula para expr fafirmaciones en expresiones Iogicas, En aquella discusién evitamos a prop6sito afirmacione ceuya traduccién requitiese predicados y cuantificadores. Formal natu ar cxpresiones del lenguaje 1 expresiones [épicas xe hace max complejo cuando ve necesitan cuantificadores. Ademds, puede haber diferentes formas de raduicir ana frase particular, (En consecuencia, no hay un «libro do recetas» que se pueda seguir paso a puso). Utilizitemos algunos ejemplos para ilustrar e6mo se formatizan alirmaciones del lenguaje natural en légica de predicados, E} objetivo es producir ex presiones logicas simples y title das a formulas usando wn solo ¢ ceadas que requieren multiples En esta seccién nos limitamos a frases que pueden ser traduci Kificador, Lin ta siguiente seceién veremos raves mas compli antificadore Expresa la frase «Todo estudiante de esta clase b {ifieadores. iiado célculo» utilizando predicados y evan Solucion: Primero, reeseribimos la sentencia, de tal forma que podumos identificar con clasidad Jos cuantificadores: que debemos emplear, Haciéndolo, obtenemos «Para todo estuciante de esta clase, exe estudiante ha estudiado edlculo» [Luego introducimos la variable, de tl forma que nuestra sentencia se convierte en «Para todo estudiante x de esta clase, + ha estudiado calcula Continuando, introdueimos el predicado C(x), que es el enunciado «x ha estudiado edleulo». Por consiguiente, si el dominio de x consiste en los estudiantes de la clase, podemos tradueir nuestra fase como Vx Ca), No obstante, hay otras opeiones correctas; se pueden consider rentes predicados. La opeién que seleccionemos depende lizar a continuacién, Por ejemplo, podemos estar diferentes dominios o dife del razonamiento que qu un grupo de personas mas amplio EJEMPLO 18, ‘Los fndamentos:Kgica y demostracién,conjunts yfunciones 33 que el de esa clase en sonas, habremos de «Para oda persona xx RUE ota persona ssa perona ves un estat deta clase enonces x et Sisi ' een el predicado de que la persona x est en la clase, nuestra senencia se puede ex- ACG), puesto (SQ) > CQ), [;Cuidado! jNuestra sentencia no puede expresarse como Wx (S(x) Hanestodiado edanor tt Mast ve todas ns persons som exudates de a clase y a Me, cuando estamos interesados en los estudios de una persona, aparte del eéleulo, ae breferir usar un cuantificador de dos variables Q(x, ) para la frase «el estudiante x ha Que hemos eet”. Ast, podriamos reemplazar C(x) por Q(x, céleulo) en las dos opciones "mos elegido para obtener Wx Q(x, cilculo) o Wx (S(x) > OC, cdlculo)). < Particular. Si cambiamos el dominio, tomando el conjunto de todas I ino, toma ee eXpresar nuestro enunciado como * * icadgn °t EiemPle 17 mostramos diferentes formas de expres la misma sentencia usando pre- deci enetticadores. No obstante, siempre adoptaremos la opcién més sencilla que sea adecuada para nuestro razonamiento posterior. Formaliza las frases «Algtin estudiante de esta clase ha visitado México» y «Todo estudiante de esta clase ha visitado bien México o bien Argentina», Solucién: La frase «Algtin estudiante de esta clase ha visitado México» significa que ‘ayn estudinte en esta clase que ten como atributo que exe estudiane a visitado xico», Podemos introducir una variable x, de tal forma que nuestra frase se convierte en «Hay un estudiante x en esta clase que tiene como atributo que « ha visitado México». Introducimos el predicado M(x), que es el enunciado «x ha visitado México». Si el dominio para.x consiste en los estudiantes de esta clase, se puede traducir esta primera frase como 3x M(x). No obstante, si estamos interesados en otras personas ademis de las de la clase, tomamos 1a frase de forma ligeramente diferente. Nuestra frase se puede expresar como «Hay una persona x que tiene como atributos que «es un estudiante de esta clase y que xha visitado México». En este caso, el dominio para la variable x es todas las personas, Introducimos el predicado S(x), «x es un estudiante de esta clase». Nuestra solucién se convierte en 3x (S(x) 4 M(a)), ya que la frase hace referencia a una persona x que es estudiante de la clase y que ha visitado México. [;Cuidado! Nuestra sentencia no puede expresarse como 3x (S(x) —> M(x), la cual es correcta cuando todos en la clase han visitado México} De forma similar, la segunda frase se puede expresar como «Para todo x en la clase, x tiene como atributo que x ha visitado México 0 x ha visitado Argentina. (Ten en cuenta que estamos asumiendo el o inclusivo, no el exclusivo). Sea C(x) la senteneia (C(x) v MQ). En lugar de utilizar los predicados M(x) y C(x) para representar que x ha visitado México y {que xha visitado Argentina, respectivamente, podriamos haber usado un predicado de dos varia- bles V(x, y) para representar «x ha visitado el pais y>. En este caso, Vix, México) y V(x, Argentina) 4 Matematica disreny us ‘aplicaciones EJEMPLO 19 EJEMPLO 20 rian reemplazatlas en nuestra respues, Si estamos trabajando con muchas frases relacionadas SOS, Por Simplic, Podriamos preferr la opcidn de un predicado de og a a Por simplicidag’ os quedariamos con los predicados de una variable MC) ¥ ei EJEMPLOS DE LEWIS CARROLL ag el autor de Alicia en el pats de las maravitlas, o bo Js libros contienen muchos ejemplos ge Lewis Carroll (seudénimo de C, L. Dodgson), nplos 19 y 20 provienen de su libro. también autor de varios trabajos sobre logica sim Fazonamiento que usan cuantificadores. Los ej 1 al final de esta seccién se dan mais ejemplos de ese Légica simbolica. En el bloque de problen eee libro. Estos ejemplos ilustran cémo utilizar cuantificadores para expresar diferentes tipos de sen. tencias, premisas y la tercera se lama conclusién, & Considera estas frases. Las dos primeras de I conjunto de las tres se denomina argumento. «Todos los leones son fieros». «Algunos leones no toman calé. «Algunas criaturas fieras no toman café (En la Secci6n 1.5 discutiremos el hecho de determinar si la conclusi6n es una consecuencia vida de las premisas. En este ejemplo, silo es). Sean P(x), OCs) y Ra) los enunciados «tes tn Ledn», «x es fiero» y «x toma café», respectivamente. Asumiendo que el dominio es el conjunto de todas las criaturas, expresa las sentencias del argumento usando los cuantificadores P(x), Q(x) y Rao. Soluci6n: Expresamos estas sentencias como: Vx (PQ) > OW). Br (P(x) AR(W)). Br Q(x) ARQ). Ten en cuenta que la segunda sentencia no se puede escribir como Sx (P(x) > 7R(x)). La razén es que P(x) > “R(A) es verdadera siempre que no sea un le6n, por lo que Ix (P(x) > AR(x)) es ver dadera mientras haya al menos una criatura que no sea un le6n, incluso si todo leén toma café, De forma similar, la tercera sentencia no puede escribirse como Ar (QQ) > >R(x)), a Considera estas frases, de las cuales las tres primeras son premisas y la cuarta es una conclusion valida «Todos los colibries tienen el plumaje de vivos colores». «No hay pajaros grandes que liben néctar» <

    You might also like