1Lgicaproposicional

1.1Ellenguajedelalgicaproposicional

1.1.1Proposicionesatmicasyproposicionesmoleculares

Lalgicaproposicionaltratasobrelaverdadolafalsedaddelasproposicionesydecmolaverdadse
transmitedeunasproposiciones(premisas)aotras(conclusin).Unaproposicineslaunidadmnimade
significadosusceptibledeserverdaderaofalsa.

Unapalabraaislada,porsmisma,nonosdicenada.Lapalabra"perro"tieneunareferencia,perononosda
ningunainformacinsinoesenelcontextodeunaproposicincomo"Elperroesthaciendocosasraras".
Porellounapalabra,amenosqueconstituyaunaproposicin,noesverdaderaofalsa.Slotienenvalorde
verdadlasproposiciones.

Debemosdistinguirdostiposdeproposiciones:lasproposicionesatmicasylasproposiciones
moleculares.Lasproposicionesatmicassonaqullasquenosecomponendeotrasproposiciones.La
proposicin

Todosloshombressonmortales

esunaproposicinatmicaporqueningunodesuselementoscomponentesesunaproposicin.Como
podemosobservar,unaproposicinatmicaesverdaderaofalsa,ysuverdadofalsedadnodependede
otrasproposiciones,sinodecmoeslarealidad.Sihubieraalgnhombreinmortal,laproposicindel
ejemploserafalsa.

Lasproposicionesmolecularessonaqullasqueestncompuestasporproposicionesatmicas.Unejemplo
deproposicinmolecularsera:

Voyacomprarpanyatomaruncaf

Laproposicindelejemploesmolecularporquesecomponededosproposicionesatmicas:

Voyacomprarpan

Voyatomaruncaf

Estasdosproposicionesatmicasestnconectadasmediantelapartcula"y".Unaproposicinmolecular
serverdaderaofalsa,peroadiferenciadeloqueocurreconlasproposicionesatmicas,suverdado
falsedadnodependedirectamentedelarealidad,sinoquedependeoesfuncindelaverdadofalsedadde
lasproposicionesatmicasquelacomponen.Estosignificaquesiquierosabersiesverdaderoofalsoque
voyacomprarpanyatomaruncaf,esnecesarioqueconozcalaverdadofalsedadde"voyacomprar
pan"yde"voyatomaruncaf"porseparado.

1.1.2Conectivaslgicas

Lasproposicionesatmicaspuedencombinarsedediferentesformasparadarlugaraproposiciones
moleculares.Loselementosquesirvenparaconectarlasproposicionesatmicasentressellaman
conectivaslgicas.Lasconectivaslgicasnosdicencmoafectaelvalordeverdaddelasproposiciones
atmicasalvalordeverdaddelasproposicionesmoleculares.Yahemosvistoqueenellenguajenatural,la
conjuncin"y"funcionacomounaconectivalgica.As,cuandodecimos:

Lasfloressonplantasyloserizosaves

estamosconectandolaproposicinatmica"lasfloressonplantas"conlaproposicinatmica"loserizos
sonaves"mediantelaconectivalgica"y".La"y"nosestdiciendoquelaproposicinmolecular"Las
floressonplantasyloserizosaves"sloesverdaderasilasdosproposicionesatmicasquelacomponen
sonambasverdaderas,yserfalsaencasodeque,almenosunadeellas,seafalsa.Comosabemosquelos
erizosnosonaves,podemosconcluirquelaproposicin"Lasfloressonplantasyloserizosaves"esfalsa.

Probemosacambiarlaconectivalgicadelejemplo,yconectemoslasdosproposicionesatmicasdel
siguientemodo:

Lasfloressonplantasoloserizossonaves

Ladisyuncin"o"tambinfuncionaaqucomounaconectivalgicaynosestdiciendoquelaproposicin
molecular"lasfloressonplantasoloserizossonaves"esverdaderasialmenosunadelasproposiciones
atmicasquelacomponenesverdadera.Sabemosqueloserizosnosonaves,perocomolasfloressson
plantas,concluimosquelaproposicinmoleculardelejemploesverdadera.

