UNIDAD2:Nocionesbsicasdelalgica

Lalgica,entantodisciplina,estudialosrazonamientos.Seocupadeestudiarcundolosrazonamientosson"correctos".
EnestedocumentonosencargaremosenparticulardelaLGICAPROPOSICIONALSIMBLICA.
Razonamientos
Unrazonamientoesunconjuntodeproposiciones(dosoms)enelquesepretendequeunadeellas,llamadaCONCLUSINest
fundadaenlasotras,llamadasPREMISAS.Laspremisasproporcionanloselementosdejuiciosobreloscualesseafirmalaconclusin.
Enlgicaelrazonamientosesimplificaenpremisasylaconclusindebajodestas:
PREMISA1
PREMISA2
CONCLUSIN
LasPROPOSICIONESsernloquelasoracionesexpresan.Alidentificarlasdebemosreponeraquelloquemuchasvecesenlasoraciones
seomiteyseentiendeporelcontexto(comolossujetos,quepuedensertcitos,olosreferentesdelospronombres).Lasproposiciones
quedanapoyoalaconclusinsonlas"premisas"delrazonamiento.Paramarcarculeslaconclusinenlgica,seescribedebajodeuna
raya.
Lanocindevalidezyunaclasificacindelosrazonamientos
Existendistintostiposderazonamientos.ExistenlosllamadosRAZONAMIENTOSDEDUCTIVOS,ysedancuandolaspremisasson
verdaderasylaconclusintambin.Sondeductivosporqueenestetipoderazonamientoslaverdaddelaconclusinpuedeserinferida
fcilmente(deducida).Nopuedeexistirunrazonamientoconpremisasverdaderasyconclusinfalsa.Losrazonamientosdeductivosson
vlidos,secaracterizanportransmitirlaverdaddelaspremisasalaconclusin.
Paracualquierrazonamiento,elanlisisdesuvalideznodependedesisuspremisasyconclusinsonverdaderasenelmundoono,sino
delarelacindeinferenciaentreellas.Laformadelrazonamientoeslasiguiente:
AoB
noA
B

Existenrazonamientosquetienen:
premisasverdaderasyconclusinverdadera
almenosunapremisafalsayconclusinverdadera
almenosunapremisafalsayconclusinfalsa
Ejemplodeunapremisafalsayconclusinfalsa:
ColombiaquedaenEuropaoenAsia.premisafalsa
ColombianoquedaenEuropa.premisaverdadera
ColombiaquedaenAsia.conclusinfalsa
Losrazonamientosvlidostransmitenlaverdaddelaspremisasalaconclusin,esdecirquesisuspremisassonverdaderas,la
conclusinnecesariamenteserverdadera.
Unrazonamientoquenotransmitelaverdaddelaspremisasalaconclusin,esdecirquepuedetenerpremisasverdaderasyconclusin
falsa,esINVLIDO.Porejemplo:
ColombiaquedaenAmricadelSuroAsia.premisaverdadera
ColombiaquedaenAsia.conclusinfalsa
Enesterazonamientodeunasolapremisa,staesverdaderaysuconclusinfalsa.Suformaeslasiguiente:
AoB
B
Estaformanogarantizalaverdaddelaconclusin,ysiunaformaderazonamientopuedellevardeverdadafalsedad,esinvlida.
Sepuedenclasificarlosrazonamientosendosgrupos:losDEDUCTIVOS,quesonvlidos,ylosNODEDUCTIVOS,quesoninvlidos.En
losdeductivossilaspremisassonverdaderas,laconclusinsiosiserverdadera.Laverdaddelaspremisasgarantizalaverdaddela
conclusin.Enlosnodeductivos,encambio,laspremisasnobrindanunapoyoabsolutoalaconclusin,yaqueaunquelaspremisassean
verdaderaslaconclusinpuedeserfalsa.
Haycasostambinenlosquelaspremisasnogarantizanlaverdaddelaconclusinperostapuedeversecomoverdaderayaquelas
premisasincrementanlaprobabilidaddeverdaddelaconclusin.Perolaconclusinnopuedeinferirsecontotalcertezaamenosquese

