2, SIMBOLOS, FORMULAS Y¥ FUNCIONES VERITATIVAS 2.1, El lenguaje de la Iégica proposicional (LP) Llamaremos el lenguaje de LP a un eonjunto de signos admiti- dos convencionaimente sin definicién. Este lenguaje se denomina también simbolos primitives del sistema J.P. Los simbolos que pre- sentamos a continuacidn constituyen la notacién mas usada. Variables: p, a, 1, ..., ete.” Operadores:~, 4, ¥, = Simbolos auxiliares: (.} [3 4,},¥ Jos Hamados puntos auxiliares '." 2.1.1. Metavariables Llamadas también variables metalingiiisticas o simbolos del metalenguaje. Las metavariables van a representar de manera ge- nérica férmulas. Vamos a usar como metavariables las siguientes letras mayéseulas: ALB, Cy vu etc. 2.1.2, Reglas de formacién Son las que determinan las posibles combinacianes correetas de los simbolos primitives. En otros términos, las reglas de formacién nos permiten construir formulas bien formadas (fofs) del sistema. Son las siguientes: i) Cada variable proposicional por si sola es una thf. ii) Si A es una fbf, entonees ~ (A) es una fbf. Para evitar Ia ambigieded on el uao de Ine variables propasisionales, cada variable Tepresentaré eimbolcamente una proposicién simple. Adamas, septin noenelvemas, (avecnos introteir ottas letras como a, tet 1" Hama "tlds" esl operador neva, x opere elo hacia la derecha, por eno at un operator mondo. “#" eel operaca: conjuntive, "9" es al dlsyuntive, Pen ee f ondlcanal,y el operador ws" es al bieondicional. Estos operadores, a excep cidn del negativo, aan aperadores dificos porque operan on dobie sentido, 28Didigenee fosoee Hi) SLA y B son fats (AB) con Bae TOMES (A 4B) AV BDA + BY y iv) Ninguna otra formula es una fbf en LP. 2.2, Formulas En la légica proposicional, una férmula es un conjunto de sim: : sicional, una firm i bolos primitivos combinados segtin las reglas de formacion Bhan cién, Bjem- plos: ( p Q~p B) pa q Ap-tve 8) -pe q) (6) GPvayvirs~q) @ [Pa-gQv-re qn Acada una de estas fii yet made s formulas se le denomin: sien sees ea mea eee supers L. formula (1) noes un her Gan fodo caso es un osquema molecular por excepelin, po meee fectuera molecular supone la combinecin de ‘arlablee'y operas, Pipbosiconales. Entonoos, ta férmula generale por le seo ae Opiate wa i ne oe la denominaremos Firmute wens dmica, ras formulas, la jerarquia de 1 hire negativas, (3) es conjunti ir que (2) y (5) son formul 65 tne formula bieondicional, * mstonal (Bes disyuntivay 2.3, Esquemas de formulas Son las representaci muias medi; ‘ciones que podemos hi as fb cualguioe Miae iueteveriables, Por ejomplo, SA pode nana ee 2 , por lo tanto "A" se resentar de custauierférmula de LP, de Frere ser esuema de formula bie: Povo, exersiones come "= Aycan Be a eae ge fon esqueris de formulas donds, en cada cas, $A vB) ~C! pal 0 se representa de manora mas eapecifies aon be una for. 34 (ected formula proposicional, determinada. Asi férmula de todas las formulas negatives, mulas conjuntivas, "A — B* de todas Jas NA v B) > C* es un esque condicionales con "zntecedente" disyun aula representa n-frmulas, es decir, cadn esque presenta infinitas formulas. ‘Sivblo,frmutony fancions veritas ‘At es un esquema de "An B" de todas lus for- formulas condicionales, ¥ ma de formula de todas las formulas tivo, Cada esquema de for- yma de formula re- Por ejemplo, dadas las siguientes formulas: () pa-q (2) -(pv@ @) -p4-G Merger ® wyarr ®-becar~A) M{@rgve-a]- eed po iaannla~@ vp) @-@vgv-rlz-Geg ao -[esdveaplel-r7 ea) “AY pusde ser esquema de formula de cualquiera de las formulas del (hal 0), igual se puede decir de 'B' y 'C. = A’ eo esquoms de Ferme solo de los formatlas (2) y (6), 'A » Bes de (D, (4) ¥ @) ‘A — Br be de (3), ©), 1) y¥ @, 'A = Bes sélo de (10), y (Av B) = Ces un Sequema de férmula de las férmulas (6), (7) y (9) sin embargo. AV B) > C es un esquema de formula mas especifico de (5), también. Onde expecliica el eaquema de formula Ay ~ B)—> ~ © que sélo forma podemos construir esquemas de far- representa a (9), de igual f Tanlas cada vez nds especifices para las formulas que disponemes. 2.4. EL uso de los puntos auxiliares 10s puntos auxiliares son una notaciin ideada por G. Peano y ‘usada por Whitehead y Russell en Principia Mathematica (PM). Se- {gi esta notacién, los puntos auxiliares se usan para determinar ja J earquia de los operadores diddicos en. reemplazo de los signos de ‘agrupaci6n. Solo cuando un signo de agrupacién esta negado no 8 puede reemplazar por Jos puntos auxiliares, Este uso consiste en peginar puntos a Jos castados de los operadores diddicas a los que tino desea darles mayor jerarquia, Bjemplos: 9Pitgenes Rovalse QM paver En este caso el operador condicional es el de mayor jerarquié: cou respocto al disyuntivo, porque tiene un punto a cada lado. En lo sueesivo vamos a contar los puntos s6lo a uno de los lados, aunque.” se les coloca a los dos lados del operador por razones simétricas. En este caso el condicional tiene un solo punto. @-~pvg En eata formula el operador principal es la negacién, No se le puede asignar puntos auxiliares porque éstos se asignan solamente a los operadores diadicos. @pravre:-@v@ Nétese que en esta formtila hemos combinado (1) y (2); el con- Gicional con dos puntos es el de mayor jerarquia, le sigue el condi- clonal con un punto, luego los otros operadores, @-peqa-rvqsrep El operador principal en esta férmula es el disyuntivo con dos puntos, le siguen en jerarquia, on el lada izquierdo el conjuntivo y en el lado derecho el bicondicional, y luego los otros operadores. De este modo, podriamos seguir constriyendo férmulas donde el operador diddico de mayor jerarquia puede toner tres, cuatro 0 cinco puntos auxiliares, pero, para fines practicos generalinente bastard usar un solo punto auxiliar y/o los paréntesis. para determinar con mayor claridad la jerarquia de les operadores. Por ejemplo a formula (3) puede quedar asi: ® avn > -Pya@ En este caso el condicional principal esta libre de paréntesis. El condicional con un punto tiene un aleance limitado por los parénte- sis. La formula (3) también puede quedar asi: P> vn > -~yq Cualquiera de estas dos formas de jerarquizar los operadores de la férmula (3) os correcta. De igual modo, sélo podemos usar un punto auxiliar y paréntesis en la formula (4). Ast (peg A~rv(q— re. p) El disyuntivo principal esta libre de paréntesis, y los operado- res que tienen un punto estén limitados por los paréntesis. En la 36 oe _smbstn, frm yfanesnes variates i bo auxi- ja 4) tambiga se pueden user los pawéntesis ¥ el PU formula (4 0 sigue: “— Epe@a-tv@rn7P ‘En este caso la disyunci ts tacos Feepedtves de la férmula, Ta erage or oe ves ‘ i jes puntos auxiliares ids cesivo USATETNOS ax fare oe saitgo de Tos signos de agrupscion e retacién semantica ; sewn aa os interpretacion seméntica & las posibilidades fav sna inal rr kn rf icion simple es 1a cot ne ‘Set egestas pe = P 1 Vv 2 F tuna proposicién simple tiene como Galea F. Por ejemplo: Ej cielo esté nublade. ; solo dos posibles interpretaciones Ye} cielo esté nublada” Bsto significa que posibilidad ser V 0 ser aque son: Esta proposicién tiene ees verdad que . b- Qu ex ots quel deo ests nublede dos proposisiones : icin compuesta por dos prapes En cambio, Uae Posten posibilidades de interpretacion: simples tiene las sigui Ba “1 v4 ave a FV 4.5F i las cuales pueden it (stintas opciones en las ct eden es tii a mp abn ne wropaicne Par interpretarse | : ‘qt respectivamente: _, « Fee nine ng cele esté nublado" y “hace foDidgnes Reece Estas proposiciones pueden interpretarse soméntieamente de: acuerdo a la combinacién de valores eomo sigue: 1 Que es verdad que "el cielo esta nublado" y es verdad que “hace fifo", 2 Que es verdad quo "el cielo esté nublado" y es falso que “hace fio". 3 Que es faiso que "el cielo esté nublado" y es verdad que _ “have frfo", 4 Que es faiso que *e! cielo esté nublado” y es falso que "hace trio, Si so tuviera tres variables o tres proposiciones simples, las opciones gumentarian a ocho, y asi sucesivamente. Ahora vamos a introducir las funciones veritativas de cada uno de los operadores roposicionales. 2.6. Funciones veritativas Las funciones voritativas con interpretaciones semdntieas de las posibilidades de verdad o falsedad de las proposiciones moleculares en base a sus conectivas, 2.6.1. Negacién La negacién es un elemento Iogico que acta independiente. mente de la proposicién, En palabras se expresa por "no es el caso que", o mas brevemente por “no”. Su simbolo, como ya sabemos, es Ja tilde "~", Bjemplos: (2) Bl Peri no esta al sur de Chile. Simbélicamente representaremos como sigue: i -P donde “no = ~" y "el Pert esta al sur de Chile = p'. Este mismo ejemplo se puedo expresar también del siguiente modo: (2) No es el caso que ol Peri esté al sur de Chile. y a la vez simbélicamente se puede representar asi: -® en este caso usamos los paréntesis porque gencralmente en el lenguaje ordinario no es el caso que ge usa para negar proposiciones compuests, ® Btobean fbemalae yfucions wrtticat i iguiente regia: ite se rige por la siguient “ teenie de une proposicin verdadere es false. La negacion egaci de una proposictin faise es verdadera. Esquematicamente se representa por pip vl F rl v 1a siguiente tabla de verdad: 5 gt es Feu Tneto significa que sip’ es V, su nogacion es Fy 6"? st negacién es ve 7 . sume 2.6.2. Comjuncinién de dos 0 més proposiciones median La conjunc! k io ja particula "y". Por ejemp! ; Pave) a pinarra es negra y Ia tina es blanca. Ja tiza es blanca = q’, simbélica- $i "le pizarva es negra = 9" Y jente se tiene: * pag tive. La func’ n¥ es el operador conjuntive. Li semen eo rige por la siguiente reel oe osicién conjuntiva es verdadere guano fo aes Sa fnenos cic ie nponentes son verdaderas. Es fabs ino cde sus componentes es falso. Esqueméticamente se tiene: Py én veritativa de la con- pad jo de "py "q” son todas las posi- debajo de "p" y “a” son iables ve unas de iterpretaeion semandion PATS Se TG, bles combinacione ae referencia. Les valores gue estén Qcvale 9 y se llaman columna ‘resultados de aplicarse la relat dera s6lo cuan- Ja conjuncién son juneién resulta que es ver’ s primera gpeida V dela cong ver, Como Puede observarse, eM do "p" y "a" Jas otras opciones es false. .seguirda senda Bie eae © ¥ () pueden quedar come sigue, y te, porque Ia conjuncién de us formule ane ina misma formula es igual a la misma (AAA) es lo mism: Por ejemplo: eae (6) 40 (eumesene mnisma jerarquia. Ditigenee Raslce Jas variables no mell “ een asia ¥ ia > mella el valor de fa conj ae sigaifes goza de la propiedad conrautativa, Eequemiden spo eae ae jente ee tiene: ms {An B) es lo mismo que (B a A) . mn la matematica, la adicié: iplic Propiedad: A manera de ejemplos, yelp a1 e cumplen con la conmutatividad: ©) "pa a! es lo mismo que %q a p* 8 "vg ac pit es lo mismo que "(r > p) a (p vg)" goza de ia propiedad asociati jerupar indistitarsente, como en Pega A* BAC) eso mismo que (A 4B) aC Aplicando esta propiedad, se tiene: ® "pr (@a ses lo misme que “pag ar’ DOV Gv@a (tr os P= DraGvaaie cd Segiin este propiedad, d i repiedad, dos 9 més conjunciones pueden tener la AaBac Jo mismo que Entonees, las formulas @paqar (5) Pr Matvgdapen Lat 2 la cog ietad de Ia conjuncién es Ia de ser idempoteme "pA p* es lo misino " : que "p' "vq a (vq es lo mismo que " Esta propic ha Propiedad no la poscen la adicién ni la multiplicaci Stmbott, firms yfarcanes vert Ademés de la particula "y", en el castellano también tos térmi- nos pero, sin embargo, no obstante, ademés, ata vez que, ete., pueden simbolizarse por "A" si interpretan la funcién veritativa de la con- juncién légica, Por ejemplo: (8) Pericles fue un politico pero honesto. Este proposicién se puede interpretar como una proposicién conjuntiva, perque eegtin la propiedad conmutativa se puede deci "Pericles fue honesto y politico”, y el sentido sigue siendo el mismo. Luego, la proposicién (8) se puede simbolizar por: si "Pericles fue politico =p" y " g0, véase la siguiente proposicién: (9) Carlos toms barbitGricos y murié, ‘A posar de que lieve le particula "y" como término de enlace, no se puede simbolizar como una conjuncién légica, porque si aplicamos la propiodad conmutativa el enunciado cambia totalmente de sentido. 2.6.3. Disyaneién La disyuncién es la combinacién de dos o més proposiciones mediante la particula “0”. Por ejemplo: (2) El actual canciiler peruano habla inglés o habla francés. En este caso Ja disyuneién puede entenderse on dos sentido: uno como disyuncién débil o inclusiva, y otro como disyuncién fuerte o exclusiva. En el tenguaje ordinario, el uso de! término "o" es am- biguo, pero esta ambigtiedad se resuelve comtnmente afiadiendo las palabras "o ambos a la vez" o “pero no ambos a Ja vez". Si interpretamos la propasicién (1) como una disyuncién débil, entonces debe decirse: "el actual canciller peruano habla inglés 0 habla francés o ambos a la vez". Simbélicamente ast: pyq donde "el actual eanciller peruano habla inglés = p" y “el actual canciller peruano habla francés = q". En este caso la regla es: Una proposicisn. disyuntioa es verdadera cuando por lo menos uno de sus componentes es verdadero. Es falsa sdlo cuando todos sus componenies son falsos. aDiggenes Rosater Eoquemiticamente se tiene: 4 vv VF Fv POR Como se puede apres disyunei ciar, los valores que estan debaj a valencia son los resultados de aplicarse la rogla con, bajo de Je que estén en las columnas de referencia, SP°tte #108 En el lenguaje ordinari ic te ario Ja particula "o" i 46 5 te excusiva cuando silo be adie i ‘verdad de ure dene ue 9t n sa la vez, Expresando en disyuncié siva la proposicién anterior seria: "cel actuel canciller ronuirn evi inglés 9 habla francé como siguce TAPES Pero no ambos a le ver", Simbélieamente Pv @a~pag Si invontamos un sfmbol . plo el signo " 'mbolo para la disyuncién fuerte, . Elgue, Tene", entonees este operador por defimicion es como Pid = dt @vQa-Da y la rogla que lo rige es: one vy, ‘aldn daevunee componcnios tienen nsuntioa fuerte es verdadera s6ie cuando eus tes Henen valores 1 listintos. Es falsa cuando sus componen- Luego, el esque bn vevitati fuerte eee sau nema Ge la funcion veritativa de la disyuncién PB mS De igual modo la formula que define ia disyuncién fuerte tis iene Ja misma funeién, i esquema: veritativa, como so puede apreciar en el siguiente 4, Sirol, frais» forsinnenveriacies a = @aaQ F) FO OV vivooF vi vooF Flv F En vista de que le formula “p vq A ~ (p ng)" cumple con Ja regla de le disyuncidn fuerte, useremos esta formula en lo sucesive para interpretat toda, conectiva "2" que tiene sentido de disyuncién fuerte on reemaplazo cel signo " La dicyuncién, al igual que la conjuncié des conmutativa, ascciativa © idempotente. quemas respectivos: (A vB) es lo mismo que (B v A) Ay By ©) es lo mismo que (Av B) v © (Av A) es lo mismo que A 2.6.4. Condicional Una proposicion condicional es la combinacién de des proposi- ciones von "st., entonces”, La proposicién que aparece entre “si” y cpntonccs" se ‘lama antecedente, y la proposician que sigue a la palabra “entonces" se Hama consecuente. Por ejemplo: (1) Sila temperatura esti bajo cero, entoness e! agus se con- gela. Usuado el operador condicfonal "-", simbélicamente se tiene: pod donde, En temperatura esta bajo cero = p" y "el agua se congela y Ja rogia que rige es: Una proposicién condicional es falsa sdlo cuando el antecedente es verdadero y el consecuente es falso, Es verdadera o cuando ef ‘antecedente es falso 0 cuando el consecuente es verdadero. ‘La funcién veritativa se expresa on cl siguiente esquema: mn, goza de les propieda- ‘A continuacién los es-Didgence Rosales Por otra i . partingln 02a Parte, existen, proposiciones condicionales donde 'si" aparece entre dos pro posiciones. Por ejemplo: (2) Llegaremos tarde pene Llegarenos tarde al festival Esta proposicién se debe entender asi Si el avién tarde al festival. si el avidn espera que pase: que pase la tormenta entonees Ilegaremoé, Las conectivas ya ; ete., tambié: san formas condicipnaleg eae : ate eran ie ie eg ade después de ollas ol ancecedente. Memploas ne = comseeuent, E (8) Subiré oi precio del recto pan ya que subié el preci ina. (4) id ib “ )) La produccién agricola bajé, dado que hubo conse desta La proposicién (8) dehe entenderse voino "si subié el precio de la gpsolinn entonces suing el procio dl pan", deigual mols acer ; ol proc modo, (4) se enter Is otros teminos conticonais se ompuraa de a ee 2.6.5. Bicondicional ome Una produccién bicondici . por ‘si s6lo st" Por dhompion © 10 union de dos proposiciones ) Un néimeto es divisil ’ ‘ible por dos si y sélo si 2 Us hoe y silo si es un niin 3 anda el eperador "e" y simbolizando, se ener poa 4 donde “un niimero es divisil ing {an mien avaible por dos = " y "es un ntimero par = compa propesicisn bisondisional es verda imponentes son verdadervs o sts dos felsa cuando sus dos componentes tienen udlores dating 8. era cuando, © sus dos Esquemaéticamente se tiene: Pa jpeg ‘taiolo, firmus» forconesweriatcos Esta funcién veritativa nos muestra que una propasicién bicon dicional ze puede interpreter como la conjuncion de dos eondicions- es. Tomando la propasicion (1) se tiene: Si un ndmero es diviaible por dos entonces es un niimero par, y ales un nimero par entonces es divisible por dos. ‘Simbélicamente se tiene: (p > @ 4 (4-> PP 2.7. Bl eonjunto de operadores proposicionates En Ia Kégica proposicional hay 16 operadores diddieos y cuatro operadores monddicos. Ademés de la forme en que fueron presses: cee reiooradores proposicionales (~ 4 ,¥ ,> 0 LP es posible caleular otras funciones ‘veritativas. Por ejemplo, para una funcién " esta en "9", y la funcién veritativa de "a" esté en "2", as funciones monddicae, por otra Indo, son evatro; come se muestra en el siguiente esquem La negacién "~" aparece en "3", pe de "2" y "I" la negacion de “4” y viceversa. Por ello, todos los ope- radores monddicos pueden redueirse a '~". aaa © W/EPGENSTBIN, Tractatus lngicosphitosophiews, 116. 46Digeres Roles En el célculo proposicional si proposicional sier i i c os re ort pee er ea cadujo el 2x "5" conocido como ia junta, qu Bee "ni ani” ae rge por la regia wemen convent gue Una proposicisn de k oui! 7 la negaciGn conjunta es ve de aad components son fats, elon endo por men 8 componenies es verdadero. nude por ia mence un Esquematicamente, como sigue: Ps pig vel F F FV) oF FF v La funcién veritativa d on va del operador "}* apar 4 del emvens de as Fines des Tox irs operadores pul defines en func del operador "}", dando lugar a la construc sca deun sistema completo basado en unex operador. Por ple, los *n, Vv, "o" pueden definirse como sigue: ves ~pe a pip PG =e pb pa ala PYQ= a piaqbpdq pPoqgs ef Pip tay Oi pia De igual manera, Sheffer intro: ‘ » Shei i de la negucidn alternative, que se dag el operador erador* J * como sfmbolo esi ler " y cuya regla es: 1¢ proposicién de la negacién alternativa es verdadera euand le fo uno de sus componente Fe ia eomponentes es faiso. Bs falsa silo cuando los dos com: Esquométicamente, como sigue PB, add "<< 6 Stmboto,frmuclasy fencions vratises La funcién veritativa de "|" aparece en Ja columna 5 del esque- sma de las funciones diadicas. ‘También usando sdlo este operador se vised construir un sisterna completo, dado qe tades ls ols radores se puede definir en funcién de la "negacion alternativa’, redores #e Recho con e) operador "4". Sin eruburgo, estos operadores no los usaremos. 2.7.1, Clasificacién de las funciones veritativas aon co aparegen, las funciones veritativas diddicus y mond. dicas, se pueden clasificar en eonsistentes, tautolRices ¥ contradic« seca. iba funcién veritativa ee consistene cuando es ‘verdadera por tone ina na interpretacién (colurmnas el 1 al 16 en las funcio- +e arepdigas y columnes Gel | al 3 en los monédicas) Une funcién es fativa es tautoldgica cuando es verdadera on toda interpretacion Tehe las Canciones ditdices y también 1 de las amonte, sélo las tautologias son vdlidas 0 Igica- vente verdaderas. Ademas, todas las tautologias so" consistentes, pero no todas las funciones consistentes son tautolégicas. Una funcién veritativa es contradictorie euando ¢s falsa en toda interpretacién (columna 16 de las funciones diddions, 4-de las mo- aeeeo), Una funcién contradictoria también se denomine inconsis- aac ealguier funcién veritativa que tenga por lo mens nt ine terpretacién falsa se considera invélide (eolusanas del 2 al 16 en las faneiones diadicas, y del 2 a) 4 en las monddicas). 2.8. Simbolizacién de proposiciones La simbolizacién de proposiciones: consiste en la representaciOn del een cndinario medianie ef lenguaje simbolicn, Para ec oe del longuase orguenta que cade propesicign simple debo ser s7ibe, debe tomate variable proposicional, y gue los iérmainas de enlace deben ser simbolizades por operadores: proposicionales que. jas inter~ sooo El resultado de Vda simnbolizacion es fa obtencion de una ‘bf en LP. ‘Para facilitar ia simbolizacién podemos determinar previa ne Bene ee formal o forma logica de la proposicién, Por ejemplo (1) Si hay Iluvias en la sierra y el gobierno distribuye abono, entonces la produccion agricola crecerd. Primero, asignando variables a cada una de las proposiciones simples se tiene: a