Comovemos,lasconectivaslgicasfuncionancomooperadoresmatemticos.Enmatemticashay
smboloscomo"+"y"".Decir"1+1"noeslomismoquedecir"11".Cadaoperadorasignaunvalor
distintoalamismacombinacindesmbolos,demodoquealaprimeracombinacin(1+1)lecorresponde
el2yalasegunda(11)lecorrespondeel0.Delmismomodo,enlgica,alaproposicin"Lasfloresson
plantasyloserizosaves"lecorrespondeelvalordeverdadV(verdadero)yalaproposicin"Lasfloresson
plantasoloserizossonaves"lecorrespondeelvalordeverdadF(falso).

Enelclculolgicoquenosotrosvamosaestudiar,haycuatroconectivaslgicas.Yahemosvistodos:la
conjuncinyladisyuncin.Unaterceraformadeconectardosproposicionesatmicassera:

Silasfloressonplantasentoncesloserizossonaves

Estaformadeconectardosproposicionesnosindicaqueunadeellaseslacondicindelaotrayporesola
conectivacorrespondientesellama"condicional"o"implicador".Laprimeraproposicin(Lasfloresson
plantas)eslacondicinquesehadecumplir,ynosreferiremosaellacomoantecedente;lasegunda
proposicin(loserizossonaves)eslocondicionado,ynosreferiremosaesteelementodelcondicional
comoconsecuente.

Encuartolugartenemoslanegacinque,aplicadaaunaproposicinatmica,simplementeinviertesu
valordeverdad,demodoquesilaproposicinatmica

Loserizossonaves

esfalsa,entonceslaproposicinmolecular

Loserizosnosonaves