observentodosloscasosposibles.Aesosrazonamientosenlosquelaspremisasnogarantizanlaconclusin,perobrindanunapoyo
parcialalamismaselosllamaINDUCTIVOS.Soninvlidosyaquepuedequesuspremisasseanverdaderasysuconclusinfalsa.Por
esocuandosonadecuadosselosllama"correctos".
Elhechodequeunrazonamientoseacorrectodependedevariosfactores.Algunosdeellossonlacantidaddecasosobservados,yel
hechodequelamuestrasearepresentativadeltotal.Nosepuedeexaminarlaadecuacindeunrazonamientosoloporsuforma(esto
ocurreconlosinductivos).LalgicaqueestudialosrazonamientosinductivossellamaLGICAINDUCTIVA.Estosrazonamientosson
ampliativos,esdecir,queagreganinformacinenlaconclusinquenoestabaenlaspremisas.Estoeslointeresantedeestos
razonamientosperotambinloqueloshacemsdbiles.Losrazonamientosdeductivos,porservlidos,sonmsfuertes.
Existenmuchaslgicasdeductivas,laqueestudiaremosserlalgicaproposicionalsimblica.
Lgicaproposicionalsimblica
Sellamaproposicionalporquetomacomounidadmnimaalaproposicinsimple.
Haydostiposdeproposiciones:
1.lasPROPOSICIONESSIMPLESOATMICAS.Sonlasproposicionessinconectivas
2.lasPROPOSICIONESCOMPUESTASOMOLECULARES.Sonlasproposicionesqueseformanapartirdeincluirconectivasenlas
simples
LasCONECTIVASsonexpresioneslgicasquepermitenformarproposicionescompuestasapartirdesimples.Ejemplos:
"Juanesdentista":proposicinsimple.
"Juanespescador":proposicinsimple.
"Juanesdentistaypescador":proposicincompuesta.Estformadaapartirdelasproposicionessimplesanterioresylasunenla
conectivaY.
"Juannoesdentista":proposicincompuesta.ElNOesunaconectiva.
Launidadmnimaenestalgicasonlasproposicionessimples,estosignificaquelaestructuradelasproposicionessimplesnoseanaliza.
Ellenguajedelalgicaproposicionalsimblica
Unodelosobjetivosdeestalgicaesdeterminarsilosrazonamientossonvlidosoinvlidos.Enlalgicaproposicionalsimblica,la
validezdelosrazonamientosdependedelsignificadodesusconectivas.Lasconectivassedefinenporcmoresultaelvalordeverdadde

unaproposicincompuestaenlaquefiguran,dadociertovalordeverdaddelasproposicionessimples.Alintroducircadaunadelas
conectivas,tambinsepresentarnlossmbolosdellenguajedelalgica.Esteesunlenguajeartificial,diseado,enelcualseespecifica
unconjuntodesignosyunconjuntodereglasquepermitenconstruirexpresioneseneselenguaje.Ellenguajedelalgicatambines
formalporqueparaescribirlaformadelasproposiciones,acadaconectivaseleofreceunsmbolo,yacadaproposicinsimpleuna
letra.Laventajadelusodeestelenguajeesquepermite,porunlado,eliminarambigedadesquepuedenpresentarseconellenguaje
natural(elcotidiano),yporotrolado,permiteextraerlaformalgicadelasproposicionesydelosrazonamientosyescribirlassinhacer
referenciaaloshechosparticularesquesemencionanencadaproposicin.
Conjuncin
Lomsparecidoenellenguajenaturalalaconjuncinlgicaesla"y".Perotambincumplenestafuncinel"pero"yel"sinembargo".En
castellanoelusodeestosdosltimosincluyenunmatizadversativo.Alanalizarsuestructuralgica,serepresentasuformaproposicional
comounaconjuncinyelmatizadversativonoformapartedelaformaproposicional.Tambinalextraerlaformalgicaseomitenlas
diferenciasenlostiemposverbales.Porejemplo"llegotarde","llegutarde"y"llegartarde"expresanlamismaproposicin.
PARALACONJUNCINSEUTILIZAELSMBOLO"".Pormediodelaconjuncinseunendosproposiciones.Porejemplo"AB".Cada
proposicinsimpleestrepresentadaporunaletra.AestoselellamaDICCIONARIO.Porejemplo,paralaproposicin"llueveyhacefro",
eldiccionarioser:
p:llueveq:hacefro
Laproposicinserepresenta"pq".Estoesloquedefinealaconjuncin,puesunaconjuncinsloesverdaderacuandolasdos
proposicionesquelaformanloson.SesuelepresentarladefinicindelasconectivasutilizandounaTABLADEVERDADquerepresenta
culeselvalordeverdaddelaproposicincompuestaparacadaposiblecombinacindevaloresdeverdaddelasproposicionessimples
quelacomponen
LaTABLADEVERDADDELACONJUNCINeslasiguiente:
p
v
f
v
f

