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&$2 ####################################################################################### ?
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 %,'-.)2##########################################################################################################3B

! "#$%&' )*+)+,%&%+-'.
!/! 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




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




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 #$




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






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












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.





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.

















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.

















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#-!.







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.











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.








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




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.









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).









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












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:







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.




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.




















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




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




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





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




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



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




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 \




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.





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.





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&#9, 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




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-)+!.
Referencias: 8/66-)9 3. F (2013). http:/ / antesdelascenizas.com