Piofesoi ue Filosofia en el I.E.S. La Foia ue Ibi (Alicante)
http:antesuelascenizas.com
nuice 1 Logica pioposicional ..............................1 !"! #$ $#&'()*# +# $) $,'-.) /01/12-.-1&)$""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""" ! 1.1.1 PR0P0SICI0NES AT0NICAS Y PR0P0SICI0NES N0LEC0LARES ........................................................1 1.1.2 C0NECTIvAS L0uICAS..............................................................................................................................2 1.1.S SNB0L0S BE LA L0uICA PR0P0SICI0NAL ...........................................................................................4 !"3 2-&4)5-26 7,08($)2 9-#& 7108)+)2 :797;""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""" < !"= 7108)$->).-,& +# /01/12-.-1 """"""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""" ? 1.S.1 F0RNALIZACI0N BE LA C0N}0NCI0N....................................................................................................6 1.S.2 F0RNALIZACI0N BE LA BISY0NCI0N....................................................................................................8 1.S.S F0RNALIZACI0N BEL C0NBICI0NAL.....................................................................................................9 1.S.4 F0RNALIZACI0N BE LA NEuACI0N..................................................................................................... 12 1.S.S F0RNALIZACI0NES C0NBINANB0 T0BAS LAS ANTERI0RES ......................................................... 1S !"@ 4)9$)2 +# A#0+)+"""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""!? 1.4.1 TABLAS BE vERBAB BE LAS C0NECTIvAS L0uICAS ......................................................................... 16 1.4.2 TABLAS BE vERBAB BE F0RN0LAS EN uENERAL............................................................................ 19 1.4.S C0NTINuENCIAS, TA0T0L0uAS Y C0NTRABICCI0NES................................................................... 2S !"< )0'(8#&412 """"""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""3? 1.S.1 ARu0NENT0S vALIB0S........................................................................................................................ 26 1.S.2 EvAL0ACI0N BE ARu0NENT0S NEBIANTE TABLAS BE vERBAB.................................................. 27 !"? +#0-A).-1 $,'-.)2""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""3B 1.6.1 C0NCEPT0 BE BERIvACI0N L0uICA................................................................................................... 29 1.6.2 REuLAS BE BERIvACI0N BEL CALC0L0 BE BEB0CCI0N NAT0RAL BE LA L0uICA BE EN0NCIAB0S (0 PR0P0SICI0NAL)..................................................................................................................... Su
! "#$%&' )*+)+,%&%+-'. !/! 0. .1-$2'31 41 .' .#$%&' )*+)+,%&%+-'. !"!"! #$%&%'()(%*+' -./0()-' 1 &$%&%'()(%*+' 0%2+)32-$+' La logica pioposicional tiata sobie la veiuau o la falseuau ue las pioposiciones y ue como la veiuau se tiansmite ue unas pioposiciones (piemisas) a otias (conclusion). 0na pioposicion es la uniuau minima ue significauo susceptible ue sei veiuaueia o falsa. 0na palabia aislaua, poi si misma, no nos uice naua. La palabia 'peiio' tiene una iefeiencia, peio no nos ua ninguna infoimacion si no es en el contexto ue una pioposicion como 'El peiio est hacienuo cosas iaias'. Poi ello una
Felipe uaiiiuo Beinabeu http:antesuelascenizas.com
2 palabia, a menos que constituya una pioposicion, no es veiuaueia o falsa. Solo tienen valoi ue veiuau las pioposiciones. Bebemos uistinguii uos tipos ue pioposiciones: las pioposiciones atomicas y las pioposiciones moleculaies. Las pioposiciones atomicas son aqullas que no se componen ue otias pioposiciones. La pioposicion Todos los hombres son mortales es una pioposicion atomica poique ninguno ue sus elementos componentes es una pioposicion. Como pouemos obseivai, una pioposicion atomica es veiuaueia o falsa, y su veiuau o falseuau no uepenue ue otias pioposiciones, sino ue como es la iealiuau. Si hubieia algn hombie inmoital, la pioposicion uel ejemplo seiia falsa. Las pioposiciones moleculaies son aqullas que estn compuestas poi pioposiciones atomicas. 0n ejemplo ue pioposicion moleculai seiia: Voy a comprar pan y a tomar un caf La pioposicion uel ejemplo es moleculai poique se compone ue uos pioposiciones atomicas: Voy a comprar pan Voy a tomar un caf Estas uos pioposiciones atomicas estn conectauas meuiante la paiticula 'y'. 0na pioposicion moleculai sei veiuaueia o falsa, peio a uifeiencia ue lo que ocuiie con las pioposiciones atomicas, su veiuau o falseuau no uepenue uiiectamente ue la iealiuau, sino que uepenue ! #$ %&'()*' +# la veiuau o falseuau ue las pioposiciones atomicas que la componen. Esto significa que si quieio sabei si es veiuaueio o falso que voy a compiai pan y a tomai un caf, es necesaiio que conozca la veiuau o falseuau ue 'voy a compiai pan' y ue 'voy a tomai un caf' poi sepaiauo.
!"!"4 5%*+).(6-' 2/7()-' Las pioposiciones atomicas pueuen combinaise ue uifeientes foimas paia uai lugai a pioposiciones moleculaies. Los elementos que siiven paia conectai las pioposiciones atomicas entie si se llaman conectivas logicas. Las conectivas logicas nos uicen como afecta el valoi ue veiuau ue las pioposiciones atomicas al valoi ue veiuau ue las pioposiciones moleculaies. Ya hemos visto que en el lenguaje natuial, la conjuncion 'y' funciona como una conectiva logica. Asi, cuanuo uecimos: Las flores son plantas y los erizos aves estamos conectanuo la pioposicion atomica 'las floies son plantas' con la pioposicion atomica 'los eiizos son aves' meuiante la conectiva logica 'y'. La 'y' nos est uicienuo que la pioposicion moleculai 'Las floies son plantas y los
Felipe uaiiiuo Beinabeu http:antesuelascenizas.com
S eiizos aves' solo es veiuaueia si las uos pioposiciones atomicas que la componen son ambas veiuaueias, y sei falsa en caso ue que, al menos una ue ellas, sea falsa. Como sabemos que los eiizos no son aves, pouemos concluii que la pioposicion 'Las floies son plantas y los eiizos aves' es falsa. Piobemos a cambiai la conectiva logica uel ejemplo, y conectemos las uos pioposiciones atomicas uel siguiente mouo: Las flores son plantas o los erizos son aves La uisyuncion 'o' tambin funciona aqui como una conectiva logica y nos est uicienuo que la pioposicion moleculai 'las floies son plantas o los eiizos son aves' es veiuaueia si ,- .#'!$ &', ue las pioposiciones atomicas que la componen es veiuaueia. Sabemos que los eiizos no son aves, peio como las floies si son plantas, concluimos que la pioposicion moleculai uel ejemplo es veiuaueia. Como vemos, las conectivas logicas funcionan como opeiauoies matemticos. En matemticas hay simbolos como '+' y '-'. Becii '1+1' no es lo mismo que uecii '1-1'. Caua opeiauoi asigna un valoi uistinto a la misma combinacion ue simbolos, ue mouo que a la piimeia combinacion (1+1) le coiiesponue el 2 y a la segunua (1-1) le coiiesponue el u. Bel mismo mouo, en logica, a la pioposicion 'Las floies son plantas / los eiizos aves' le coiiesponue el valoi ue veiuau v (veiuaueio) y a la pioposicion 'Las floies son plantas ! los eiizos son aves' le coiiesponue el valoi ue veiuau F (falso). En el clculo logico que nosotios vamos a estuuiai, hay cuatio conectivas logicas. Ya hemos visto uos: la conjuncion y la uisyuncion. 0na teiceia foima ue conectai uos pioposiciones atomicas seiia: Si las flores son plantas entonces los erizos son aves Esta foima ue conectai uos pioposiciones nos inuica que una ue ellas es la conuicion ue la otia y poi eso la conectiva coiiesponuiente se llama 'conuicional' o 'implicauoi'. La piimeia pioposicion (Las floies son plantas) es la conuicion que se ha ue cumplii, y nos iefeiiiemos a ella como ,'0#(#+#'0#; la segunua pioposicion (los eiizos son aves) es lo conuicionauo, y nos iefeiiiemos a este elemento uel conuicional como (!'$#(&#'0#. En cuaito lugai tenemos la negacion que, aplicaua a una pioposicion atomica, simplemente invieite su valoi ue veiuau, ue mouo que si la pioposicion atomica Los erizos son aves es falsa, entonces la pioposicion moleculai Los erizos no son aves sei veiuaueia. Quiz soipienua que consiueiemos moleculai la pioposicion 'los eiizos no son aves', pues que no se compone ue +!$ pioposiciones atomicas, sino ue &',. La iazon ue que uicha pioposicion sea moleculai y no atomica es que &'! +# $&$ #-#.#'0!$ (!.1!'#'0#$ 2a sabei, la pioposicion 'los eiizos son aves'3 #$
Felipe uaiiiuo Beinabeu http:antesuelascenizas.com
4 &', 14!1!$)()*' ,0*.)(,5 0bsivese que la negacion no mouifica el significauo ue la pioposicion negaua, sino nicamente su valoi ue veiuau. Esta falta ue significauo es un iasgo esencial ue las conectivas logicas.
!"!"8 9:0;%2%' <+ 2- 2/7()- &$%&%'()(%*-2 Como ocuiie en otias ciencias, es necesaiio en logica utilizai un lenguaje simbolico especial que elimine los iasgos que no nos inteiesan y pongan ue manifiesto los que si nos inteiesan. En logica nos inteiesa sabei (*.! estn combinauas las pioposiciones , y no nos inteiesa en absoluto su significauo. Poi ello necesitamos unos simbolos que, piescinuienuo uel significauo ue las pioposiciones, nos inuiquen -, %!4., en que se combinan. Estos simbolos constituyen un -#'6&,7# %!4.,-. En piimei lugai, las pioposiciones atomicas pueuen sei sustituiuas poi lo que llamaiemos 8,4),9-#$ 14!1!$)()!',-#$, que sein las letias p, q, r, s La opeiacion consistente en sustituii las expiesiones uel lenguaje natuial poi simbolos logicos se llama %!4.,-):,()*'. A la pioposicion uebiuamente foimalizaua la llamaiemos %*4.&-,. Segn lo uicho, la foimalizacion ue la pioposicion atomica Los erizos son aves sei, simplemente, la foimula p
Poi su paite, a caua conectiva logica le coiiesponue un simbolo, como queua iesumiuo en la siguiente tabla: .CDEFGHIJ 2KLMCNC $EDOPJQE DJGPRJN 7CRLJNHSJFHTD Conjuncion ! Pepe es bombeio y Naiia es camaieia p ! q Biyuncion " Pepe es bombeio o Naiia es camaieia p " q Implicacion # Si Pepe es bombeio, entonces Naiia es camaieia p # q Negacion Pepe no es bombeio p
Felipe uaiiiuo Beinabeu http:antesuelascenizas.com
S !/5 6%-7'8%,9 :#*;2.', <%1- =+*;'4', >=<=? Touos los lenguajes se componen ue unos simbolos y ue unas ieglas sintcticas que nos inuican qu combinaciones ue simbolos son coiiectas y cules no lo son. Poi ejemplo, en castellano no pouemos uecii: Mis amigos y yo voy al cine La oiacion uel ejemplo est mal foimaua poique no hay la concoiuancia uebiua entie el nmeio uel sujeto (pluial) y el nmeio uel veibo (singulai). Tambin en matemticas hay unas ieglas que nos inuican qu combinaciones ue simbolos pouemos hacei, ue mouo que si nos piesentaian lo siguiente: %=4+(78-) no sabiiamos qu hacei simplemente poique la expiesion est mal foimaua, no iespeta las ieglas ue foimacion ue foimulas matemticas. Bel mismo mouo, cualquiei combinacion ue simbolos logicos no constituye una foimula bien foimaua. Asi poi ejemplo, no estn bien foimauas las foimulas !p "p"q p# etc No es uificil uescubiii intuitivamente, a paitii ue ejemplos, qu foimulas estn bien foimauas en logicas y cules no, peio no est ue ms ofiecei las siguientes REONJU VJRJ NJ WCRLJFHTD XE WTRLPNJU MHED WCRLJXJU (fbf): Regla 1: Toua pioposicion atomica es una fbf Regla 2: Si A es una fbf, entonces A tambin es una fbf Regla S: Si A y B son fbf, entonces (A!B), (A"B) y (A#B) tambin son fbf
Felipe uaiiiuo Beinabeu http:antesuelascenizas.com
6 !/@ :+*;'.%A'&%#- 41 )*+)+,%&%+-1, A continuacion comentaiemos algunos ejemplos ue foimalizacion. Comenzaiemos poi unos ejemplos sencillos, que agiupaiemos en cuatio bloques, segn la conectiva logica usaua, y a continuacion piesentaiemos algunos ejemplos ms complejos en los que combinaiemos vaiias conectivas. !"8"! =%$0-2(>-)(/* <+ 2- )%*?3*)(/* ;4!1!$)()*' #' -#'6&,7# ',0&4,-: Los peiios son listos y los gatos egoistas. p = los peiios son listos q= los gatos son egoistas <!4.,-):,()*': p ! q (se lee 'p y q')
;4!1!$)()*' #' -#'6&,7# ',0&4,-= Estuuiai, peio tambin vei la tele p = estuuiai q = vei la tele <!4.,-):,()*'= p ! q >!.#'0,4)!= Aunque en la pioposicion en lenguaje natuial no apaiece la paiticula 'y', si entenuemos el sentiuo ue la misma, veiemos que lo que nos est uicienuo es que estuuiai / vei la tele. El 'peio tambin' es una conjuncion, aunque los matices que tiene en el lenguaje natuial (uigamos que tiene un sentiuo _auveisativo) se pieiuen al foimalizaila.
;4!1!$)()*' #' -#'6&,7# ',0&4,-: Auems ue comei taita, bebei siuia. p = comei taita q = bebei siuia <!4.,-):,()*'= p ! q >!.#'0,4)!= vemos que aqui tampoco apaiece la 'y', sin embaigo la pioposicion nos est uicienuo simplemente que comei taita y que bebei siuia. El 'auems' aaue un matiz que no nos inteiesa uesue un punto ue vista logico. A la logica solo le inteiesa en qu conuiciones es veiuaueia o falsa la pioposicion 'Auems ue comei taita, bebei siuia', iesulta que esa pioposicion solo es veiuaueia si como taita / bebo siuia. Eso es lo nico que ha ue queuai ieflejauo en la foimalizacion.
Felipe uaiiiuo Beinabeu http:antesuelascenizas.com
7 ;4!1!$)()*' #' -#'6&,7# ',0&4,-: Es completamente cieito que voy a asistii a la ieunion y que luego me ii ue fiesta. p= voy a asistii a la ieunion q= uespus ue la ieunion me ii ue fiesta <!4.,-):,()*': p ! q >!.#'0,4)!: Como vemos, el 'es completamente cieito' que apaiece en la pioposicion en lenguaje natuial, no vuelve a apaiecei. La iazon ue ello es que no aaue naua al significauo ue las pioposiciones atomicas, sino que simplemente siive paia iefoizai la iuea ue que es cieito lo que uigo. Peio uesue el punto ue vista ue la logica ue enunciauos, la pioposicion uel ejemplo es equivalente a la pioposicion 'voy a asistii a la ieunion y luego me ii ue fiesta'.
;4!1!$)()*' #' -#'6&,7# ',0&4,-: Peuio y Naiia van al cine touos los sbauos. p= Peuio va al cine touos los sbauos q = Naiia va al cine touos los sbauos <!4.,-):,()*': p ! q >!.#'0,4)!: Aunque paiece que solo hay una pioposicion en el ejemplo, hay que auveitii que en iealiuau son uos, pues paia que sea veiuaueia tiene que sei veiuau que Peuio va al cine los sbauos y que Naiia va al cine los sbauos.
Felipe uaiiiuo Beinabeu http:antesuelascenizas.com
8 !"8"4 =%$0-2(>-)(/* <+ 2- <('13*)(/* ;4!1!$)()*' #' -#'6&,7# ',0&4,-: voy al cine o voy al teatio p = voy al cine q= voy al teatio <!4.,-):,()*': p " q (se lee 'p o q')
;4!1!$)()*' #' -#'6&,7# ',0&4,-: 0 bien voy al cine, o bien voy al teatio p = voy al cine q = voy al teatio <!4.,-):,()*': p " q >!.#'0,4)!: A veces, cuanuo nos estamos inicianuo en la foimalizacion, pueue que tengamos la tentacion ue foimalizai la pioposicion ue este ejemplo uel siguiente mouo: (" p " q). Esto es un eiioi gaiiafal, pues, como ya hemos uicho, no se tiata ue tiauucii palabia poi palabia, sino ue expiesai la foima logica ue la pioposicion. En la pioposicion uel ejemplo estamos uicienuo que se me plantean uos opciones; una, ii al cine; otia, ii al teatio; y al menos una ue ellas uebe cumpliise. Esto es una uisyuncion ue toua la viua, poi ms que la iefoicemos con el '0 bien. o bien.', poi lo tanto se foimaliza exactamente igual que la uel ejemplo anteiioi.
Felipe uaiiiuo Beinabeu http:antesuelascenizas.com
9 !"8"8 =%$0-2(>-)(/* <+2 )%*<()(%*-2 ;4!1!$)()*' #' -#'6&,7# ',0&4,-: Si Nisha es un gato, entonces escupii bolas ue pelo. p= Nisha es un gato q= Nisha escupii bolas ue pelo <!4.,-):,()*': p # q (se lee 'si p entonces q' o 'p implica q')
;4!1!$)()*' #' -#'6&,7# ',0&4,-: Si vas a la playa, te bionceais. p = vas a la playa q = te bionceais <!4.,-):,()*': p # q >!.#'0,4)!: Aunque no apaiezca liteialmente el 'entonces', como lo que estamos tiauucienuo no son las palabias, una poi una, sino la foima logica, es eviuente que basta el 'si' inicial paia inuicainos el conuicional.
;4!1!$)()*' #' -#'6&,7# ',0&4,-: Solo si Nisha es un gato, escupii bolas ue pelo p= Nisha es un gato q = Nisha escupii bolas ue pelo <!4.,-):,()*': q # p >!.#'0,4)!: 0bsivese que este conuicional se foimaliza al ievs que el uel ejemplo anteiioi. En la pioposicion 'Si Nisha es un gato, entonces escupii bolas ue pelo' no excluimos la posibiliuau ue que otios animales, a paite uel gato, escupan bolas ue pelo. Nisha pouiia sei un tigie y escupii bolas ue pelo. La pioposicion nicamente afiima que, inuepenuientemente ue que haya otios animales que escupan bolas ue pelo, si Nisha es un gato, tambin lo hai. Ahoia bien, si lo que uigo es que ?!-! $) Nisha es un gato, escupii bolas ue pelo, #$0!/ #@(-&/#'+! -, 1!$)9)-)+,+ +# A&# !04!$ ,').,-#$B , 1,40# +#- 6,0!B #$(&1,' 9!-,$ +# 1#-!. Paia expiesai esto foimalmente, tengo que inveitii el conuicional, pues ahoia, a uifeiencia uel ejemplo anteiioi, estoy uicienuo que $) C)$D, #$(&1# 9!-,$ +# 1#-! #'0!'(#$ #$ A&# #$ &' 6,0!. Notese que esta ltima pioposicion no implica que haya gatos A&# '! #$(&1,' 9!-,$ +# 1#-!.
Felipe uaiiiuo Beinabeu http:antesuelascenizas.com
1u ;4!1!$)()*' #' -#'6&,7# ',0&4,-: Pgame y tenuis tu meieciuo p = pgame q = tenuis tu meieciuo <!4.,-):,()*': p # q >!.#'0,4)!: A veces el lenguaje natuial pueue confunuiinos. En este caso la paiticula 'y' no funciona como un conuicional, pues la pioposicion no est afiimanuo que me hayas pegauo y que auems te haya uanuo tu meieciuo. La pioposicion uel ejemplo pueue sei veiuaueia sin que nauie sufia ningn uao, pues tiene un sentiuo conuicional. En iealiuau est afiimanuo que $) me pegas, #'0!'(#$ tenuis tu meieciuo.
;4!1!$)()*' #' -#'6&,7# ',0&4,-: Asistii a clase es FCDXHFHTD DEFEUJRHJ paia apiobai. p = se asiste a clase q= se apiueba <!4.,-):,()*': q # p >!.#'0,4)!: Piobablemente la foimalizacion est al ievs ue lo que espeibamos, peio es coiiecta. Si uigo que algo es una (!'+)()*' '#(#$,4), paia apiobai, estoy uicienuo que es un iequisito impiescinuible -necesaiio-, peio que no es suficiente paia apiobai, es posible que auems ue asistii a clase haya que hacei algn tiabajo, poi ejemplo, o apiobai un examen. Esto significa que aunque se cumpla una (!'+)()*' '#(#$,4),, no poi ello se apiobai, pues pueue que no se cumplan !04,$ (!'+)()!'#$ '#(#$,4),$. Lo que est claio es que si no se cumple, aunque se cumplan touas las uems, se suspenuei. En el ejemplo uecimos que asistii a clase es conuicion necesaiia paia apiobai. Esto no significa que si asisto a clase entonces apiuebo (p # q), pues es posible que asista a clase y no apiuebe. Lo que significa la pioposicion es que $) he apiobauo, #'0!'(#$ tiene que sei veiuau que he asistiuo a clase.
Felipe uaiiiuo Beinabeu http:antesuelascenizas.com
11 ;4!1!$)()*' #' -#'6&,7# ',0&4,-: Asistii a clase es FCDXHFHTD UPWHFHEDGE paia apiobai. p = se asiste a clase q = se apiueba <!4.,-):,()*': p # q >!.#'0,4)!: A uifeiencia ue una conuicion necesaiia, una (!'+)()*' $&%)()#'0# se basta poi si misma paia que el consecuente uel conuicional sea veiuaueio. Si uigo que estuuiai es conuicion suficiente paia apiobai estoy uicienuo que basta estuuiai paia apiobai el cuiso, o lo que es lo mismo, que $) #$0&+)! #'0!'(#$ ,14!9,4E #- (&4$!. Poi lo tanto la foimalizacion coiiecta es (p#q). Notese que una conuicion suficiente no tiene poi qu sei tambin necesaiia, pues pouiia habei !04, (!'+)()*' $&%)()#'0# paia apiobai. Pouiia sei que el piofesoi uijeia que paia apiobai basta venii a clase o hacei un tiabajo. En ese caso tanto venii a clase como hacei un tiabajo seiian conuiciones suficientes paia apiobai, peio no necesaiias, pues cualquieia ue ellas pouiia no cumpliise y apiobai, siempie que se cumpla la otia. Poi su paite, las conuiciones necesaiias no tienen tampoco poi qu sei suficientes.
;4!1!$)()*' #' -#'6&,7# ',0&4,-: Asistii a clase es conuicion necesaiia y suficiente paia apiobai. p = se asiste a clase q = se apiueba <!4.,-):,()*': p$q (se lee 'p coimplica q') >!.#'0,4)!: Becii que asistii a clase es conuicion necesaiia y suficiente paia apiobai significa que basta asistii a clase paia apiobai, y que no hay otio mouo ue apiobai a paite ue asistii a clase. En iealiuau la pioposicion es equivalente a afiimai (p#q) y (q#p) simultneamente. Esto significa que [(p#q) ! (q#p)] = (p$q) El simbolo '$' siive paia inuicai esta uoble uiieccion uel conuicional y se llama 9)(!'+)()!',-. Tambin pouiia foimalizaise con ayuua uel biconuicional la pioposicion Si estudias y slo si estudias, aprobars.
Felipe uaiiiuo Beinabeu http:antesuelascenizas.com
12 ;4!1!$)()*' #' -#'6&,7# ',0&4,-: Te besai si me piometes amoi eteino. p= te besai q= me piometes amoi eteino <!4.,-):,()*': q # p >!.#'0,4)!: La nica uificultau ue esta pioposicion es que paia uaile ms efecto al consecuente, se sita en piimei lugai, peio es peifectamente equivalente a la pioposicion 'si me piometes amoi eteino, entonces te besai'
!"8"@ =%$0-2(>-)(/* <+ 2- *+7-)(/* ;4!1!$)()*' #' -#'6&,7# ',0&4,-: No voy a solucionaite el pioblema p= voy a solucionaite el pioblema <!4.,-):,()*': p
;4!1!$)()*' #' -#'6&,7# ',0&4,-: No es cieito que haya estauo en ese cine. p= he estauo en ese cine <!4.,-):,()*': p >!.#'0,4)!: el 'no es cieito que' uel ejemplo no es sino una foima iefoizaua ue negai, poi lo tanto se foimaliza como una simple negacion, que es lo que es.
;4!1!$)()*' #' -#'6&,7# ',0&4,-: Ningn hombie pueue volai p= algn hombie pueue volai <!4.,-):,()*': p >!.#'0,4)!: En el ejemplo no apaiece expiesamente la paiticula 'no', peio el 'ningn' expiesa negacion, ue mouo que la pioposicion uel ejemplo no es sino la negacion ue la pioposicion atomica 'algn hombie pueue volai'.
;4!1!$)()*' #' -#'6&,7# ',0&4,-: No hay naua en el cajon p= hay algo en el cajon <!4.,-):,()*': p >!.#'0,4)!: No hay que entenuei el 'no hay naua' como una uoble negacion, que seiia equivalente a afiimai, sino como una negacion iefoizaua, poi eso la
Felipe uaiiiuo Beinabeu http:antesuelascenizas.com
1S pioposicion atomica es 'hay algo en el cajon' y la pioposicion uel ejemplo ha ue inteipietaise como la negacion ue esa pioposicion atomica.
!"8"A =%$0-2(>-)(%*+' )%0;(*-*<% .%<-' 2-' -*.+$(%$+' ;4!1!$)()*' #' -#'6&,7# ',0&4,-: Si estuuias y vienes a clase, entonces apiobais. p= estuuias q= vienes a clase i= apiobais <!4.,-):,()*': (p ! q) # i >!.#'0,4)!: La pioposicion uel ejemplo uice que paia apiobai hay que cumplii uos conuiciones: asistii a clase y estuuiai. Esto significa que tiene que sei veiuau que estuuias y que vas a clase paia que sea veiuau que apiuebas. Esto se foimaliza con ayuua uel conuicional. Notese que no es lo mismo '(p ! q)# i' que 'p ! (q # i)'. El significauo ue una pioposicion pueue cambiai enoimemente segn como usemos los paintesis. Aunque existen algunas ieglas paia simplificai el uso ue los paintesis, ue momento es mejoi usailos siempie paia evitai ambigeuaues.
;4!1!$)()*' #' -#'6&,7# ',0&4,-: No es cieito que vaya a ii a Polonia y que est engoiuanuo. p = voy a ii a Polonia q = estoy engoiuanuo <!4.,-):,()*': (p ! q) >!.#'0,4)!: Es impoitante uaise cuenta ue que en el ejemplo comentauo no estoy uicienuo que no voy a ii a Polonia y que no estoy engoiuanuo. Lo que estoy uicienuo es que no es cieito que las uos pioposiciones sean veiuaueias, peio eso no significa que las uos sean falsas; pueue que sea una veiuaueia y otia falsa. Lo que estoy neganuo no es caua una ue las pioposiciones atomicas, sino la conjuncion ue las uos.
Felipe uaiiiuo Beinabeu http:antesuelascenizas.com
14 ;4!1!$)()*' #' -#'6&,7# ',0&4,-: Ni yo boiuo pauelos ni t iompes contiatos p = yo boiuo pauelos q = t iompes contiatos <!4.,-):,()*': p ! q >!.#'0,4)!: A uifeiencia uel ejemplo anteiioi, en este caso si estamos neganuo caua una ue las pioposiciones atomicas ue la conjuncion, lo que en lenguaje natuial se expiesa con el 'ni. ni.'. Bay que obseivai que '(p ! q)' no significa lo mismo que 'p ! q', como tenuiemos ocasion ue uemostiai ms taiue.
;4!1!$)()*' #' -#'6&,7# ',0&4,-: Si copias en el examen, no apiobais y, o bien seis expeuientauo o bien te queuais castigauo touos los uias poi la taiue. p= copias en el examen q = apiobais i = seis expeuientauo s = te queuais castigauo touos los uias poi la taiue <!4.,-):,()*': p # |q ! (i " s)j >!.#'0,4)!: Antes ue analizai la estiuctuia ue la pioposicion, conviene auveitii que el uso ue coichetes (|,j) o ue paintesis ((,)) obeuece a iazones ue claiiuau expositiva. Simplemente la foimula se lee ms fcilmente si uistinguimos los paintesis ms exteinos ue los ms inteinos meuiante los coichetes. Queue uicho, no obstante, que pueuen usaise solo paintesis, si se uesea. Cinuonos a la pioposicion uel ejemplo, obseivaiemos que nos est auviitienuo ue las consecuencias ue copiai en el examen, poi ello tiene una foima conuicional. En efecto, la pioposicion nos uice que $) (!1),$ #' #- #@,.#', #'0!'(#$ te ocuiiii algo. Concietamente te ocuiiiin al menos uos cosas, una ue ellas la sabemos seguia: no apiobais (q). La otia consecuencia, uepenue, pues hay uos opciones, pues pueues sei expeuientauo (i) o sei castigauo (s) (o las uos cosas) la cuestion es que esa segunua consecuencia touavia no se ha concietauo, poi eso se expiesa como una uisyuncion. Segn lo uicho, si se cumple la conuicion ue copiai en el examen, entonces no apiobais / ocuiiii alguna ue las uos opciones expuestas (seis expeuientauo ! seis castigauo).
Felipe uaiiiuo Beinabeu http:antesuelascenizas.com
1S ;4!1!$)()*' #' -#'6&,7# ',0&4,-: No voy a ii a Paiis, peio si voy, me acoiuai ue ti y ue tu mauie. p = voy a Paiis q = me acoiuai ue ti i= me acoiuai ue tu mauie <!4.,-):,()*': p ! |p # (q ! i)j
;4!1!$)()*' #' -#'6&,7# ',0&4,-: Si vas al cine, entonces, o compias palominas o me enviuiais si tienes hambie. p = vas al cine q = compias palomitas i = me enviuias s = tienes hambie <!4.,-):,()*': p # |q " (s#i)j >!.#'0,4)!: La complejiuau ue esta pioposicion iauica en el hecho ue que el consecuente uel conuicional es una uisyuncion y uno ue los timinos ue esa uisyuncion es un conuicional, ue mouo que tenemos un conuicional uentio ue otio conuicional.
;4!1!$)()*' #' -#'6&,7# ',0&4,-: Ne quieias o no, tenuis que sopoitaime p = me quieies q = tienes que sopoitaime <!4.,-):,()*': (p " p) ! q
Felipe uaiiiuo Beinabeu http:antesuelascenizas.com
16 !/B C'<.', 41 D1*4'4 !"@"! B-;2-' <+ 6+$<-< <+ 2-' )%*+).(6-' 2/7()-' Foimalizai una pioposicion es solo el piimei paso. Ahoia tenemos que analizai las foimulas obteniuas en ielacion con su veiuau o la falseuau. El valoi ue veiuau ue las pioposiciones moleculaies uepenue uel valoi ue veiuau ue las pioposiciones atomicas que la componen y ue las conectivas logicas. 0na pioposicion atomica pueue sei veiuaueia o falsa. Nosotios auoptaiemos la convencion ue iefeiiinos al valoi ue veiuau 'veiuaueio' con el simbolo '1' y al valoi ue veiuau 'Falso' con el simbolo 'u'. Pouemos expiesai los posibles valoies ue veiuau ue una pioposicion atomica meuiante la siguiente tabla: p 1 u
Esta tabla significa que la pioposicion atomica 'p' (que pueue sei (&,-A&)#4 pioposicion atomica) pueue sei veiuaueia (1) o falsa (2). En iealiuau no sabemos si es veiuaueia o falsa, poique eso uepenue ue su significauo, que uesconocemos. Peio lo que sabemos con toua seguiiuau es que uebe tenei uno ue esos valoies ue veiuau. La cosa se complica cuanuo pietenuemos aveiiguai los posibles valoies ue veiuau ue una pioposicion moleculai. En efecto, la pioposicion moleculai p ! q pueue sei veiuaueia o falsa, peio su veiuau o falseuau uepenue ue la veiuau o falseuau ue p y ue q. Asi pues, si p es veiuaueia peio q es falsa, (p ! q) sei falsa, poi ejemplo. A caua combinacion ue valoies ue veiuau ue p y ue q, le coiiesponue un valoi ue veiuau a la pioposicion compleja. Pouemos expiesai esto con la siguiente GJMNJ XE IERXJX XE NJ FCDQPDFHTD: p q p ! q 1 1 1 1 u u u 1 u u u u
Como vemos en la tabla, la foimula (p ! q) solo es veiuaueia cuanuo p es veiuaueia y q es veiuaueia, sienuo falsa en touos los uems casos. Pouemos confeccionai una tabla semejante paia touas las conectivas logicas:
Felipe uaiiiuo Beinabeu http:antesuelascenizas.com
17 4JMNJ XE IERXJX XE NJ XHUYPDFHTD p q p " q 1 1 1 1 u 1 u 1 1 u u u
Como vemos, la uisyuncion solo es falsa en caso ue que sus uos timinos lo sean, y es veiuaueia en touos los uems supuestos. 4JMNJ XE IERXJX XEN FCDXHFHCDJN p q p # q 1 1 1 1 u u u 1 1 u u 1
La tabla ue veiuau uel conuicional siempie causa cieita inquietuu y, ue hecho, ha siuo objeto ue ciitica poi paite ue muchos logicos. Nosotios no entiaiemos en tales uisquisiciones y nos confoimaiemos con compienueila, lo que ya es bastante. Lo piimeio que obseivamos en la tabla uel conuicional es que solo es falso en un caso: cuanuo el anteceuente es veiuaueio y el consecuencia falso. En efecto, supongamos que a piincipio ue cuiso un piofesoi uice a sus alumnos: Si vens a clase entonces aprobaris Ahoia supongamos que, al final ue cuiso, un ueteiminauo alumno, tias asistii ieligiosamente a touas las clases, suspenue. Biiemos, en ese caso, que el piofesoi mintio al piincipio ue cuiso pues la pioposicion 'si venis a clase entonces apiobaiis' es manifiestamente falsa, pues un alumno ha iuo a clase y no ha apiobauo. Lo que soipienue ue la tabla ue veiuau uel conuicional no es esto, sino los casos que lo hacen veiuaueio. En el piimei caso no paiece habei pioblema, pues si el anteceuente es veiuaueio y tambin lo es el consecuente, no hay iazon paia negai el conuicional: se ha cumpliuo la conuicion y tambin se ha cumpliuo lo conuicionauo. El segunuo caso meiece algo ms ue atencion. En efecto, como vemos en la tabla, si el anteceuente es falso peio el consecuente es veiuaueio, el conuicional es veiuaueio. La iazon ue esto es que el consecuente ue un conuicional pueue sei veiuaueio inuepenuientemente uel anteceuente. Si es veiuau que si Pepito estuuia entonces apiueba, eso no excluye que apiuebe sin estuuiai, pues aun en ese caso seguiiia sienuo veiuau que si hubieia estuuiauo, apiobaiia.
Felipe uaiiiuo Beinabeu http:antesuelascenizas.com
18 El teicei caso en el que el conuicional es veiuaueio no caiece tampoco ue inteis. Si tanto el anteceuente como el consecuente son falsos, el conuicional es veiuaueio. Bay que iecoiuai que un conuicional no est uesciibienuo un hecho actualmente existente uel munuo, sino que establece una conuicion y uice que, en el caso ue que se cumplieia, ocuiiiiia tal o cual cosa. Que el anteceuente y el consecuente sean falsos no excluye que si el anteceuente D&9)#4, $)+! 8#4+,+#4! tambin lo hubieia siuo el consecuente. Si yo no estuuio y no apiuebo, no poi eso es falso que si estuuio, entonces apiuebo. 4JMNJ XE IERXJX XE NJ DEOJFHTD Como hemos visto en apaitauos anteiioies, la negacion invieite el valoi ue veiuau ue la pioposicion negaua, tal y como se establece en la siguiente tabla:
p p 1 u u 1
Es uecii, que cuanuo 1 es veiuaueia, F1 es falsa, y cuanuo 1 es falsa, F1 es veiuaueia.
Felipe uaiiiuo Beinabeu http:antesuelascenizas.com
19 !"@"4 B-;2-' <+ 6+$<-< <+ C/$032-' +* 7+*+$-2 Cualquiei foimula tiene su piopia tabla ue veiuau, que vaiiai en funcion ue la cantiuau ue pioposiciones atomicas que la integian y ue su piopia complejiuau logica. Paia iealizai la tabla ue veiuau ue una foimula, hay que ueteiminai, en piimei lugai, ue cuntas columnas (veitical) y filas (hoiizontal) constai. Paia ueteiminai el nmeio ue columnas ue una tabla, es necesaiio iecuiiii al concepto ue D)$0!4), %!4.,()!',- ue una foimula. La D)$0!4), %!4.,()!',- ue una foimula es el conjunto ue touas sus subfoimulas, incluynuola a ella misma. Es algo asi como uesanuai el camino que nos ha llevauo uesue las pioposiciones atomicas a la pioposicion moleculai a analizai. La histoiia foimacional ue una foimula consistente en una letia pioposicional es simple. La histoiia foimacional ue la foimula p Es, simplemente, 1. Ahoia bien, si en vez ue 1 tenemos la foimula p ! q su D)$0!4), %!4.,()!',- sei el conjunto {p, q, p!q}. Pouemos iepiesentai la D)$0!4), %!4.,()!',- ue una foimula meuiante un esquema:
En cualquiei caso, obseivamos que -, D)$0!4), %!4.,()!',- ue la foimula 1 ! A consta ue ties elementos: las uos pioposiciones atomicas 1 y A, y la piopia foimula 1 ! A. Be maneia anloga, la D)$0!4), %!4.,()!',- ue 1 " A es { p, q, p " q}, y la ue 1 # A es {p, q, p# q}. Poi su paite, la D)$0!4), %!4.,()!',- ue una foimula como F1 sei {p, p}, segn el siguiente esquema:
V ! Z V Z [V V
Felipe uaiiiuo Beinabeu http:antesuelascenizas.com
2u Notese que caua una ue las iamas uel ibol pueue sei, a su vez, una foimula compleja, en cuyo caso se volveiia a iamificai tantas veces fueia necesaiio hasta llegai a las foimulas atomicas. Asi, poi ejemplo en el caso ue la fomula (p ! q) # (i " q), la D)$0!4), %!4.,()!',- queuaiia iepiesentaua poi el esquema:
Segn este esquema, la D)$0!4), %!4.,()!',- ue (p ! q) # (i " q), sei el conjunto {p, q, i, q, p!q, i"q, (p!q)#(i"q)} foimauo poi 7 elementos. Notese que aunque la foimula atomica A se iepite uos veces en la foimula, a efectos ue su D)$0!4), %!4.,()!',- solo se cuenta una vez. 0na vez hemos ueteiminauo la D)$0!4), %!4.,()!',- ue una foimula, pouemos continuai con la confeccion ue su tabla ue veiuau, que tenui tantas columnas como elementos tenga la histoiia foimacional ue la foimula, y a caua columna le coiiesponuei uno ue esos elementos, uesue los ms simples hasta los ms complejos. Asi, la tabla ue veiuau ue la foimula anteiioi 21!A3 # 24"FA3 tenui 7 columnas. Beteiminai el nmeio ue filas ue la tabla es fcil, pues solo uebemos aplicai la siguiente foimula: Nmero de filas de la tabla = 2 n
uonue ' es el nmeio ue pioposiciones atomicas ue que consta la foimula. Asi, si obseivamos la D)$0!4), %!4.,()!',- ue la foimula 21!A3 # 24"FA3, obseivaiemos que consta ue las S pioposiciones atomicas 1B A y 4 (iecoiuemos que las pioposiciones que se iepiten solo ueben sei contauas una vez). Aplicanuo la foimula aiiiba inuicaua obtenemos que nuestia tabla uebe tenei 2 S filas, es uecii, 8 filas. Poi supuesto, a estas 8 filas habi que aauii una, que sei la piimeia, que iellenaiemos con las subfoimulas ue la D)$0!4), %!4.,()!',-. La tabla queuai como sigue:
:V ! Z; # :R " Z; :V ! Z; V Z :R " [Z; R [Z Z
Felipe uaiiiuo Beinabeu http:antesuelascenizas.com
21 V Z R [Z V!Z R"[Z :V!Z;#:R"[Z;
Ahoia viene un momento peliaguuo ue la elaboiacion ue la tabla, pues es hoia ue completaila. En piimei lugai, tenuiemos que completai las columnas coiiesponuientes a las pioposiciones atomicas, pues el valoi uel iesto ue celuas ue la tabla uepenuei ue los valoies ue las pioposiciones atomicas. 0lviumonos, ue momento, ue las columnas coiiesponuientes a foimulas moleculaies y fijmonos solo en las columnas ue las foimulas atomicas: V Z R
En piimei lugai, lo que haiemos es uiviuii la piimeia columna en uos paites iguales y completai la piimeia ue esas paites con '1' y la segunua con 'u'. En este caso tenemos 8 filas, ue mouo que las 4 piimeias filas ue la columna coiiesponuiente a 1 se completain con '1' y las cuatio siguientes con 'u'. Si en vez ue 8 filas tuviiamos 16, la opeiacion seiia semejante, aunque en vez ue uos giupos ue 4, tenuiiamos uos giupos ue 8, uno con '1' y el otio con 'u'. En nuestio caso la tabla queuai asi: V Z R 1 1 1 1 u u u u
Felipe uaiiiuo Beinabeu http:antesuelascenizas.com
22 Si hemos uiviuiuo en 2 paites la piimeia columna, la segunua la uiviuiiemos en 4 paites iguales y completaiemos con '1' la piimeia, con 'u' la segunua y asi sucesivamente hasta agotailas. En este caso, como tenemos 8 filas poi columna y 84=2, uiviuiiemos la columna coiiesponuiente a A en cuatio paites ue 2 celuas caua una y las completaiemos como se ha inuicauo, ue mouo que obtenuiemos lo siguiente: V Z R 1 1 1 1 1 u 1 u u 1 u 1 u u u u
Biviuiua la piimeia columna en 2 paites y la segunua columna en 4, uiviuiiemos la teiceia en 8 paites y las completaiemos con '1' y 'u' alteinativamente (notese que las columnas han siuo uiviuiuas, iespectivamente poi 2 1 , 2 2 y 2 S , ue mouo que si hubieia una cuaita columna coiiesponuiente a una cuaita foimula atomica, seiia uiviuiua poi 2 4 , y asi sucesivamente). Al final tenuiemos: V Z R 1 1 1 1 1 u 1 u 1 1 u u u 1 1 u 1 u u u 1 u u u
Como pouemos obseivai, meuiante este pioceuimiento hemos obteniuo touas las combinaciones posibles ue valoies ue veiuau ue las foimulas atomicas ue nuestia tabla, que ahoia tenui este aspecto: V Z R [Z V!Z R"[Z :V!Z;#:R"[Z; 1 1 1 1 1 u 1 u 1 1 u u u 1 1 u 1 u u u 1 u u u
Felipe uaiiiuo Beinabeu http:antesuelascenizas.com
2S
Queua ahoia poi completai las columnas coiiesponuientes a las foimulas moleculaies. Como sabemos, el valoi ue veiuau ue estas foimulas uepenuei uel valoi ue veiuau ue las foimulas atomicas que las integian. Comencemos poi la columna coiiesponuiente a q. Sabemos, poi la tabla ue veiuau ue la negacion, que cuanuo q es 1, q es u, y viceveisa. En consecuencia, asignaiemos a caua celua ue la columna q un valoi en ielacion con el valoi que paia esa fila tenga la columna q. La tabla queuai como sigue: V Z R [Z V!Z R"[Z :V!Z;#:R"[Z; 1 1 1 u 1 1 u u 1 u 1 1 1 u u 1 u 1 1 u u 1 u u u u 1 1 u u u 1
Como vemos, cuanuo q vale 1, asignamos un u a q, y al ievs, cuanuo q vale u, asignamos un 1 a q. Paia completai la columna coiiesponuiente a 1!A, uebemos aplicai la tabla ue veiuau ue la conjuncion a caua pai ue valoies ue las columnas coiiesponuientes a 1 y a A ue mouo que obtenemos la siguiente uistiibucion ue valoies ue veiuau:
Como vemos, solo asignamos el valoi 1 a 1!A cuanuo 1 vale 1 y A tambin vale 1. En los uems casos asignamos a 21!A3 el valoi u. A continuacion hay que completai la columna coiiesponuiente a la foimula 4"FA. En piimei lugai obseivamos que la foimula es una uisyuncion, poi lo que tenuiemos que aplicai la tabla ue veiuau ue la uisyuncion que, si la iecoiuamos, viene a uecii que una uisyuncion solo tiene el valoi ue veiuau u si sus uos timinos tienen ambos el valoi ue veiuau u, sienuo 1 en el iesto ue casos. El piimei timino ue la uisyuncion es 4, poi lo tanto uebeiemos atenuei a V Z R [Z V!Z R"[Z :V!Z;#:R"[Z; 1 1 1 u 1 1 1 u u 1 1 u 1 1 u 1 u u 1 u u 1 1 u u u 1 u u u u u 1 1 u u u u 1 u
Felipe uaiiiuo Beinabeu http:antesuelascenizas.com
24 los valoies ue la columna 4 paia establecei los ue 24"FA3. Peio como vemos, el segunuo timino que hay que tenei en cuenta es FA, esto significa que tenemos que basainos en los valoies ue la columna FA y DC ED NCU XE NJ FCNPLDJ !. Siguienuo la tabla ue veiuau ue la uisyuncion, queuai como sigue:
Como eia ue espeiai, solo asignamos el valoi u a la columna 24"FA3 cuanuo las columnas coiiesponuientes a 4 y a FA coinciuen en el valoi u, asignanuo 1 en caso contiaiio. Paia completai la ltima columna, coiiesponuiente a la foimula enteia, aplicaiemos la tabla ue veiuau uel conuicional, tomanuo como iefeiencia las columnas coiiesponuientes a 21!A3 y a 24"FA3 ue mouo que obtenemos:
Si iecoiuamos la tabla ue veiuau uel conuicional, sabiemos que solo se asigna el valoi ue veiuau u a un conuicional cuanuo el anteceuente es 1 y el consecuente u. Esta es la iazon ue que en nuestia tabla, la foimula 21!A3#24"FA3 solo tenga el valoi ue veiuau u en la segunua fila, pues es la nica en la que el anteceuente 1!A es 1 y el consecuente 24"FA3 es u, en el iesto ue casos, ue acueiuo con la tabla ue veiuau uel conuicional, la foimula es veiuaueia. Si estuuiamos ueteniuamente la tabla ue veiuau que hemos obteniuo, pouemos extiaei conclusiones inteiesantes aceica ue nuestia foimula. En piimei lugai, sabemos que la foimula pueue sei veiuaueia o falsa, y que solo es falsa en un caso. Lo que la tabla nos uice es qu es lo que tiene que ocuiiii paia que la foimula sea falsa. Paia ello uebemos fijainos en los valoies ue las celuas coiiesponuientes a las foimulas atomicas ue la fila 2 ue la tabla, que es la que V Z R [Z V!Z R"[Z :V!Z;#:R"[Z; 1 1 1 u 1 1 1 1 u u 1 u 1 u 1 1 u 1 1 u u 1 u 1 u 1 1 u u 1 u 1 u u u u u u 1 1 u 1 u u u 1 u 1 V Z R [Z V!Z R"[Z :V!Z;#:R"[Z; 1 1 1 u 1 1 1 1 1 u u 1 u u 1 u 1 1 u 1 1 1 u u 1 u 1 1 u 1 1 u u 1 1 u 1 u u u u 1 u u 1 1 u 1 1 u u u 1 u 1 1
Felipe uaiiiuo Beinabeu http:antesuelascenizas.com
2S hace a la foimula falsa. A paitii ue uichos valoies, pouemos llegai a la conclusion ue que nuestia foimula solo es falsa si p y q son veiuaueias y i falsa, lo que constituiiia un (!'04,#7#.1-! ue nuestia foimula. !"@"8 5%*.(*7+*)(-'D .-3.%2%7:-' 1 )%*.$-<())(%*+' Consiueiemos las tablas ue veiuau ue las foimulas 21#A3B 21"F13 y 21!F13B iespectivamente: V Z V# Z 1 1 ! 1 u \ u 1 ! u u !
Be las ties foimulas analizauas, solo pouemos afiimai con absoluta ceiteza la veiuau ue 21"F13B pues, como obseivamos, sea cual sea el valoi ue sus componentes, la foimula iesulta sei siempie veiuaueia. A este tipo ue foimulas las llamamos GJPGCNCOKJU, y son consiueiauas 8#4+,+#$ -*6)(,$. Se tiata ue pioposiciones cuya veiuau es completamente inuepenuiente ue lo que ocuiia en el munuo, y poi lo tanto, no nos uan ninguna infoimacion sobie la iealiuau empiiica. Las tautologias, ms bien, tienen el valoi ue funcionai como piincipios logicos, es uecii, como conuiciones que han ue sei cumpliuas poi nuestio uiscuiso si es que ha ue sei consistente. La foimula analizaua aqui es, concietamente, el piincipio ue 0#4()! #@(-&$!, y afiima que una pioposicion o bien es veiuaueia o bien es falsa, y que no cabe una teiceia posibiliuau. Poi otia paite, la foimula 21!F13 es el caso opuesto a la anteiioi, pues paia touos los valoies ue sus subfoimulas, iesulta sei falsa. A estas foimulas las llamamos FCDGRJXHFFHCDEU. En efecto, uiga 1 lo que uiga, si afiimo 21!F13 me estoy contiauicienuo y poi lo tanto mi afiimacion tiene que sei necesaiiamente falsa. 0bsivese que la negacion ue una contiauiccion sei siempie una tautologia, y viceveisa, la negacion ue una tautologia sei una contiauiccion. En este caso, la negacion ue 21!F13 es F21!F13, que es una tautologia que uice que una contiauiccion no pueue sei nunca veiuaueia. Este es el famoso 14)'()1)! +# '! (!'04,+)(()*'. El teicei tipo ue foimulas son aqullas cuya veiuau o falseuau no pueue ueciuiise simplemente poi meuios logicos, como la tabla ue veiuau, sino que es necesaiio el iecuiso a la obseivacion. Es el caso ue la foimula 21#A3. Sabemos que la foimula 1"F1 es siempie veiuaueia, signifique 1 lo que signifique, y tambin sabemos que 1!F1 es siempie falsa, valga 1 lo que valga; y esto lo sabemos nicamente meuiante el mtouo logico ue la tabla ue veiuau. Peio la tabla ue veiuau ue 1#A nos uice que la foimula pueue sei veiuaueia o pueue sei falsa, y nos inuica en qu casos es veiuaueia y en qu casos es falsa, peio no nos iesuelve el pioblema ue si es efectivamente veiuaueia o falsa. Este tipo ue foimulas son FCDGHDOEDFHJU poique no son ni necesaiiamente veiuaueias ni V [V V " [V 1 u ! u 1 ! V [V V ! [V 1 u \ u 1 \
Felipe uaiiiuo Beinabeu http:antesuelascenizas.com
26 necesaiiamente falsas, sino que su veiuau o falseuau es ielativa, uepenue uel significauo ue las foimulas atomicas y es, poi lo tanto, contingente. !/E F*$2;1-7+, 1.3.1 E$730+*.%' 6F2(<%' Aigumentai consiste en ueuucii una conclusion a paitii ue unas piemisa que se tienen poi veiuaueias. 0n aigumento, poi lo tanto, estai compuesto ue unas piemisas y ue una conclusion. 0n aigumento pueue sei vliuo o no seilo. El siguiente aigumento, poi ejemplo, no es vliuo:
El aigumento no es vliuo poique, aun sienuo veiuaueias las piemisas 1) y 2), la conclusion no tiene poi qu seilo, pues es posible que apiuebe sin estuuiai; copianuo, poi ejemplo. Asi pues, aunque sea veiuau que si estuuio apiobai, y aunque sea tambin veiuau que no he estuuiauo, a paitii ue ahi no se pueue ueuucii con absoluta ceiteza que vaya a apiobai, poi lo que el aigumento no es vliuo y pueue consiueiaise %,-,:. No ocuiie lo mismo en el siguiente ejemplo ue aigumento vliuo:
Este aigumento es vliuo poique si las piemisas son veiuaueias, y suponemos que lo son, entonces, '#(#$,4),.#'0#, la conclusion uebe sei veiuaueia. La nica foima ue que Alicia no sea castigaua es que, o bien la piemisa 1) sea falsa, o lo sea la piemisa 2); peio si ,.9,$ piemisas son veiuaueias, la conclusion tambin lo sei. Be lo uicho pouemos concluii la siguiente XEWHDHFHTD XE JROPLEDGC I]NHXC:
remlsa 1) Sl esLudlo enLonces aprobare remlsa 2) no he esLudlado Conclusln: no aprobare.
remlsa 1) Sl Allcla llega Larde a casa, ser casLlgada remlsa 2) Allcla ha llegado Larde a casa Conclusln: Allcla ser casLlgada un argumenLo es vlldo sl y slo sl no es poslble que las premlsas sean verdaderas y la conclusln falsa.
Felipe uaiiiuo Beinabeu http:antesuelascenizas.com
27 !"A"4 G6-23-)(/* <+ -$730+*.%' 0+<(-*.+ .-;2-' <+ 6+$<-< Touos los aigumentos pueuen conveitiise en un conuicional, pues, uespus ue touo, lo que un aigumento est afiimanuo es que $) las piemisas son veiuaueias, #'0!'(#$ la conclusion tambin lo es, o uicho ue otio mouo: P 1 ! P 2 ! ! P n # C Es uecii, un aigumento es, en iealiuau, un conuicional en el que en anteceuente es la conjuncion ue touas las piemisas (P1 ! P2 ! . ! Pn) y el consecuente es la conclusion (C). Como sabemos, la tabla ue veiuau uel conuicional nos uice que ste solo es falso cuanuo el anteceuente es veiuaueio y el consecuente falso, y veiuaueio en el iesto ue casos. Esto coinciue completamente con la uefinicion ue aigumento vliuo, segn la cual, una aigumento sei vliuo exactamente en los mismos casos en que el conuicional que le coiiesponue lo sea. Como un conuicional no pueue sei veiuaueio si el anteceuente es veiuaueio y el consecuente falso, un aigumento no poui sei vliuo si las piemisas son veiuaueias y la conclusion falsa. No siempie es fcil aveiiguai intuitivamente si un aigumento es vliuo o no, poi lo que en ocasiones es necesaiio iecuiiii a mtouos ms fiables que la intuicion. Bauo que pouemos conveitii cualquiei aigumento en un conuicional, pouemos usai el mtouo ue las tablas ue veiuau paia aveiiguai si un aigumento uauo es vliuo o no. Eviuentemente, PD JROPLEDGC UTNC UER] I]NHXC FPJDXC EN FCDXHFHCDJN FCRREUVCDXHEDGE UEJ PDJ GJPGCNCOKJ y no sei vliuo en el iesto ue casos (si es una contiauiccion o si es una contingencia). veamos esto con los ejemplos anteiioies. G8,-&,'+! #- 14).#4 #7#.1-!=
Lo piimeio que uebemos hacei paia evaluai o +#()+)4 si el aigumento es vliuo o no, es foimalizailo: Foimalizacion ue la 14#.)$, H): p # q (si estuuio entonces apiobai) Foimalizacion ue la 14#.)$, I): p (no estuuio) Foimalizacion ue la (!'(&$)*': q (no apiuebo) En segunuo lugai, tenemos que conveitii el aigumento en un conuicional. Como hemos visto, el anteceuente uel conuicional estai foimauo poi la remlsa 1) Sl esLudlo enLonces aprobare remlsa 2) no he esLudlado Conclusln: no aprobare.
Felipe uaiiiuo Beinabeu http:antesuelascenizas.com
28 (!'7&'()*' ue touas las piemisas, y el consecuente poi la conclusion, ue mouo que obtenemos lo siguiente: [(p#q)!p]#q Este es, en consecuencia, el conuicional que le coiiesponue al aigumento uel ejemplo. Es el momento ue hacei su tabla ue veiuau, que queuai como sigue: V Z [V V#Z :V#Z;![V ^:V#Z;![V_#Z 1 1 u 1 u ! 1 u u u u ! u 1 1 1 1 ! u u 1 1 1 \
Como vemos, la tabla ue veiuau nos ievela que el conuicional analizauo es una FCDGHDOEDFHJ, lo que significa que pueue sei veiuaueio o no, es uecii, que es posible que sus piemisas sean veiuaueias y su conclusion falsa. Poi lo tanto el aigumento coiiesponuiente no sei vliuo, como ueuujimos intuitivamente en el apaitauo anteiioi. Pioceuamos uel mismo mouo con el otio aigumento piopuesto: G8,-&,'+! #- $#6&'+! #7#.1-!:
Como en el caso anteiioi, obtenemos el conuicional que le coiiesponue al aigumento que vamos a evaluai, que, tias foimalizai caua una ue las piemisas y la conclusion, queuai como sigue: [(p#q)!p]#q Y al iealizai la tabla ue veiuau coiiesponuiente obtenemos:
La tabla ue veiuau nos inuica que la foimula evaluaua es una GJPGCNCOKJ, poi lo tanto, pouemos concluii que el aigumento coiiesponuiente es vliuo, y la tabla ue veiuau coiiesponuiente es la 14	, ue su valiuez. V Z V#Z :V#Z;!V ^:V#Z;!V_#Z 1 1 1 1 ! 1 u u u ! u 1 1 u ! u u 1 u ! remlsa 1) Sl Allcla llega Larde a casa, ser casLlgada remlsa 2) Allcla ha llegado Larde a casa Conclusln: Allcla ser casLlgada
Felipe uaiiiuo Beinabeu http:antesuelascenizas.com
29 !/G H1*%D'&%+-1, .#$%&', !"H"! 5%*)+&.% <+ <+$(6-)(/* 2/7()- Bemos uefiniuo ms aiiiba el concepto ue aigumento vliuo afiimanuo que un aigumento es vliuo si y solo si es imposible que las piemisas sean veiuaueias y la conclusion falsa. Esta uefinicion utiliza el concepto ue veiuau y falseuau, poi lo que pouemos uecii que es una uefinicion $#.J'0)(,. Peio la valiuez logica pueue uefiniise sin hacei iefeiencia a la veiuau o la falseuau. Se tiataiia, en este caso, ue una uefinicion $)'0J(0)(,. Besue el punto ue vista $)'0J(0)(! un aigumento es vliuo si las piemisas pueuen sei tiansfoimauas en la conclusion aplicanuo unas ieglas ue tiansfoimacion ue foimulas a las que uenominaiemos ieglas ue ueiivacion. veamos con un poco ms ue uetalle a qu nos iefeiimos cuanuo hablamos ue 'tiansfoimacion'. En el lenguaje natuial es coiiiente tiansfoimai unas expiesiones en otias que consiueiamos equivalentes. Esto lo hacemos, poi ejemplo, cuanuo pasamos una fiase ue activa a pasiva: a) El perro se come el hueso b) El hueso es comido por el perro La oiacion a) pueue sei tiansfoimaua en la oiacion b) siguienuo unas ueteiminauas ieglas. Tambin en matemticas tiansfoimamos unas expiesiones en otias equivalentes: c) x+5=y d) x=y-5 Sabemos que la expiesion c) pueue sei tiansfoimaua en la expiesion u) (y viceveisa) aplicanuo una iegla conociua poi touos. La posibiliuau ue tiansfoimai unas expiesiones en otias aplicanuo ieglas fijas nos peimite +#4)8,4 unas ue otias ue mouo que en la expiesion final quiz se pongan ue manifiesto cosas que en un piincipio no eian tan eviuentes. En el lenguaje foimal ue la logica ue pioposiciones tambin hay unas ieglas que nos peimiten tiansfoimai unas foimulas en otias, ue mouo que, uauas unas piemisas, y aplicanuo esas ieglas, pouemos obtenei una ueteiminaua conclusion (aunque no (&,-A&)#4 conclusion). Las ieglas que nosotios estuuiaiemos constituyen lo que uenominamos un (J-(&-! +# +#+&(()*' ',0&4,- y si una foimula A pueue sei tiansfoimaua en otia foimula B con ayuua ue estas ieglas, uecimos que B $# $)6&# ue A y que el aigumento en el que A es una piemisa y B la conclusion, es 8J-)+!.
Felipe uaiiiuo Beinabeu http:antesuelascenizas.com
Su !"H"4 I+72-' <+ <+$(6-)(/* <+2 )F2)32% <+ <+<3))(/* *-.3$-2 <+ 2- 2/7()- <+ +*3*)(-<%' J% &$%&%'()(%*-2K Como ya sabemos, hay cuatio conectoies logicos: la conjuncion (!), la uisyuncion ("), la implicacion (#) y la negacion (). Caua uno ue estos conectoies pueue sei HDGRCXPFHXC o ENHLHDJXC, obtenienuo, en consecuencia, una nueva foimula. Asi, paia caua conectoi logico habi una iegla ue intiouuccion y otia ue eliminacion.
0EONJU XE NJ FCDQPDFHTD :!; #NHLHDJFHTD XE NJ FCDQPDFHTD :#!; C 2HLVNHWHFJFHTD :2HLV"; La iegla ue eliminacion ue la conjuncion, tambin llamaua ?).1-%)(,()*' (Simp.), uice que una conjuncion pueue sei tiansfoimaua en otia foimula consistente nicamente en uno ue los miembios ue uicha conjuncion. En simbolos:
La linea que hay entie la foimula A!B y la foimula A inuica que la tiansfoimacion solo pueue efectuaise uesue la foimula ue aiiiba hacia la foimula ue abajo, ue mouo que aunque a paitii ue A!B se pueue ueuucii A, a paitii ue A DC UE VPXE XEXPFHR A!B. La eliminacion ue la conjuncion es una iegla tan eviuente que iequieie poco comentaiio. Biiemos, sin embaigo, que lo que significa es que si A y B son veiuaueias, entonces tambin es veiuaueia cualquieia ue ellas poi sepaiauo. El siguiente seiia un ejemplo ue aplicacion ue esta iegla:
1) p!q |- q 2 p __________ Simp. 1
Este sencillo ejemplo ue ueiivacion logica meiece algunas explicaciones vliuas paia cualquiei otia. En piimei lugai, las lineas ue la ueiivacion IJD DPLERJXJU paia facilitai la lectuia e inteipietacion ue la ueiivacion. Notese, sin embaigo, que el nmeio A ! B A
A ! B B
o bien
Felipe uaiiiuo Beinabeu http:antesuelascenizas.com
S1 ue la piimeia linea va seguiuo ue un paintesis. Esto es una convencion que significa que esa linea EU PDJ VRELHUJ, mientias que el iesto son los pasos inteimeuios hasta la conclusion. El simbolo |- inuica que lo que le sigue es la conclusion. Cuanuo nos piuan que iealicemos una ueiivacion solo nos uain las piemisas y la conclusion y nosotios uebeiemos ponei los pasos inteimeuios aplicanuo las ieglas. En segunuo lugai, el simbolo |- significa que la foimula que le sigue EU NJ FCDFNPUHTD, es uecii es la foimula que uebemos obtenei ue las piemisas aplicanuo las ieglas ue ueiivacion. En teicei lugai, vemos que la linea 2 va seguiua ue la inuicacion 'Simp.', seguiua uel nmeio 1. Esto significa que la foimula 'p' ue la linea 2 la hemos obteniuo meuiante la aplicacion ue la iegla 'Simplificacion' o Eliminacion ue la conjuncion (E!), y que sta iegla ha siuo aplicaua en la linea 1. La explicacion ue la ueiivacion es sencilla. Nos piuen que tiansfoimemos la foimula p!q (piemisa) en la foimula p (conclusion). Como la conclusion est conteniua en la piemisa y sta es una conjuncion, pouemos aplicai la iegla que uice que una conjuncion pueue sei simplificaua en cualquieia ue sus miembios. Be este mouo pouemos esciibii 'p' en la linea 2, aplicanuo E! en la linea 1. La ueiivacion teimina en la linea 2 poique ya hemos conseguiuo lo que nos peuian, a sabei, conveitii p!q en p.
-DGRCXPFFHTD XE NJ FCDQPDFHTD :-!; C /RCXPFGC :/RCX"; Segn esta iegla, uos foimulas uistintas pueuen uniise foimanuo una teiceia foimula, que sei la conjuncion ue las mismas. En simbolos:
Como vemos, esta foimula nos peimite foimai una conjuncion unienuo uos foimulas VREIHJLEDGE JWHRLJXJU en alguna ue las lineas ue la ueiivacion. 0n sencillo ejemplo ue utilizacion ue esta iegla es el siguiente: 1) p |- p!q 2) q S. p!q________ Piou. 1,2 En este sencillo ejemplo tenemos uos piemisas (inuicauas poi nmeios con paintesis), y la conclusion es p!q. Es eviuente que si las piemisas afiiman que tanto 'p' como 'q' son veiuaueias poi sepaiauo, tambin son veiuaueias en conjuncion. Como auems la iegla ue intiouuccion ue la conjuncion (I!) o piouucto (Piou.) nos peimite unii cualesquieia uos lineas meuiante una A B A!B
Felipe uaiiiuo Beinabeu http:antesuelascenizas.com
S2 conjuncion, en el paso S pouemos esciibii 'p!q', auviitienuo que esta foimula pioceue ue la aplicacion ue la iegla Piou o I! (pouemos utilizai cualquieia ue estas uenominaciones) en las lineas 1 y 2. Notese que cuanuo utilizamos esta iegla necesitamos iecuiiii a uos lineas uistintas, que ueben sei inuicauas. El siguiente es un ejemplo un poco ms complicauo (no mucho), en el que combinamos las uos ieglas vistas hasta ahoia:
1) p!q |- p!s 2) i!s S. p _______ Simp. 1 4. s _______ Simp. 2 S. p!s____ Piou. S,4
Felipe uaiiiuo Beinabeu http:antesuelascenizas.com
SS 0EONJU XE NJ HLVNHFJFHTD :#; #NHLHDJFHTD XE NJ HLVNHFJFHTD :##; C 8CXPU /CDEDU :8/; Sabemos que una implicacion como A#B se compone ue un anteceuente (A) y ue un consecuente (B). La iegla ue Eliminacion ue la implicacion o Nouus Ponens nos peimite eliminai el conuicional, uejanuo nicamente el consecuente, UHELVRE Y FPJDXC GEDOJLCU JWHRLJXC EN JNOPDJ NKDEJ JDGERHCR EN JDGEFEXEDGE. En simbolos:
Esta iegla uice algo tan sencillo que como si, uauo un conuicional, se cumple la conuicion, entonces tambin se cumplii lo conuicionauo. Poi ejemplo, si le uecimos a alguien lo siguiente: Si te vas, entonces me pondr triste Y esa peisona ueciue iise, pouemos ueuucii que nos ponuiemos tiistes. Igualmente, si un piofesoi nos piomete que si vamos a clase, nos apiobai, y a final ue cuiso pouemos uemostiai que hemos iuo a clase, no tenui ms iemeuio que apiobainos (o faltai a su palabia). 0na aplicacion sencilla ue esta iegla seiia la siguiente ueiivacion: 1) p#q |- q 2) p S. q _________ NP 1, 2 El ejemplo es una aplicacion inmeuiata ue la iegla. Como vemos, si una ue las piemisas afiima que si 1 es veiuau, #'0!'(#$ tambin es veiuau A, y la otia piemisa nos uice que 1 es veiuau, el paso S es claio: pouemos afiimai A poique la iegla uel C!+&$ ;!'#'$ nos peimite afiimai el consecuente ue un conuicional si tenemos afiimauo el anteceuente. 0na vez que hemos llegauo a A se ha teiminauo la ueiivacion poique es lo que se nos peuia en la conclusion. 0bsivese que al inuicai que hemos obteniuo A meuiante la aplicacion ue la iegla Nouus Ponens (NP), uebemos inuicai en qu linea est la implicacion que tiatamos ue eliminai (en este caso la linea 1), y en qu otia linea est afiimauo el anteceuente (en este caso, la 2). 0n ERRCR WREFPEDGE consiste en tiatai ue 'sacai' el anteceuente ue un conuicional. A paitii ue un conuicional, QJL]U VCXELCU XEXPFHR EN JDGEFEXEDGE; nicamente pouemos 'sacai' el consecuente $) 0#'#.!$ #- ,'0#(#+#'0# ,%)4.,+! #' !04, -K'#,. Be mouo que si tenemos un conuicional uel A#B A B
Felipe uaiiiuo Beinabeu http:antesuelascenizas.com
S4 tipo (p#q) uebemos absteneinos ue la tentacion ue 'sacai' 1, aunque tengamos q, pues la siguiente iegla &1 #2 A`$-+), ue hecho constituye una 7)$).-):
A#B B A
0n ejemplo sencillo combinanuo las ieglas vistas hasta ahoia pouiia sei el siguiente: 1) p#q |- q!i 2) p!i S. p ______________ Simp. 2 4. q ______________ NP 1,S S. i _______________ Simp. 2 6. q!i ____________ Piou. 4,S
Como vemos, hemos aplicauo la iegla ue Eliminacion ue la conjuncion (E!) o Simplificacion +!$ 8#(#$ , -, .)$., -K'#,, y pouiiamos haceilo tantas veces como fueia necesaiio, pues (p!i) no ueja ue sei veiuaueio aunque lo simplifiquemos.
-DGRCXPFFHTD XE NJ HLVNHFJFHTD :-#; C 4ECRELJ XE +EXPFFHTD :4+; Esta iegla nos peimite intiouucii una foimula conuicional uel tipo A#B siempie y cuanuo uemostiemos que $) A es veiuaueia, tambin lo es B. En simbolos pouemos expiesailo uel siguiente mouo: A . . B A#B El coichete que une A con B inuica que la foimula A es un $&1&#$0! o D)1*0#$)$ con una valiuez tempoial. En efecto, paia uemostiai que A#B, hay que $&1!'#4 que A es veiuau, paia compiobai que, en ese caso, B tambin lo es. Suponei que A es veiuau no significa que lo sea, sino que ue momento, y hasta que $# ()#44# #- $&1&#$0!, actuaiemos (!.! $) A fueia veiuau. En cuanto Esta iegla N0 ES vALIBA
Felipe uaiiiuo Beinabeu http:antesuelascenizas.com
SS lleguemos a la foimula B, (#44,4#.!$ #- $&1&#$0!, y afiimaiemos que ue A se sigue B, o lo que es lo mismo, A#B. 0na vez que se ha ceiiauo el supuesto, ni la A que lo abie, ni la B que lo cieiia, ni ninguna ue las foimulas inteimeuias pueuen sei usauas ue nuevo, pues su valiuez eia solo supuesta. Esta iegla pueue paiecei algo complicaua, peio la usamos habitualmente; ue hecho, somos afoitunauos poi pouei opeiai sobie supuestos. Se vei con el siguiente ejemplo. Imaginemos que quieio uemostiai el siguiente conuicional: Si le corto la cabeza al gato Misha, el gato Misha morir En piincipio se nos pueue ocuiiii una foima bastante salvaje ue compiobai semejante afiimacion: coitaile la cabeza al gato y compiobai si mueie. Afoitunauamente la logica casi nunca iequieie que se ueiiame sangie y pouemos ahoiiainos el saciificio uel gato aplicanuo la iegla ue intiouuccion ue la implicacion. En vez ue coitaile la cabeza a Nisha, basta que $&1!'6,.!$ A&# $# -, (!40,.!$, y aplicanuo nuestios conocimientos sobie biologia, saquemos consecuencias a paitii ue ese supuesto, hasta concluii que Nisha moiii. En ese momento ceiiamos nuestio supuesto, olviuamos que en nuestia imaginacion hemos matauo al gato, y afiimamos con ceiteza que $) le coitaia la cabeza , C)$D,, #'0!'(#$ Nisha moiiiia. 0n sencillisimo ejemplo ue aplicacion ue esta iegla seiia el siguiente: 1) p#q |- p#i 2) q#i S. p 4. q ____________ NP 1,S S. i ____________ NP 2,4 6. p#i ________ TB S-S Analicemos el ejemplo con uetenimiento. #D VRHLER NPOJRa como el conuicional que se nos piue en la conclusion no est conteniuo en ninguna ue las piemisas, ni pouemos obteneilo uiiectamente ue aplicanuo las otias ieglas, necesitamos )'04!+&()4-! $&1!')#'+! #- ,'0#(#+#'0#, pues paia uemostiai que p#i, tenemos que uemostiai que $) p fueia veiuau, tambin lo seiia i, aunque ignoiemos si p es veiuau o no. En la linea S nos ponemos manos a la obia y suponemos p abiienuo un supuesto en foima ue coichete que, ue momento, uejaiemos abieito. #D UEOPDXC NPOJR, una vez que hemos supuesto el anteceuente uel conuicional que queiemos intiouucii, uebemos tenei claio D,(), +*'+# 8,.!$. En este caso queiemos uemostiai que ue p se pueue ueuucii i, asi que no ceiiaiemos el supuesto hasta que obtengamos i. #D GERFER NPOJR, uebemos planteainos una estiategia paia uemostiai i. 0bseivanuo las piemisas veiemos que la linea 2 uice que q#i, lo que significa que paia pouei uemostiai i, hay que tenei q, luego ahoia nuestio objetivo es obtenei q. Si seguimos obseivanuo las piemisas uescubiimos que en la linea 1 se afiima que p#q, es uecii que si p fueia veiuaueia, entonces lo seiia q. Si iecapitulamos un poco, compienueiemos entonces que si 1 es veiuau, entonces
Felipe uaiiiuo Beinabeu http:antesuelascenizas.com
S6 es veiuau A, y que si A es veiuau, entonces lo es 4, que es lo que queiemos uemostiai ue momento. Asi que el pioblema ue obtenei 4 se ieuuce a aveiiguai si 1 es veiuaueia o no. #D FPJRGC NPOJR, iesulta que +# .!.#'0! 1 es veiuaueia, pues est en la linea S, en un supuesto que acabamos ue abiii, y que touavia no se ha ceiiauo. Esto significa que en la linea 4 pouemos esciibii q aplicanuo el Nouus Ponens en las lineas 1 y S. Como ahoia ya tenemos la A que necesitamos paia afiimai 4, pouemos esciibii 4 en la linea S, aplicanuo el Nouus Ponens en las lineas 2 y 4. #D ZPHDGC NPOJR, una vez llegauos a 4 FERRJLCU EN UPVPEUGC y en la siguiente linea afiimamos lo que pietenuiamos uemostiai, a sabei, que $) 1 fueia veiuau, entonces tambin lo seiia 4, o lo que es lo mismo: p#i. En este punto pouemos uai el ejeicicio poi teiminauo poique hemos obteniuo la foimula que se nos piue en la conclusion. 0bsivese que cuanuo se inuica que se ha usauo la iegla TB o (I#), los nmeios ue linea no se sepaian poi comas, sino poi un guion, pues no nos iefeiimos a uos lineas aislauas, sino a touo el supuesto, uesue que se abie hasta que se cieiia.
Felipe uaiiiuo Beinabeu http:antesuelascenizas.com
S7 0EONJU XE NJ XHUYPDFHTD :"; #NHLHDJFHTD XE NJ XHUYPDFHTD :#"; C /RPEMJ VCR FJUCU :.JU"; A uifeiencia ue las conjunciones, las uisyunciones nos uan muy poca infoimacion. Poi ejemplo, si s que maana llovei o nevai, no s iealmente qu tiempo hai, simplemente s que como minimo una ue esas opciones sei veiuaueia. Si, en cambio, supieia que maana llovei / nevai, mi infoimacion sobie el clima ue maana seiia bastante completa. Esta es la iazon poi la que la uisyuncion, no pueue sei eliminaua con faciliuau. En el caso ue la conjuncion sabemos que sus uos timinos son veiuaueios, poi lo tanto pouemos afiimai cualquieia ue ellos poi sepaiauo. Peio en el caso ue la uisyuncion, sabemos que, ,- .#'!$ uno ue sus timinos es veiuaueio, peio no sabemos cul. La logica no pueue coiiei iiesgos, y ante una uisyuncion como A"B, nos piohibe hacei apuestas, ue mouo que JPDZPE UEVJLCU ZPE )"9 EU IERXJXa HODCRJLCU UH ) EU IERXJXERJ C NC EU 9a C NC UCD JLMJU. Entonces, como pouemos ueshaceinos ue una uisyuncion. Si no se nos ua infoimacion auicional, no hay maneia ue sabei cul ue los timinos ue una uisyuncion es veiuaueio. Sin embaigo es posible que uescubiamos que EU HRRENEIJDGE FP]N XE ENNCU UEJ IERXJXERC. Paia compienuei esto, imaginemos que estamos en una isla uesieita (no impoita como hemos llegauo alli, simplemente estamos ;#4+)+!$). Bescubiimos que en la isla no hay naua que comei, poi lo que ueuucimos que si nos queuamos alli acabaiemos muiienuo ue hambie. Beciuimos entonces salii nauanuo. Peio cuanuo nos uisponemos a saltai al agua obseivamos cientos ue tibuiones o otias bestias temibles espeianuo hincainos el uiente, ue mouo que concluimos con iapiuez que si tiatamos ue salii ue la isla moiiiemos uevoiauos. Nos encontiamos, en ese momento, ante la siguiente uisyuncion: o bien me queuo en la isla, o bien salgo nauanuo. No sabemos qu vamos a hacei, aunque sabemos que no hay otias opciones. Be touos mouos, concluimos, es HRRENEIJDGE lo que hagamos, poique, ue un mouo u otio moiiiemos. Asi que, aunque no sepamos cul ue los uos miembios ue la uisyuncion se cumplii, si sabemos que ambos tienen una consecuencia comn; concluimos, entonces, que vamos a moiii. La iegla que tan uiamticamente nos ha libiauo ue la uisyuncion es la eliminacion ue la uisyuncion (E") o Piueba poi Casos (Cas.), y afiima que si los miembios ue una uisyuncion implican la misma foimula, pouemos sustituii uicha uisyuncion poi la foimula implicaua poi sus uos timinos. En simbolos: A"B A C B C C
Felipe uaiiiuo Beinabeu http:antesuelascenizas.com
S8
Salta a la vista, en piimei lugai, que la eliminacion ue la uisyuncion (E") o Piueba poi casos (Cas) REFPRE UHELVRE J XCU UPVPEUGCU. En efecto, paia uemostiai que ue A"B se sigue C, hay que uemostiai que C se sigue ue A, y que C se sigue 0,.9)E' ue B. Esto significa que, si suponemos que A es veiuaueia y llegamos a C, y luego suponemos que B es veiuaueia y tambin llegamos a C, pouiemos afiimai C, inuepenuientemente ue que ignoiemos cul ue las uos opciones es veiuaueia (o si lo son las uos). Si no puuiiamos alcanzai la misma foimula uesue A y uesue B, la iegla no pouiia sei aplicaua. 0n ejemplo sencillo ue aplicacion ue la Piueba poi Casos: 1) p"q |- i 2) p#i S) q#i 4. p S. i _________________ NP 2,4 6. q 7. i _________________ NP S,6 8. i _________________ Cas. 1, 4-S, 6-7
Como vemos, el ejeicicio nos piue que lleguemos a la conclusion 4 a paitii ue las piemisas uauas. 0bseivamos en las lineas 2) y S) que paia que 4 sea veiuaueia, uebe sei veiuau 1 o A. En efecto, si 1 fueia veiuau, poi NP, pouiiamos obtenei 4, y silo fueia A tambin pouiiamos obtenei 4 poi el mismo pioceuimiento. El pioblema es que no sabemos si 1 es veiuaueia o lo es A, o lo son ,.9,$. Lo nico que sabemos es lo que nos uice la piemisa 1), a sabei que _al menos una ue ellas es veiuaueia. La cuestion es iealmente impoita cul ue ellas lo sea. La iespuesta es no, pues inuepenuientemente ue cul ue ellas sea veiuau, 4 siempie lo sei. Esto es lo que hay que uemostiai. 0na vez que hemos compienuiuo que hay que uemostiai que tanto ue p como ue q se sigue i, comenzamos una piueba poi casos. En la linea 4 suponemos 1 poique es el piimei miembio ue la uisyuncion ue la linea 1). vamos a 14!9,4 que #' (,$! ue que 1 fueia veiuau (lo que ignoiamos), tambin seiia veiuau i. Abieito el supuesto en p, no lo ceiiaiemos hasta llegai a nuestio objetivo, que es 4. Peio afoitunauamente pouemos esciibii 4 ya en la linea S, pues como +# .!.#'0! y D,$0, A&# $# ()#44# #- $&1&#$0!, 1 es veiuaueia, pouemos aplicai la iegla uel Nouus Ponens entie las lineas 2) y 4. Ceiiamos ahoia el supuesto abieito en 4 y seguiuamente pasamos a 14!9,4 el !04! (,$!. Suponemos q en la linea 6 poique es el segunuo miembio ue la uisyuncion ue 1) y queiemos mostiai que, al igual que su compaeio 1, A tambin nos conuuce a 4. Enseguiua esciibimos i en la linea 7 y ceiiamos el supuesto abieito en 6, poi la misma iazon que en el piimei caso. Como tanto uesue 1 como uesue A hemos conseguiuo ueiivai 4, en la linea 8 afiimamos sin temoi 4, inuicanuo que hemos aplicauo la iegla Cas. (tambin pouemos llamaila E"). A continuacion uel nombie ue la iegla, inuicamos en qu linea est la uisyuncion que eliminamos (en este caso en la linea 1), a continuacion inuicamos la linea que abie el piimei
Felipe uaiiiuo Beinabeu http:antesuelascenizas.com
S9 caso y la linea que lo cieiia, sepaiauas poi un guion, y finalmente esciibimos la linea en que se abie el segunuo caso y la linea en la que se cieiia, tambin sepaiauas poi un guion. Y ya est.
-DGRCXPFFHTD XE NJ XHUYPDFHTD :-"; C )XHFHTD :)X"; La intiouuccion ue la uisyuncion (I"), tambin uenominaua 'Auicion' (Au.) uice que, si sabemos que una foimula A es veiuaueia, entonces pouemos conveitiila en cualquiei uisyuncion, siempie y cuanuo esa misma foimula sea una ue los timinos ue uicha uisyuncion. En simbolos: A o bien B A"B A"B
Paia consiueiai veiuaueia a una uisyuncion, 9,$0, que sepamos que uno ue sus miembios es veiuaueio (vei tabla ue veiuau ue la uisyuncion). Asi que si sabemos que la foimula A es veiuaueia, entonces sabemos que es veiuaueia cualquiei uisyuncion con tal ue que A sea uno ue sus miembios. Esto significa que a la foimula A pouemos ,L,+)4-# cualquiei otia foimula siempie que las conectemos meuiante el uisyuntoi ("). 0n ejemplo cotiuiano e infoimal ue aplicacion ue esta iegla seiia el siguiente: supongamos que una taiue, al llegai Fulanito a casa, su mauie le piegunta si ha estauo estuuianuo en la biblioteca como piometio. Fulanito no ha estauo estuuianuo en la biblioteca, sino juganuo a las caitas, peio no se lo quieie uecii a su mauie poique sabe que se enfauai. Sin embaigo Fulanito es incapaz ue mentii a su mauie pues se lo impiue su noble natuialeza. Finalmente iecuiie a la intiouuccion ue la uisyuncion y le uice a su mauie que ha estauo estuuianuo ! juganuo a las caitas. Fulanito no miente, pues si es veiuau que ha estauo juganuo a las caitas, tambin es veiuau que ha estauo estuuianuo ! juganuo a las caitas. La mauie ue Fulanito alaba su ingenio y, como iecompensa, lo castiga 1!4 -)$0!. 0na aplicacion ms foimal:
1) p |- p"q 2. p"q _________ Au. 1
En el ejemplo obtenemos la conclusion p"q inmeuiatamente en la linea 2 aplicanuo la iegla ue Auicion o intiouuccion ue la uisyuncion a la linea 1. En efecto, si 1 es veiuau, como afiima la piemisa 1), entonces p"q tiene que sei veiuau tambin, pues paia que p"q sea veiuau basta que uno ue sus miembios lo sea.
Felipe uaiiiuo Beinabeu http:antesuelascenizas.com
4u 0EONJU XE NJ DEOJFHTD :[; #NHLHDJFHTD XE NJ DEOJFHTD :#[; C +CMNE &EOJFHTD :+&; Segn esta iegla, si una foimula apaiece uoblemente negaua, pouemos afiimaila. En simbolos:
A A La iegla es eviuente: si no es veiuau que no es veiuau A, entonces A es veiuau. En la pictica nos peimite afiimai una foimula siempie que est negaua una nmeio 1,4 ue veces. 0na aplicacion inmeuiata ue la iegla: 1) p |- p 2. p ______________ BN, 1
-DGRCXPFFHTD XE NJ DEOJFHTD :-[; C 0EXPFFHTD JN )MUPRXC :)MU"; La intiouuccion ue la negacion o Reuuccion al Absuiuo, nos peimite negai una foimula A siempie que uemostiemos que, ue sei veiuaueia tal foimula, se seguiiia una contiauiccion. En simbolos: A B!B A Como vemos, la aplicacion ue la foimula nos exige $&1!'#4 -! (!'04,4)! +# -! A&# A#.!$ +#.!$04,4, ue mouo que si queiemos uemostiai A, suponuiemos A, y si queiemos uemostiai A, suponuiiamos A (cuya negacion A se conveitiiia en A aplicanuo BN). En segunuo lugai, si suponemos una foimula con la intencion ue uemostiai su contiaiio, tenemos que llegai, necesaiiamente a una contiauiccion, y no impoita a qu contiauiccion lleguemos, pues touas son igualmente falsas. 0na contiauiccion es siempie una conjuncion foimaua poi una foimula cualquieia / poi su negacion. Las siguientes foimulas son touas ellas contiauicciones, ue mouo que cualquieia ue ellas seiviiia paia ceiiai una ieuuccion al absuiuo: p!p (p#q) ! (p#q) (p"p)!(p"p) [s#(t!q)]![s#(t!q)]
Felipe uaiiiuo Beinabeu http:antesuelascenizas.com
41 Lo que est afiimanuo esta iegla es que una foimula que nos conuuce a una contiauiccion, no pueue sei veiuaueia y, poi lo tanto, tiene que seilo su negacion. Tambin, en la viua cotiuiana, en cuanto uescubiimos que alguien se contiauice, le negamos toua cieuibiliuau. La logica nos piohibe aumitii naua que nos lleve a contiauicciones, pues si aumitiiamos una contiauiccion, qu no estaiiamos uispuestos a aumitii. 0n ejemplo sencillo ue aplicacion ue esta iegla: 1) p#i |- p 2) q!i S. p 4. i ________ Simp. 2 S. i _______ NP 1, S 6. i!i_____Piou. 4,S 7. p ______ Abs S-6
En esta ueiivacion se nos piue que uemostiemos F1. 0bseivanuo las piemisas compiobamos que no pouemos ueuucii 1 uiiectamente ue ninguna ue ellas poique ninguna ue ellas contiene a F1. Puesto que la piueba uiiecta es imposible, pouemos ensayai una estiategia inuiiecta. Aplicai la iegla ue ieuuccion al absuiuo es como llegai a nuestio uestino, peio poi la pueita ue atis: neganuo lo que queiemos uemostiai. Asi que en la linea S abiimos un supuesto con la negacion ue F1, que es 1. Bay que tenei en cuenta que este supuesto no lo hemos abieito con la intencion ue intiouucii una implicacion (I# o TB) ni estamos enfiascauos en una piueba poi casos. Es impoitante iecoiuai esto poique solo ceiiaiemos el supuesto cuanuo hayamos llegauo a una contiauiccion. vemos que en la piemisa 1) apaiece 4 como el consecuente uel conuicional 1#4. Poi otia paite, en la piemisa 2) 4 apaiece como uno ue los timinos ue una conjuncion. Si consiguiiamos afiimai 4 y F4 a la vez tenuiiamos la contiauiccion ueseaua. Peio paia pouei afiimailas , -, 8#:, tenemos antes que afiimailas poi sepaiauo. En la linea 4 vemos que 4 pueue sei afiimaua sin mayoi pioblema aplicanuo la eliminacion ue la conjuncion o Simplificacion en la linea 2. En efecto, si en la linea 2) se uice que A y 4 son veiuaueias en conjuncion, entonces no uebemos tenei iepaios paia afiimai 4 en solitaiio. Afiimai F4 tampoco es ninguna pioeza logica, pues como en la linea S hemos supuesto 1 y este supuesto 0!+,8K, '! #$0J (#44,+!, pouemos actuai como si 1 fueia veiuaueia. Peio en la linea 1) uice que si 1 es veiuaueia, entonces tambin lo es F4, poi lo tanto, en la linea S afiimamos F4 sin iemilgos, aplicanuo un opoituno Nouus Ponens al conuicional ue la linea 1, cuyo anteceuente se encuentia en la linea S. 0na vez que hemos afiimauo poi sepaiauo 4 (en la linea 4) y F4 (en la linea S), es hoia ue unii ambas foimulas paia obtenei una flamante
Felipe uaiiiuo Beinabeu http:antesuelascenizas.com
42 contiauiccion. Como la iegla ue intiouuccion ue la conjuncion o piouucto nos peimite unii cualesquieia uos foimulas pieviamente afiimauas, aplicamos uicha iegla en las lineas 4 y S, ue mouo que en la linea 6 pouemos esciibii 4!F4. Tenemos ya afiimaua una contiauiccion en la linea 6. Peio una contiauiccion es una afiimacion bastante insolita, pues nauie estaiia uispuesto a cieei que 4 y F4 son veiuaueias , -, 8#:. Llegauos a este callejon sin saliua, no pouemos continuai, sino que estamos obligauos a ceiiai el supuesto en esa misma contiauiccion y negai la foimula que nos conuujo a l, que en este caso es 1, poi lo que, en la siguiente y ltima linea, esciibimos F1, que eia lo que queiiamos uemostiai. No olviuemos inuicai que hemos obteniuo F1 meuiante una aplicacion ue la iegla ue intiouuccion ue la negacion (I) o Reuuccion al Absuiuo (Abs.). Bay que inuicai, auems, la linea en la que se abie el supuesto que nos lleva a la contiauiccion, y la linea en la que se cieiia el supuesto poi contenei una foimula contiauictoiia, ambas sepaiauas poi un guion.
Felipe uaiiiuo Beinabeu http:antesuelascenizas.com
4S $CU UPVPEUGCU6 7)b :"#$%&$'()* ,-.$/ 0&$-(12'-; H5M NO&E 1&#+! $&1!'#4P Se pueue suponei cualquiei foimula, poi compleja o simple que sea, est o no en las piemisas o en la conclusion, haya apaieciuo en alguna linea o no, incluso aunque ya haya siuo supuesta antes; uespus ue touo, suponei es giatis. Tngase en cuenta que al suponei una foimula solo estamos uicienuo que +# .!.#'0! la consiueiaiemos veiuaueia paia compiobai qu se sigue ue ella. Peio ese supuesto $)#.14# ha ue sei ceiiauo o cancelauo en algn momento. I5M NO&E +#9! $&1!'#4P Eso uepenue ue qu iegla pietenuas aplicai y a uonue quieias llegai. o Si quieies uemostiai un conuicional, tenuis que aplicai el Teoiema ue Beuuccion o I#. En ese caso, uebes suponei el anteceuente uel conuicional que quieies uemostiai. o Si quieies eliminai una uisyuncion, uebes suponei los uos timinos ue la uisyuncion que tiatas ue eliminai. o Si quieies hacei una ieuuccion al absuiuo, suponuis lo contiaiio ue lo que quieies uemostiai, poi paiauojico que te paiezca. Q5M N>&J'+! +#9! $&1!'#4 ,-6!P Cuanuo lo necesites, peio tenienuo en cuenta que siempie que suponemos algo es poique vamos a aplicai alguna ue las ieglas que nos exigen hacei un supuesto y que ese supuesto uebe sei ceiiauo en algn momento. R5M N>&J'+! +#9! (#44,4 &' $&1&#$0!P Bepenue ue poi qu lo hayamos abieito. Solo hay ties ieglas que nos exigen abiii un supuesto, y caua una ue ellas nos uice cunuo ceiiailo: o Si abiimos el supuesto paia HDGRCXPFHR PDJ HLVNHFJFHTD, habiemos supuesto el anteceuente ue la implicacion que queiemos, y ceiiaiemos el supuesto cuanuo hayamos obteniuo el consecuente ue uicha implicacion. Be mouo que el supuesto se abie en el anteceuente y se cieiia en el consecuente. En la siguiente linea, y %, +#- $&1&#$0!, esciibimos el conuicional que hemos constiuiuo, poi I# o TB. o Si abiimos el supuesto poique estamos aplicanuo una piueba poi casos, tenemos que tenei en cuenta que uicho supuesto uepenue ue una uisyuncion. 0na uisyuncion siembie tiene la foima A"B, sienuo A y B uos foimulas cualesquieia. Si estamos hacienuo una piueba poi casos, suponuiemos A, ceiiaiemos ese supuesto, y luego suponuiemos B, supuesto que tambin ceiiaiemos. Los uos supuestos ueben sei ceiiauos al llegai a la misma foimula, poi lo tanto, no ceiiaiemos el piimei supuesto hasta que no lleguemos a una foimula que tambin pueua sei alcanzaua uesue el segunuo supuesto.
Felipe uaiiiuo Beinabeu http:antesuelascenizas.com
44 o Si abiimos el supuesto poique estamos aplicanuo la Reuuccion al Absuiuo, habiemos supuesto -! (!'04,4)! ue lo que queiemos uemostiai. En este caso nuestio objetivo es siempie una contiauiccion, poi lo tanto no ceiiaiemos hasta que la hayamos obteniuo. S5M N;&#+! ,94)4 &' $&1&#$0! +#'04! +# !04! $&1&#$0!P Poi supuesto. Los supuestos uentio ue otios supuestos se llaman supuestos ,')+,+!$. Lo nico que hay que tenei en cuenta es que los supuestos inteiioies ueben ceiiaise antes que los exteiioies:
T5M N;&#+! &$,4 -,$ -K'#,$ )'0#4)!4#$ +# &' $&1&#$0!P 8HEDGRJU EN UPVPEUGC DC cJ UHXC FERRJXC, tanto la linea que lo abie como cualquieia ue las que siguen pueue sei usaua en la ueiivacion. Peio FPJDXC EN UPVPEUGC cJ UHXC FERRJXC C FJDFENJXC, ni la linea que lo abie, ni la que lo cieiia ni ninguna ue las inteiioies pueue volvei a usaise.