q
v
v
f
f

p
v
f
v
f

V
F
F
F

q
v
v
f
f

Lascuatrofilasreflejantodaslasposiblescombinacionesdevaloresdeverdadentredosproposicionessimples(p,q).
Qurepresentacadacolumna?Lasdosprimerassonlosvaloresdepyqrespectivamente.Serepresentantodaslascombinacionesde
valoresdeverdadposibles.Latercercolumnaylaltima,eslomismodenuevo.Sloquesevuelvenaescribirlosvaloresyaqueesaspy
qsonparteyadelaproposicin,noslolosvalores.Ahorabien,lacolumnarespectivadelaconjuncin,esdecirdesusmbolo,representa

elresultadodelaconjuncinparacadacombinacin.
Disyuncininclusiva
Estaconectivaapareceenellenguajenaturalcomo"o"o"y/o".ELSMBOLOCONQUESEREPRESENTALADISYUNCININCLUSIVA
ES"V".
Laforma"llueveohacefro",segneldiccionario:
p:llueveq:hacefro
Laproposicinserepresenta"pvq".
LaTABLADEVERDADDELADISYUNCINes:
p
v
f
v
f

q
v
v
f
f

p
v
f
v
f

v
V
V
V
F

q
v
v
f
f

Unadisyuncininclusivaesfalsaslosiambasproposicionescomponentessonfalsas.
TambinexistelaDISYUNCINEXCLUSIVA,queesverdaderasloenloscasosenqueunasolaproposicinalternativaesverdadera,
peronosilasdosloson.Seexpresaconelmismotrmino"o"o"y/o".Enlamayoradeloscasosdeladisyuncinenlenguajenaturalel
contextopuedediferenciarporsislodequtipodedisyuncinsetrata.Porejemplosienelmendeunrestaurantedice"incluyeplato
principal,tocaf"sabemosquesetratadealgunodelosdos.La"o"enestecasoseentiendecomoexclusiva.Encambiosienelsubte
leemosuncartelquedice"asientoreservadoparaembarazadasodiscapacitados"sabemosquela"o"esinclusiva,quesetratade
amboscasos.Paraevitarestaambigedadenalgunoscasosseespecificanladisyuncininclusivacon"y/o"ylaexclusivacon"obien()
obien()".Enlgicasesimbolizancondistintasconectivas.
Paraconvencindeldocumentosloseestudiarnlasdisyuncionesinclusivas.
Negacin
Enlenguajenaturalestaconectivaequivalea"no","esfalsoque","nunca","nosedaelcasoque","noesciertoque",etc.ELSMBOLO
PARAREPRESENTARLANEGACINES"~".Paralaproposicin"nollueve",endiccionario:
p:llueve

Laformaes"~p".
Lanegacinnounedosproposiciones,sinoqueesunaconectivaqueseagregaaunaproposicinparanegarla.Poreso,laTABLADE
VERDADDELANEGACINesmuchomssimple:
p
v
f

~
F
V

p
v
f