serverdadera.Quizsorprendaqueconsideremosmolecularlaproposicin"loserizosnosonaves",pues
quenosecomponededosproposicionesatmicas,sinodeuna.Larazndequedichaproposicinsea
molecularynoatmicaesqueunodesuselementoscomponentes(asaber,laproposicin"loserizosson
aves")esunaproposicinatmica.Obsrvesequelanegacinnomodificaelsignificadodelaproposicin
negada,sinonicamentesuvalordeverdad.Estafaltadesignificadoesunrasgoesencialdelasconectivas
lgicas.

1.1.3Smbolosdelalgicaproposicional

Comoocurreenotrasciencias,esnecesarioenlgicautilizarunlenguajesimblicoespecialqueelimine
losrasgosquenonosinteresanypongandemanifiestolosquesnosinteresan.Enlgicanosinteresa
sabercmoestncombinadaslasproposiciones,ynonosinteresaenabsolutosusignificado.Porello
necesitamosunossmbolosque,prescindiendodelsignificadodelasproposiciones,nosindiquenlaforma
enquesecombinan.Estossmbolosconstituyenunlenguajeformal.

Enprimerlugar,lasproposicionesatmicaspuedensersustituidasporloquellamaremosvariables
proposicionales,quesernlasletras

p,q,r,s

Laoperacinconsistenteensustituirlasexpresionesdellenguajenaturalporsmboloslgicossellama
formalizacin.Alaproposicindebidamenteformalizadalallamaremosfrmula.Segnlodicho,la
formalizacindelaproposicinatmica

Loserizossonaves

ser,simplemente,lafrmula

Porsuparte,acadaconectivalgicalecorrespondeunsmbolo,comoquedaresumidoenlasiguiente
tabla:

Conectiva

Conjuncin

Diyuncin

Implicacin

Negacin

1.2Sintaxis:Frmulasbienformadas(fbf)
Todosloslenguajessecomponendeunossmbolosydeunasreglassintcticasquenosindicanqu
combinacionesdesmbolossoncorrectasyculesnoloson.Porejemplo,encastellanonopodemosdecir:

Misamigosyyovoyalcine

Laoracindelejemploestmalformadaporquenohaylaconcordanciadebidaentreelnmerodelsujeto
(plural)yelnmerodelverbo(singular).Tambinenmatemticashayunasreglasquenosindicanqu
combinacionesdesmbolospodemoshacer,demodoquesinospresentaranlosiguiente:

%=4+(78)

nosabramosquhacersimplementeporquelaexpresinestmalformada,norespetalasreglasde
formacindefrmulasmatemticas.Delmismomodo,cualquiercombinacindesmboloslgicosno
constituyeunafrmulabienformada.Asporejemplo,noestnbienformadaslasfrmulas

Ap

vpvq

p>

etc

Noesdifcildescubririntuitivamente,apartirdeejemplos,qufrmulasestnbienformadasenlgicasy
culesno,peronoestdemsofrecerlassiguientesreglasparalaformacindefrmulasbien
formadas(fbf):

Regla1:Todaproposicinatmicaesunafbf

Regla2:SiAesunafbf,entoncesAtambinesunafbf

Regla3:SiAyBsonfbf,entonces(A?B),(A?B)y(A?B)tambinsonfbf

1.3Formalizacindeproposiciones
Acontinuacincomentaremosalgunosejemplosdeformalizacin.Comenzaremosporunosejemplos
sencillos,queagruparemosencuatrobloques,segnlaconectivalgicausada,yacontinuacin
presentaremosalgunosejemplosmscomplejosenlosquecombinaremosvariasconectivas.

1.3.1Formalizacindelaconjuncin

Proposicinenlenguajenatural:Losperrossonlistosylosgatosegostas.p=losperrossonlistos

q=losgatossonegostas

Formalizacin:pAq(selee"pyq")

Proposicinenlenguajenatural:Estudiar,perotambinverlatelep=estudiar
q=verlatele

Formalizacin:pAq

Comentario:Aunqueenlaproposicinenlenguajenaturalnoaparecelapartcula"y",sientendemosel
sentidodelamisma,veremosqueloquenosestdiciendoesqueestudiaryverlatele.El"perotambin"
esunaconjuncin,aunquelosmaticesquetieneenellenguajenatural(digamosquetieneunsentido
_adversativo)sepierdenalformalizarla.

Proposicinenlenguajenatural:Ademsdecomertarta,bebersidra.p=comertarta

q=bebersidra

Formalizacin:pAq

Comentario:Vemosqueaqutampocoaparecela"y",sinembargolaproposicinnosestdiciendo
simplementequecomertartayquebebersidra.El"adems"aadeunmatizquenonosinteresadesdeun
puntodevistalgico.Alalgicasloleinteresaenqucondicionesesverdaderaofalsalaproposicin
"Ademsdecomertarta,bebersidra",resultaqueesaproposicinsloesverdaderasicomotartaybebo
sidra.Esoeslonicoquehadequedarreflejadoenlaformalizacin.

Proposicinenlenguajenatural:Escompletamenteciertoquevoyaasistiralareuninyqueluegomeir
defiesta.

p=voyaasistiralareunin

q=despusdelareuninmeirdefiesta

Formalizacin:pAq

Comentario:Comovemos,el"escompletamentecierto"queapareceenlaproposicinenlenguajenatural,
novuelveaaparecer.Larazndeelloesquenoaadenadaalsignificadodelasproposicionesatmicas,
sinoquesimplementesirveparareforzarlaideadequeesciertoloquedigo.Perodesdeelpuntodevista
delalgicadeenunciados,laproposicindelejemploesequivalentealaproposicin"voyaasistirala
reuninyluegomeirdefiesta".

Proposicinenlenguajenatural:PedroyMaravanalcinetodoslossbados.p=Pedrovaalcinetodoslos
sbados

q=Maravaalcinetodoslossbados

Formalizacin:pAq

Comentario:Aunqueparecequeslohayunaproposicinenelejemplo,hayqueadvertirqueenrealidad
sondos,puesparaqueseaverdaderatienequeserverdadquePedrovaalcinelossbadosyqueMarava
alcinelossbados.

1.3.2Formalizacindeladisyuncin

Proposicinenlenguajenatural:Voyalcineovoyalteatrop=voyalcine
q=voyalteatro

Formalizacin:pvq(selee"poq")

Proposicinenlenguajenatural:Obienvoyalcine,obienvoyalteatrop=voyalcine

q=voyalteatro

Formalizacin:pvq

Comentario:Aveces,cuandonosestamosiniciandoenlaformalizacin,puedequetengamoslatentacin
deformalizarlaproposicindeesteejemplodelsiguientemodo:(vpvq).Estoesunerrorgarrafal,pues,
comoyahemosdicho,nosetratadetraducirpalabraporpalabra,sinodeexpresarlaformalgicadela
proposicin.Enlaproposicindelejemploestamosdiciendoquesemeplanteandosopciones;una,iral
cine;otra,iralteatro;yalmenosunadeellasdebecumplirse.Estoesunadisyuncindetodalavida,por
msquelareforcemosconel"Obienobien",porlotantoseformalizaexactamenteigualqueladel
ejemploanterior.

1.3.3Formalizacindelcondicional

Proposicinenlenguajenatural:SiMishaesungato,entoncesescupirbolasdepelo.

p=Mishaesungato

q=Mishaescupirbolasdepelo

Formalizacin:p>q(selee"sipentoncesq""pimplicaq")

Proposicinenlenguajenatural:Sivasalaplaya,tebroncears.p=vasalaplaya

q=tebroncears

Formalizacin:p>q

Comentario:Aunquenoaparezcaliteralmenteel"entonces",comoloqueestamostraduciendonosonlas
palabras,unaporuna,sinolaformalgica,esevidentequebastael"si"inicialparaindicarnosel
condicional.

Proposicinenlenguajenatural:SlosiMishaesungato,escupirbolasdepelop=Mishaesungato

q=Mishaescupirbolasdepelo

Formalizacin:q>p

Comentario:Obsrvesequeestecondicionalseformalizaalrevsqueeldelejemploanterior.Enla
proposicin"SiMishaesungato,entoncesescupirbolasdepelo"noexcluimoslaposibilidaddeque
otrosanimales,apartedelgato,escupanbolasdepelo.Mishapodraseruntigreyescupirbolasdepelo.
Laproposicinnicamenteafirmaque,independientementedequehayaotrosanimalesqueescupanbolas
depelo,siMishaesungato,tambinlohar.Ahorabien,siloquedigoesqueSolosiMishaesungato,
escupirbolasdepelo,estoyexcluyendolaposibilidaddequeotrosanimales,apartedelgato,escupan
bolasdepelo.Paraexpresarestoformalmente,tengoqueinvertirelcondicional,puesahora,adiferencia
delejemploanterior,estoydiciendoquesiMishaescupebolasdepeloentoncesesqueesungato.Ntese
queestaltimaproposicinnoimplicaquehayagatosquenoescupanbolasdepelo.

Proposicinenlenguajenatural:Pgameytendrstumerecidop=pgame

q=tendrstumerecido

Formalizacin:p>q

Comentario:Avecesellenguajenaturalpuedeconfundirnos.Enestecasolapartcula"y"nofunciona
comouncondicional,pueslaproposicinnoestafirmandoquemehayaspegadoyqueademstehaya
dandotumerecido.Laproposicindelejemplopuedeserverdaderasinquenadiesufraningndao,pues
tieneunsentidocondicional.Enrealidadestafirmandoquesimepegas,entoncestendrstumerecido.

Proposicinenlenguajenatural:Asistiraclaseescondicinnecesariaparaaprobar.

p=seasisteaclaseq=seapruebaFormalizacin:q>p

Comentario:Probablementelaformalizacinestalrevsdeloqueesperbamos,peroescorrecta.Sidigo
quealgoesunacondicinnecesariaparaaprobar,estoydiciendoqueesunrequisitoimprescindible
necesario,peroquenoessuficienteparaaprobar,esposiblequeademsdeasistiraclasehayaquehacer
algntrabajo,porejemplo,oaprobarunexamenEstosignificaqueaunquesecumplaunacondicin
necesaria,noporelloseaprobar,puespuedequenosecumplanotrascondicionesnecesarias.Loque
estclaroesquesinosecumple,aunquesecumplantodaslasdems,sesuspender.Enelejemplo
decimosqueasistiraclaseescondicinnecesariaparaaprobar.Estonosignifica

quesiasistoaclaseentoncesapruebo(p>q),puesesposiblequeasistaaclase

ynoapruebe.Loquesignificalaproposicinesquesiheaprobado,entonces

tienequeserverdadqueheasistidoaclase.

Proposicinenlenguajenatural:Asistiraclaseescondicinsuficienteparaaprobar.

p=seasisteaclaseq=seaprueba

Formalizacin:p>q

Comentario:Adiferenciadeunacondicinnecesaria,unacondicinsuficientesebastaporsmismapara
queelconsecuentedelcondicionalseaverdadero.Sidigoqueestudiarescondicinsuficienteparaaprobar
estoydiciendoquebastaestudiarparaaprobarelcurso,oloqueeslomismo,quesiestudioentonces
aprobarelcurso.Porlotantolaformalizacincorrectaes(p?q).Ntesequeunacondicinsuficienteno
tieneporqusertambinnecesaria,puespodrahaberotracondicinsuficienteparaaprobar.Podraser
queelprofesordijeraqueparaaprobarbastaveniraclaseohaceruntrabajo.Enesecasotantoveniraclase
comohaceruntrabajoserancondicionessuficientesparaaprobar,perononecesarias,puescualquierade
ellaspodranocumplirseyaprobar,siemprequesecumplalaotra.Porsuparte,lascondicionesnecesarias
notienentampocoporqusersuficientes.

Proposicinenlenguajenatural:Asistiraclaseescondicinnecesariaysuficienteparaaprobar.
p=seasisteaclaseq=seaprueba

Formalizacin:p<>q(selee"pcoimplicaq")

Comentario:Decirqueasistiraclaseescondicinnecesariaysuficienteparaaprobarsignificaquebasta
asistiraclaseparaaprobar,yquenohayotromododeaprobarapartedeasistiraclase.Enrealidadla
proposicinesequivalentea

afirmar(p>q)y(q>p)simultneamente.Estosignificaque

[(p>q)?(q>p)]=(p<>q)

Elsmbolo"?"sirveparaindicarestadobledireccindelcondicionalysellamabicondicional.Tambin
podraformalizarseconayudadelbicondicionallaproposicin

Siestudiasyslosiestudias,aprobars.

Proposicinenlenguajenatural:Tebesarsimeprometesamoreterno.p=tebesar

q=meprometesamoreterno

Formalizacin:q>p

Comentario:Lanicadificultaddeestaproposicinesqueparadarlemsefectoalconsecuente,sesitaen
primerlugar,peroesperfectamenteequivalentealaproposicin"simeprometesamoreterno,entonceste
besar"

1.3.4Formalizacindelanegacin

Proposicinenlenguajenatural:Novoyasolucionarteelproblemap=voyasolucionarteelproblema

Formalizacin:p

Proposicinenlenguajenatural:Noesciertoquehayaestadoenesecine.p=heestadoenesecine

Formalizacin:p

Comentario:el"noesciertoque"delejemplonoessinounaformareforzadadenegar,porlotantose
formalizacomounasimplenegacin,queesloquees.

Proposicinenlenguajenatural:Ningnhombrepuedevolarp=algnhombrepuedevolar

Formalizacin:p

Comentario:Enelejemplonoapareceexpresamentelapartcula"no",peroel

"ningn"expresanegacin,demodoquelaproposicindelejemplonoessinolanegacindela
proposicinatmica"algnhombrepuedevolar".

Proposicinenlenguajenatural:Nohaynadaenelcajnp=hayalgoenelcajn
Formalizacin:p

Comentario:Nohayqueentenderel"nohaynada"comounadoblenegacin,queseraequivalentea
afirmar,sinocomounanegacinreforzada,poresola

proposicinatmicaes"hayalgoenelcajn"ylaproposicindelejemplohadeinterpretarsecomola
negacindeesaproposicinatmica.

1.3.5Formalizacionescombinandotodaslasanteriores

Proposicinenlenguajenatural:Siestudiasyvienesaclase,entoncesaprobars.p=estudias

q=vienesaclaser=aprobars

Formalizacin:(pAq)>r

Comentario:Laproposicindelejemplodicequeparaaprobarhayquecumplirdoscondiciones:asistira
claseyestudiar.Estosignificaquetienequeserverdadqueestudiasyquevasaclaseparaqueseaverdad
queapruebas.Estoseformalizaconayudadelcondicional.Ntesequenoeslomismo"(pAq)>r"que"p
A(q>r)".Elsignificadodeunaproposicinpuedecambiarenormementesegncmousemoslos
parntesis.Aunqueexistenalgunasreglasparasimplificarelusodelosparntesis,demomentoesmejor
usarlossiempreparaevitarambigedades.

Proposicinenlenguajenatural:NoesciertoquevayaairaPoloniayqueestengordando.

p=voyairaPoloniaq=estoyengordando

Formalizacin:(pAq)

Comentario:Esimportantedarsecuentadequeenelejemplocomentadonoestoydiciendoquenovoyair
aPoloniayquenoestoyengordando.Loqueestoydiciendoesquenoesciertoquelasdosproposiciones
seanverdaderas,peroesonosignificaquelasdosseanfalsas;puedequeseaunaverdaderayotrafalsa.Lo
queestoynegandonoescadaunadelasproposicionesatmicas,sinolaconjuncindelasdos.

Proposicinenlenguajenatural:Niyobordopauelosnitrompescontratosp=yobordopauelos

q=trompescontratos

Formalizacin:pAq

Comentario:Adiferenciadelejemploanterior,enestecasosestamosnegandocadaunadelas
proposicionesatmicasdelaconjuncin,loqueenlenguajenaturalseexpresaconel"nini".Hayque
observarque"(p?q)"nosignificalomismoque"pAq",comotendremosocasindedemostrarms
tarde.

Proposicinenlenguajenatural:Sicopiasenelexamen,noaprobarsy,obiensersexpedientadoobien
tequedarscastigadotodoslosdasporlatarde.

p=copiasenelexamenq=aprobars
r=sersexpedientado

s=tequedarscastigadotodoslosdasporlatarde

Formalizacin:p>[qA(rvs)]

Comentario:Antesdeanalizarlaestructuradelaproposicin,convieneadvertirqueelusodecorchetes
([,])odeparntesis((,))obedecearazonesdeclaridadexpositiva.Simplementelafrmulaseleems
fcilmentesidistinguimoslosparntesismsexternosdelosmsinternosmedianteloscorchetes.Quede
dicho,noobstante,quepuedenusarsesloparntesis,sisedesea.Cindonosalaproposicindelejemplo,
observaremosquenosestadvirtiendodelasconsecuenciasdecopiarenelexamen,porellotieneuna
formacondicional.Enefecto,laproposicinnosdicequesicopiasenelexamen,entoncesteocurriralgo.
Concretamenteteocurrirnalmenosdoscosas,unadeellaslasabemossegura:noaprobars(q).Laotra
consecuencia,depende,pueshaydosopciones,puespuedesserexpedientado(r)osercastigado(s)(olas
doscosas)lacuestinesqueesasegundaconsecuenciatodavanosehaconcretado,poresoseexpresa
comounadisyuncin.Segnlodicho,sisecumplelacondicindecopiarenelexamen,entoncesno
aprobarsyocurriralgunadelasdosopcionesexpuestas(sersexpedientadooserscastigado).

Proposicinenlenguajenatural:NovoyairaPars,perosivoy,meacordardetiydetumadre.

p=voyaPars

q=meacordardeti

r=meacordardetumadre

Formalizacin:p>[pA(q>r)]

Proposicinenlenguajenatural:Sivasalcine,entonces,ocompraspalominasomeenvidiarssitienes
hambre.

p=vasalcine

q=compraspalomitasr=meenvidias

s=tieneshambre

Formalizacin:p>[qv(s>r)]

Comentario:Lacomplejidaddeestaproposicinradicaenelhechodequeelconsecuentedelcondicional
esunadisyuncinyunodelostrminosdeesadisyuncinesuncondicional,demodoquetenemosun
condicionaldentrodeotrocondicional.

Proposicinenlenguajenatural:Mequierasono,tendrsquesoportarmep=mequieres

q=tienesquesoportarme

Formalizacin:(pvp)Aq
1.4Tablasdeverdad
1.4.1Tablasdeverdaddelasconectivaslgicas

Formalizarunaproposicinessloelprimerpaso.Ahoratenemosqueanalizarlasfrmulasobtenidasen
relacinconsuverdadolafalsedad.Elvalordeverdaddelasproposicionesmolecularesdependedelvalor
deverdaddelasproposicionesatmicasquelacomponenydelasconectivaslgicas.Unaproposicin
atmicapuedeserverdaderaofalsa.Nosotrosadoptaremoslaconvencindereferirnosalvalordeverdad
"Verdadero"conelsmbolo"1"yalvalordeverdad"Falso"conelsmbolo"0".Podemosexpresarlos
posiblesvaloresdeverdaddeunaproposicinatmicamediantelasiguientetabla:

Estatablasignificaquelaproposicinatmica"p"(quepuedesercualquierproposicinatmica)puedeser
verdadera(1)ofalsa(2).Enrealidadnosabemossiesverdaderaofalsa,porqueesodependedesu
significado,quedesconocemos.Peroloquesabemoscontodaseguridadesquedebetenerunodeesos
valoresdeverdad.

Lacosasecomplicacuandopretendemosaveriguarlosposiblesvaloresdeverdaddeunaproposicin
molecular.Enefecto,laproposicinmolecular

pAq

puedeserverdaderaofalsa,perosuverdadofalsedaddependedelaverdadofalsedaddepydeq.As
pues,sipesverdaderaperoqesfalsa,(pAq)serfalsa,porejemplo.Acadacombinacindevaloresde
verdaddepydeq,lecorrespondeunvalordeverdadalaproposicincompleja.Podemosexpresaresto
conlasiguientetabladeverdaddelaconjuncin:

1
 0

Comovemosenlatabla,lafrmula(pAq)sloesverdaderacuandopesverdaderayqesverdadera,
siendofalsaentodoslosdemscasos.Podemosconfeccionarunatablasemejanteparatodaslasconectivas
lgicas:

Tabladeverdaddeladisyuncin

Comovemos,ladisyuncinsloesfalsaencasodequesusdostrminoslosean,yesverdaderaentodos
losdemssupuestos.

Tabladeverdaddelcondicional

1
 1

Latabladeverdaddelcondicionalsiemprecausaciertainquietudy,dehecho,hasidoobjetodecrticapor
partedemuchoslgicos.Nosotrosnoentraremosentalesdisquisicionesynosconformaremoscon
comprenderla,loqueyaesbastante.Loprimeroqueobservamosenlatabladelcondicionalesquesloes
falsoenuncaso:cuandoelantecedenteesverdaderoyelconsecuenciafalso.Enefecto,supongamosquea
principiodecursounprofesordiceasusalumnos:

Sivensaclaseentoncesaprobaris

Ahorasupongamosque,alfinaldecurso,undeterminadoalumno,trasasistirreligiosamenteatodaslas
clases,suspende.Diremos,enesecaso,queelprofesormintialprincipiodecursopueslaproposicin"si
vensaclaseentoncesaprobaris"esmanifiestamentefalsa,puesunalumnohaidoaclaseynoha
aprobado.

Loquesorprendedelatabladeverdaddelcondicionalnoesesto,sinoloscasosquelohacenverdadero.
Enelprimercasonoparecehaberproblema,puessielantecedenteesverdaderoytambinloesel
consecuente,nohayraznparanegarelcondicional:sehacumplidolacondicinytambinsehacumplido
locondicionado.

Elsegundocasomerecealgomsdeatencin.Enefecto,comovemosenlatabla,sielantecedenteesfalso
peroelconsecuenteesverdadero,elcondicionalesverdadero.Larazndeestoesqueelconsecuentedeun
condicionalpuedeserverdaderoindependientementedelantecedente.SiesverdadquesiPepitoestudia
entoncesaprueba,esonoexcluyequeapruebesinestudiar,puesaunenesecasoseguirasiendoverdadque
sihubieraestudiado,aprobara.

Eltercercasoenelqueelcondicionalesverdaderonocarecetampocodeinters.Sitantoelantecedente
comoelconsecuentesonfalsos,elcondicionalesverdadero.Hayquerecordarqueuncondicionalnoest
describiendounhechoactualmenteexistentedelmundo,sinoqueestableceunacondicinydiceque,enel
casodequesecumpliera,ocurriratalocualcosa.Queelantecedenteyelconsecuenteseanfalsosno
excluyequesielantecedentehubierasidoverdaderotambinlohubierasidoelconsecuente.Siyono
estudioynoapruebo,noporesoesfalsoquesiestudio,entoncesapruebo.

Tabladeverdaddelanegacin

Comohemosvistoenapartadosanteriores,lanegacininvierteelvalordeverdaddelaproposicin
negada,talycomoseestableceenlasiguientetabla:

p
1

Esdecir,quecuandopesverdadera,pesfalsa,ycuandopesfalsa,pesverdadera.

Leerms:http://www.monografias.com/trabajospdf5/lalogicaproposicional/lalogica
proposicional.shtml#ixzz4ihLMzuqd