Loquehacelanegacinesinvertirelvalordelaproposicin.Estoessi"p"esverdadera,"~p"esfalsa,yviceversa.
Condicional
Enellenguajenatural,elcondicionalequivalea"si()entonces()".ELSMBOLOPARAREPRESENTARALCONDICIONALES"".
Estaconectivalgicaestableceunaasimetraentrelasproposicionesqueconecta,quenocumplenlamismafuncindentrodela
proposicincondicional.UnadeellascumplelafuncindeANTECEDENTEyotralafuncindeCONSECUENTE.Porejemplo:
"Silecortaronlacabeza,entoncesestmuerto".
"silecortaronlacabeza":antecedente
"estmuerto":consecuente
Noeslomismodeciresoquedecir"Siestmuerto,lecortaronlacabeza".
Lasdosoracionesexpresandistintasproposiciones.Laprimeraesverdadera,mientrasquelasegundanoloesnecesariamente.Es
importantedistinguirentrelasdosproposicionesqueconectaelcondicionalentrminosdeantecedenteyconsecuente.
En"pq",pesantecedenteyqesconsecuente.
Nopuedeocurrirqueelantecedenteseaverdaderoyelconsecuentefalso.LaTABLADEVERDADDELCONDICIONALeslasiguiente:
p
v
f
v
f

q
v
v
f
f

p
v
f
v
f

V
V
F
V

q
v
v
f
f

Unaproposicincondicionalesfalsacuandosuantecedenteesverdaderoysuconsecuenteesfalso.Encualquierotrocaso,esverdadera.

Cmosabemosculeselantecedenteyculelconsecuente?Porelusodel"si"parasealaralantecedente.Elantecedenteeselque
estdespusdel"si",ynonecesariamenteapareceprimeroenlasoracionesenlenguajenatural.
Haydistintosmodosdeexpresarelcondicionalencastellano.Porejemplo,lassiguientesoracionesexpresanlamismaproposicin:
"Sillueve,entonceshacefro"
"Sillueve,hacefro"
"Hacefrosillueve"
Coneldiccionariop:llueve,q:hacefro,laformadestases"pq".Pero"hacefo,entoncesllueve"expresaotraproposicinyaque
tienea"hacefro"comoantecedenteya"llueve"comoconsecuente.Conelmismodiccionariosera"qp".
Bicondicional
Enlenguajenaturalnoesutilizadofrecuentemente.Enmatemticaesusadocomo"siyslosi".ELSMBOLOPARAREPRESENTARAL
BICONDICIONALES"".LaTABLADEVERDADDELBICONDICIONAL:
p
v
f
v
f

q
v
v
f
f

p
v
f
v
f

V
F
F
V

q
v
v
f
f

Porejemploparalaoracin"Unafiguraesuntringulosyslosposeetreslados",coneldiccionario:
p:lafiguraesuntringuloq:lafiguratienetreslados
Laformaproposicionales"pq".
Lasformasproposicionales
Paraprobarlavalidezdeunrazonamiento,esnecesarioextraersuformalgica,esdecirrepresentarsuformaenellenguajedelalgica
proposicionalsimblica.
1.PRIMERPASO:extraerlaformadelasproposicionesqueconformanelrazonamiento.
Porejemplo,estassiguientesfrases,conelsiguientediccionario:
p:llueveq:hacefror:haynubes

PROPOSICIN
Nollueveyhacefro
~pq
Noesciertoquelluevayhagafro ~(pq)
Nilluevenihacefro

~p~q

Sillueveyhaynubesentonces
hacefro

(pr)q

FORMA

Llueveysihacefroentonceshay p(qr)
nubes
Llueve,hacefroyhaynubes
(pq)rp(qr)
Llueve,hacefroohaynubes
(pvq)vrpv(qvr)
Llueveono,perohacefro
(pv~p)q
Llueveohacefroperohaynubes(pvq)r

OBSERVACIONES
Aqulanegacinafectasloap
Laconectivaprincipaleslanegacin.
Seniegaunaconjuncin.
"ni()ni()"equivalea"no()no
()"
Laconectivaprincipalesel
condicional.Elantecedenteesuna
proposicincompuestauna
conjuncin.
Laconectivaprincipaleslaconjuncin

Laconectivaprincipaleslaconjuncin
Laconectivaprincipaleslaconjuncin

Elsignificadocambiarotundamenteentodosloscasossegnlacolocacindelosparntesis,exceptoenelsextoyelsptimo.Cuando
hayvariasconjunciones()odisyunciones(v)seguidas,esposibleagruparlasconparntesisdediversosmodossinmodificarelvalorde
verdaddelaproposicincompuesta.Entodosloscasos,antesdeextraerunaforma,hayqueconfeccionareldiccionariodondeseindica
cmoseutilizarnlasletrasproposicionales.
Lasformasdelosrazonamientos
Losrazonamientossonconjuntosdeproposiciones.Paraextraerlaformalgica...primero,debemosdeterminarlaestructuradepremisas
yconclusindelrazonamiento,esdecir,identificarlos.Luegoseconfeccionaeldiccionario,identificandolasproposicionessimples,ypor
ltimoseextraenlasformasproposicionalesdela/spremisa/sydelaconclusin.
Existenciertasformasdeexpresinenlosrazonamientospresentadosenlenguajenaturalquesirvencomoindicadoresdeloquefunciona
comoconclusinycomopremisa.Porejemplo,"porlotanto","enconsecuencia","porconsiguiente",seencuentranpredecidaspor
premisasyantecedenalaconclusin.Otrasexpresionescomo"dadoque","yaque"o"porque"funcionandelmodoinverso:antesdeellas
estlaconclusinyluegolaspremisas.Porejemplo:
"SiArgentinaseencuentraenAmricadelSur,entoncesseencuentraenelhemisferiosur.PorlotantoArgentinaseencuentraenel
hemisferiosur,dadoqueseencuentraenAmricadelSur."
AqulaconclusinesqueArgentinaestenelhemisferiosur."Porlotanto"indicaqueloanterioresunapremisayloquelesigue,
conclusin."Dadoque"sealaqueloquelesigueesotrapremisa.Entoncessepuedeescribirelrazonamientoas:
SiArgentinaseencuentraenAmricadelSur,entoncesseencuentraenelhemisferiosur.

Argentinaseencuentraenelhemisferiosur.
Argentinaseencuentraenelhemisferiosur.
Lasconectivas"porlotanto"y"dadoque",noseescriben.Sirvenparaconectarlaspremisasyconclusinenellenguajenatural.A
continuacinconfeccionamoseldiccionario:
p:ArgentinaseencuentraenAmricadelSurq:Argentinaseencuentraenelhemisferiosur
Laformadelrazonamientoes:
pq
p
q
Tablasdeverdadconmsdeunaconectiva
Tambinsepuedeaveriguarelvalordeverdaddelasproposicionesmscomplejasutilizandodichastablas.Sernecesariotomaren
cuentalapresenciayubicacindelosparntesis.Porejemplo,laproposicin"llueveohacefro,ynohaynubes"esdistintaa"llueve,o
hacefroyhaynubes".Sudiccionario:
p:llueveq:hacefror:haynubes
"Llueveohacefro,ynohaynubes"tomaestaforma:
(pvq)~r
"Llueve,ohacefroynohaynubes"encambio:
pv(q~r)
Paraconfeccionarlatabladeverdadde(pvq)~rsesiguentrespasos:
1.PRIMERPASO:seidentificalacantidaddeproposicionessimplesqueaparecen.Enestecasohaytres:p,q,r.Resultairrelevantesi
algunaproposicinserepitierayaqueeneldiccionarioapareceraconlamismaletra.
2.SEGUNDOPASO:sihayslounaproposicin,latabladeverdadtendrsolodosfilas.Sihaydosproposiciones,tendrcuatro,sitiene
trestendrochoyassucesivamente.Lareglaparadeterminarlasfilasnecesariaseslasiguiente:2,dondeeslacantidadde
proposicionessimplesqueaparecen.unavezdeterminadaslacantidaddefilasquehayenlatabla,sedistribuyenlosvaloresdeverdadtal
comosemuestraenlastablasmsabajo.Elobjetivoesencontrarlascombinacionesposibles.Acontinuacinsepresentalaasignacin
delosvaloresdeverdadalasproposicionessimplesparacasosdeuna,dosytresproposicionessimples.
Asignacindevaloresdeverdadparatablasconunasolaproposicin
p

v
f

Asignacindevaloresdeverdadparatablascondosproposiciones
p
v
f
v
f

q
v
v
f
f

Asignacindevaloresdeverdadparatablascontrespreposiciones
p
v
f
v
f
v
f
v
f

q
v
v
f
f
v
v
f
f

r
v
v
v
v
f
f
f
f

3.TERCERPASO:Paracompletarlatablasedeberespetarlaestructuradelasproposicionescompuestas.Secomienzadandoprioridad
alosparntesis,luegoaloscorchetesyluegoalasllaves,siloshubiera,yporltimoalrestodelaformaproposicional.Secompletala
tabladeverdadutilizandolasdefinicionesdelasconectivasparaanalizar,enprimerlugar,losparntesismsinternos.Acontinuacinse
presentalatabladeverdadpara"(pvq)~r".Dadoqueestaproposicintienetresproposicionessimples,tendrochofilasconlos
valoresdeverdaddistribuidos.Esdecir,secompletanlosvaloresparacadaproposicinsimpleenlasprimerascolumnasyloscopiamos
paracadaunadesusaparicionesenlaproposicincompuesta:
p
v
f
v
f
v
f
v

q
v
v
f
f
v
v
f

r
v
v
v
v
f
f
f

(p
v
f
v
f
v
f
v

v
V
V
V
F
V
V
V

q)
v
v
f
f
v
v
f

F
F
F
F
V
V
V

~
F
F
F
F
V
V
V

r
v
v
v
v
f
f
f

Paradeterminarelordenenquecompletarcadaconectiva,seanalizalaestructuradelaproposicin.Setratadeunaconjuncin.Para
poderresolverlaprimerohayqueobtenerelvalordeverdaddecadaunadelasproposicionescompuestasqueconecta.Primero
resolvemos"(pvq)"queesunadisyuncin.Enlaprimerafila,lacasillamarcadaenVERDEcorrespondealvalordeverdadde"(pvq)"
cuando"p"y"q"sonverdaderas.Ladisyuncinesfalsaslocuandolasdosproposicionessonfalsas,comoelcasodelasfilas4y8,
marcadasenAMARILLO.Lacolumnaconelttulo"v"muestralosresultadosdeladisyuncin.
Cuandoenunatablahaymuchasconectivas,esimportanteobservarquvaloresdeverdadsedebentenerencuentaparacadaconectiva.
Paraevitarconfusionessepuedeirtachandolosvaloresdelascolumnasuqeyanosernecesarioconsultar.Enestecaso,unavez
resueltoslosresultadosdedeladisyuncin("v"),sepodrantachar"(p"y"q)",yaqueyanosernecesariovolveramirarlos.Elprximo
pasoesresolverlanegacin,quenohacemsqueinvertirlosvaloresdelarcorrespondienteaesanegacin.
Unavezqueobtuvimoslosresultadosdeladisyuncinylanegacinpodemosresolverlaconectivaprincipal:laconjuncin.Pararesolverel
primervalordelaconjuncin,sernecesariotenerencuentaquvaloresdeverdadsedebenconsiderarencadafila.Lasproposiciones
queestnenconjuncinsonporunlado"pvq"yporelotro"~r".Entonces,elsiguientepasoestomarelresultadodeladisyuncinyel
resultadodelanegacinpararesolverlaconjuncin.Quocurrecuandounadelasproposicionesesfalsa?laconjuncintambines
falsa.Elresultadodelaconectivaprincipalestenmaysculas.Elcriterioparadefinirculeslaconectivaprincipalesverculeslaque
estfueradetodoparntesis.
Entrminosgenerales...ordenpararesolverlasconectivasenlatabla:
1.lasnegacionesdeproposicionessimples
2.lasproposicionescontenidasporlosparntesismsinternos
3.lasproposicionescontenidasporcorchetesyluegollaves
4.laconectivaprincipaldeunaproposicinsiempreeslaltimaqueseresuelve
Tautologa,contradiccinycontingencia
Hacerunatabladeverdadsirveparapoderdistinguirentreverdadeslgicas,falsedadeslgicasyproposicionescontingentes.
Laproposicin"enlasLeasestnevandoonoestnevando"esimposiblequeseafalsa,yparasaberestosloesnecesarioversu
forma.Sihacemossutabladeverdad,segneldiccionario:
p:estnevandoenlasLeas

Suformaes"pv~p".
p
v
f

p
v
f

v
V
V

~
f
v

p
v
f

Elresultadodelatablaenestecasoessiempreverdadero.AestetipodeproposicionesselasllamaTAUTOLOGASOVERDADES
LGICAS.EsunRAZONAMIENTOVLIDO.
Cuandotodoslosresultadossonfalsos,laproposicinesunaCONTRADICCINOFALSEDADLGICA.EsunRAZONAMIENTO
INVLIDO.Esteeselcasode,porejemplo,"p~p".Estaessutabladeverdad:
p
v
f

p
v
f

F
F

~
f
v

p
v
f

Cuandoparaalgunascombinacionesdevaloresdeverdaddelasproposicionessimpleslaproposicinresultaverdadera,yparaotras
falsa,setratadeunaCONTINGENCIA.Enestetipodeproposicionesnoesposiblesabersuvalordeverdadporsuforma.Latablade
verdaddeunaproposicinsimpleessiempreunacontingencia.EsunRAZONAMIENTOINVLIDO.
Pruebadevalidezderazonamientosporcondicionalasociado
Lastablasdeverdad,comoyasedijo,permitendeterminarsiunaproposicinestautolgica,contradictoriaocontingente.Ademsnos
brindanunmtodoparaestablecerlavalidezdelosrazonamientos.Elcondicionalasociadodeunrazonamientoeselcondicionalquetiene
comoantecedentelaconjuncindelaspremisasycomoconsecuentelaconclusin.Ejemplosdeformasderazonamientosysus
condicionalesasociados:
FORMADERAZONAMIENTO
pq

CONDICIONALASOCIADO
[(pq)p]q

p
q
pq
qr
pr

[(pq)(qr)](pr)

pvq

[(pvq)~p]q

~p
q
p~q

{[(p~q)(~qr)]p}r

~qr
p
r

Unavezestablecidoelcondicionalasociadoserealizasutabladeverdad.Enlatabladeverdaddelcondicional,elnicocasoenelquees
falsoesaquelenelqueelantecedenteesverdaderoyelconsecuentefalso.Silatabladelcondicionalasociadodaporresultadouna
tautologa,estosignificaqueelcondicionalnoesfalsoenningncaso,oseaquenohayningncasoenesatablaenelqueelantecedente
delcondicionalasociadoseaverdaderoyelconsecuentefalso.Esdecir,nohayningncasoenelquetodaslaspremisasseanverdaderas
ylaconclusinfalsa.Estaesunapropiedaddelosrazonamientosvlidos.
Encualquierotrocaso,sielcondicionalasociadoesunacontingenciaounacontradiccin,elrazonamientoesinvlido.Porqu?porque
paraquehayaalgncasoenelqueelcondicionalasociadoseafalso,laconjuncintienequeserfalsa.Loscuatroejemplosmencionados
anteriormentesontodastautologas.
Algunasformasderazonamientoimportantes
Algunasformasderazonamientovlidaseinvlidassonutilizadascontantafrecuenciaqueseleshadadounnombre...
MODUSPONENSYMODUSTOLLENS
ModusPonens.Laformadeesterazonamientoes:
AB
A
B
Alescribirestaformausamosletrasenmaysculaenlugardeminsculacomolasqueusamosparalasproposicionessimples.Lasletras
deimprentamaysculapuedenrepresentarproposicionestantosimplescomocompuestas.Ejemplosderazonamientosconlaformade

ModusPonens:
1.~p~q
~p
~q
2.(pq)r
(pq)
r
3.p
p(qvr)
(qvr)
Entodosellosenunadelaspremisassepresentauncondicional,enlaotrapremisaseafirmaelantecedentedeesecondicionalyenla
conclusinseafirmaelconsecuente.Noesnecesarioquelaprimerapremisaseacondicional,sinoqueelcondicionalpuedeapareceren
cualquieradlaspremisas.Elordendelaspremisasnoesrelevante,siempreycuandoseacondicionalylaotraafirmesuantecedente.
ModusTollens.Laformaderazonamientoes:
AB
~B
~A
EjemplosdeModusTollens:
1.~pq
~q
~~p
2.~pq
~q
p
3.(pq)(rvs)
~(rvs)
~(pq)

EnelprimerejemploobservamosqueLASNEGACIONESSEPUEDENACUMULAR.Enelsegundo,queSEPUEDENSIMPLIFICAR.En
todosloscasosdeModusTollensenunapremisasepresentaunaproposicincondicional,enlaotraseniegaelconsecuenteyenla
conclusinseniegasuantecedente.
Falaciasformales
Hayformasderazonamientoquesuinvalidezovalidezresultanevidentesslodeescucharlasoleerlas.Porejemplo,resultaevidenteque
"Enerotiene31das.Porlotanto,losprotozoossonorganismosunicelulares"esunrazonamientoinvlido.Pero,teniendoencuentael
siguientediccionario:
p:enerotiene31dasq:losprotozoossonorganismosunicelulares
Suformasera:p/q.EStaformanoresultaengaosa,nohaynadaquesugieraque"q"sesiguede"p".Siserealizaunatabladeverdad
seraunacontingencia.
Hayalgunoscasosderazonamientosque,adiferenciadelejemplo,resultanengaosos,pestoqueobienparecendeductivosapesarde
serinvlidos,obienparecencorrectosapesardenoserlo.AestetipoderazonamientosselosllamaFALACIAS.Sepuedenclasificaren
dosgrupos:lasFALACIASFORMALESylasFALACIASINFORMALES.Lasformalessonaquellosrazonamientosque,porsuforma
lgica,parecenvlidosperosoninvlidos.Lasinformalessonlosrazonamientosnodeductivosqueporsucontenidoresultanengaososy
parecencorrectosperonoloson.Enestelibroslosetrabajarnlasformales.
Falaciasdenegacindelantecedente
Suforma:
AB
~A
~B
Ejemplo:
Diccionario:p:lecortanlacabezaq:semuere
Formalgica:pq
~p
~q
Razonamientoencolumnado:
Silecortanlacabeza,semuere.

Nolecortanlacabeza.
Nosemuere.
Esterazonamientopuedeparecervlidoperonoloes.Podraestarmuertoporotrosmotivos.Otrosejemplosdeestaforma:
~pq
~~p
~q
~pq
p
~q
(pq)(rvs)
~(pq)
~(rvs)
Entodosloscasosenunapremisasepresentaunaproposicincondicional,enotraunanegacindelantecedentedeesecondicionalyen
laconclusinseniegaelconsecuente.
Falaciadeafirmacindelconsecuente
Suforma:
AB
B
A
Ejemplo:
Diccionario:p:lecortanlacabezaq:semuere
Formalgica:pq
q
p
Razonamientoencolumnado:
Silecortanlacabeza,semuere
Estmuerto

Lecortaronlacabeza.
Esterazonamientopuedeparecervlidoperonoloes.Suconclusinnoestgarantizadaporsuspremisas.Podraestarmuertoporotro
motivo.Otrosejemplosdeestaforma:
~p~q
~q
~p
(pq)r
r
(pq)
Entodosloscasosenunapremisasepresentaunaproposicincondicional,enotraseafirmaelconsecuentedeesecondicionalyenla
conclusinseafirmaelantecedente.