Apuntes de Lógica Capitulo 1

UCABEscueladeIngenieraIndustrial 1
ApuntesdeLgicaCaptulo1
Captulo1:LgicaProposicionalydePredicados.
Resumen: Definiciones bsicas: proposicin, conectivos lgicos (negacin, disyuncin,

conjuncin,condicional,doblecondicional),frmulaproposicional.Implicacin,doble
implicacinyrbolsemntico.Formasnormales:conjuntiva(FNC)ydisyuntiva(FND).
Premisa,Conclusin,Razonamiento.rboldeVerdaddeGentzen.Inferencia.Mtodo
Deductivoparaprobarunrazonamiento.LgicadePredicados.DefinicionesBsicas.
Cuantificadores.FrmulasCuantificacionales.
<><><><><>
Cuandohacemosunaafirmacinpodemostenerlaraznono.Elprocesodeverificacindequin
tienelarazneselObjetivoGeneralqueseplanteaesteCaptulo1delcursodeLgica.
Comenzaremospordarladefinicindeloqueentenderemosporunaafirmacino,comose
denominaenlaterminologadelaLgica,unaProposicin.
Definicin1.1:Proposicin:EntenderemosporProposicinatodaafirmacinrespectoaalgn
temasinimportarnossiesverdaderaofalsa.
Observaciones:
Unaproposicinquenopuededescomponerseenvarias
proposicionessedenominaProposicinSimple.
Lasproposicionessimplessedenotancomnmenteconlasletras
minsculasp,q,r,.
Unaproposicinqueincluyevariasproposicionessimplesse
denominaProposicinCompuesta.
Lasproposicionescompuestassedenotancomnmenteconlasletras
maysculasP,Q,R,
Ejemplo1.1):Lossiguientessonejemplosdeproposicionessimples:
a) p:3+2=5
b) q:RmuloGallegosescribiDoaBrbara.
c) r:ElPresidentedeVenezuelaesCristianoRonaldo.
d) s:Elsenode45gradosesigualauno.
Todaslasexpresionesanterioressonproposicionesapesardequelasdosprimerassean
verdaderasylasdosltimasseanfalsas.
Ejemplo1.2):LassiguientesfrasesnosonejemplosdeProposiciones:
a) Buenosdas.
b) 3+7.
c) Habrjuegodefutbolestefindesemana?.
d) X+Y>10.
Septiembre2016
Elaboradopor:RafaelA.DazChacn
Lastresprimerasfrasesnosonafirmacionesporloquenoestnsujetasaserverdaderasofalsas.
Conrespectoalafrased),dependiendodelosvaloresquetomenlasvariablesXeY,laafirmacin
serciertaofalsa,portantonoseincluyecomoProposicin.
Ejemplo1.3):Lassiguientesfrasessonejemplosdeproposicionescompuestas:
a) MiasignaturafavoritaesLgicayMiguelCabreraganelpremio
demejorjugadordeBeisboldelao2015.
b) MaanaviajoaPuertoLaCruzoaprobelexamendeClculo.
Ntesequeencadaoportunidadestamosinvolucrandolaverdadofalsedaddelaafirmacin
planteada.Estonosllevaaconsiderarunpardeprincipiossobreloscualessetomaladecisinque
corresponda;estosprincipiossoneldelterceroexcluidoyeldenocontradiccin,asaber
PrincipiodelTerceroExcluido:Cadaproposicinesoverdaderaofalsa.
PrincipiodeNoContradiccin:Ningunaproposicinesalavezverdaderayfalsa.
ConbaseenestosprincipiosdefinimosloqueentenderemosporValordeVerdaddeuna
proposicin.
Definicin1.2:ValordeVerdad:EntenderemosporValordeVerdaddeunaproposicinpasu
veracidadofalsedad.SilaproposicinpesverdaderasuvalordeverdadserVERDADmientras
quesilaproposicinpesfalsasuvalordeverdadserFALSO.
Observaciones:
AlvalordeverdaddelaproposicinpseledenotacomoV(p),talque
, p
p
, p
Elvalordeverdaddeunaproposicincompuestadependede
losvaloresdeverdaddecadaproposicinsimplequela
compone.
Laformadedeterminarelvalordeverdaddeunaproposicin
compuestatienebaseenelanlisisdelosconectoreslgicos
querelacionanalasproposicionessimplesquelacomponen.
Definicin1.3:TabladeVerdad:EntenderemosporTabladeVerdaddeunaproposicinal
arreglo,generalmentedispuestoenfilasycolumnas,detodaslasposiblescombinacionesdelos
valoresdeverdaddelasproposicionessimplesquelacomponen.Acadafilaseleconocer
tambincomounaInterpretacin.
Septiembre2016
Ejemplo1.4):ConsidereunaproposicincompuestaPenlacualestninvolucradastres
proposicionessimplesp1,p2yp3.DescribalaestructuradelaTabladeVerdaddeP.
Envistadequeestninvolucradas3proposicionessimplesaparecen8filasointerpretacionesdel
valordeverdaddeP.esdecir
2
2
8
p2
p3
P
p1
V
V
V
V
V
F
V
F
V
V
F
F
F
V
V
F
V
F
F
F
V
F
F
F
Paraculminarlatabla(rellenarlacolumnacorrespondientealosvaloresdeverdaddela
proposicincompuestaP),debemosestudiarloseventualesconectoreslgicosquerelacionana
p1,p2yp3.
CONECTORESPROPOSICIONALESOLGICOS
EntenderemosporConectoresProposicionalesoConectoresLgicosaaquelloselementosquenos
permitencombinarproposiciones.Acontinuacinseresumenlosconectoreslgicosysu
notacin.
1
, sedenotapor:
2 Conjuncin, sedenotapor:
3 DisyuncinIncluyente, sedenotapor:
4 DisyuncinExcluyente, sedenotapor:
5 Condicional, sedenotapor:
6 Bicondicional, sedenotapor:
VeamoscmosedefinenlosdistintosconectoresyculessucorrespondienteTabladeVerdad.
1) NEGACIN.
Definicin1.4:Negacin:Dadaunaproposicinp,sedenominanegacindeponop,yse
denotap,alaproposicinqueesverdaderacuandopesfalsoyesfalsacuandopesverdadera.
Observaciones:
Lasexpresionesnop,Negadodep, yptienenelmismosignificado.
Elvalordeverdaddelanegacindelaproposicinpes
Septiembre2016
,
,
LaTabladeverdaddelanegacindelaproposicinpes
p
V
F
F
V
2) CONJUNCIN.
Definicin1.5:Conjuncin:Dadasdosproposicionespyq,sedenominaConjuncindeambasap
yq,ysedenotacomo
q,alaproposicincompuestaqueesverdaderacuandoambas
proposicionessonverdaderas.
Observaciones:
Lasexpresionespconjuncinq,pyqy
qtienenelmismosignificado.
Elvalordeverdaddelaconjuncines
LaTabladeverdaddelaconjuncines
p
q
V
V
V
V
F
F
F
V
F
F
F
F
DeanalizarlaTabladeVerdaddelaconjuncinenformainversasepuede
decirquesi
qesverdadentoncesambas,pyq,sonverdad.Porel
contrario,si
qesfalsoentoncesalmenosuno,depyq,sonfalsos.
3) DISYUNCININCLUYENTE.
Definicin1.6:DisyuncinIncluyente:Dadasdosproposicionespyq,sedenominaDisyuncin
Incluyentedeambasapoq,ysedenotacomo
q,alaproposicincompuestaqueesfalsa
solocuandoambasproposicionessonfalsas.
Observaciones:
Lasexpresionespdisyuncininclusivaq,poqy
qtienenelmismo
significado.
Elvalordeverdaddeladisyuncininclusivaes
Septiembre2016
LaTabladeverdaddeladisyuncininclusivaes
p
V
V
F
F
q
V
F
V
F
V
V
V
F
DeanalizarlaTabladeVerdaddeladisyuncinInclusivaenformainversa
sepuededecirquesi
qesfalsoentoncesambas,pyq,sonfalsos.Por
elcontrario,si
qesverdaderoentoncesalmenosuno,depyq,son
verdaderos.
4) DISYUNCINEXCLUYENTE.
Definicin1.7:DisyuncinExcluyente:Dadasdosproposicionespyq,sedenominaDisyuncin
Excluyentedepyq,ysedenotacomo
q,alaproposicincompuestaqueesverdaderasolo
cuandoambasproposicionestienenvaloresdeverdaddistintos.
Observaciones:
Lasexpresionespdisyuncinexcluyenteqy
qtienenelmismosignificado.
Elvalordeverdaddeladisyuncinexcluyentees
LaTabladeverdaddeladisyuncinexcluyentees
p
q
V
V
F
V
F
V
F
V
V
F
F
F
DeanalizarlaTabladeVerdaddeladisyuncinexcluyenteenformainversa
sepuededecirquesi
qesfalsoentoncesambas,pyq,tienenigual
valordeverdad.Porelcontrario,si
qesverdaderoentoncesambas,py
q,tienenvaloresdeverdaddistintos.
Septiembre2016
5) CONDICIONAL.
Definicin1.8:Condicional:Dadasdosproposicionespyq,sedenominaCondicionalde
antecedentepyconsecuenteq,ysedenotacomo
q,alaproposicincompuestaquees
falsanicamentecuandopesverdaderoyqesfalso.
Observaciones:
Lasexpresionespcondicionalq,sip,entoncesq,psolosiq,y
q
tienenelmismosignificado.
Elvalordeverdaddelcondicionales
q
,
LaTabladeverdaddelcondicionales
p
q
V
V
V
V
F
F
F
V
V
F
F
V
DeanalizarlaTabladeVerdaddelcondicionalenformainversasepuede
decirquesi
qesfalsoentoncespesverdaderoyqesfalso.Porel
contrario,si
qesverdaderoentoncesnopodemosdeducirnada
respectoapyq.
6) BICONDICIONAL.
Definicin1.9:Bicondicional:Dadasdosproposicionespyq,sedenominaBicondicionaldepyq,y
sedenotacomo
q,alaproposicincompuestaqueesverdaderacuandoambas
proposicionestienenigualvalordeverdad.
Observaciones:
Lasexpresionespbicondicionalq,psiysolosiqy
qtienenelmismo
significado.
Elvalordeverdaddelbicondicionales
q
,
LaTabladeverdaddelbicondicionales
Septiembre2016
p
V
V
F
F
q
V
F
V
F
V
F
F
V
DeanalizarlaTabladeVerdaddelbicondicionalenformainversasepuede
decirquesi
qesverdaderoentoncespyqtienenigualesvaloresde
verdadperonopermitededucirculdeellasesverdadera.Porelcontrario,
si
qesfalsoentoncesambos,pyq,tienenvaloresdeverdaddistintos
pero,nuevamente,nopermitededucirculdeellasesverdadera.
Comoconclusindeestegrupodedefinicionesdelosconectoresproposicionalessepuede
resumirlainformacinsuministradaenlaTablasiguiente:
SMBOLO
CONECTOR
COMPORTAMIENTOARESALTAR
AUSAR
Negacin
Conjuncin
DisyuncinIncluyente
,

DisyuncinExcluyente
Condicional
,

Bicondicional
Tabla1.1: ConectoresLgicosBsicos.
Septiembre2016
FRMULASPROPOSICIONALES
Cuandoseutilizanvariosconectoresproposicionalesdentrodeunmismoenunciadoestamosen
presenciadeunaFrmulaProposicional.
Paradesarrollarunafrmulaproposicionalhabrqueusarsignosdeagrupacinbastante
comunescuyoobjetivoesaclararelsentidodelaproposicinsinambigedades.
Estossignosdeagrupacinsonlosparntesis(),loscorchetes[]ylasllaves{}.Si
deseamosusarvariosdeestossignosdeagrupacinenlaformulacindeunaproposicinsiempre
sebuscarintercalarlossegnalgnorden.Elordenmscomnparaintercalarloses,deadentro
haciaafuera,parntesis,corcheteyllave,ycontinuarconeseorden,esdecir,
..
Ejemplo1.5):ConsiderelasiguienteproposicincompuestaPpordosproposicionessimplespyq.
DescribalaTabladeVerdaddeP.
ParaentenderlacantidaddefilasaconsiderarparalaTabladeVerdaddePdebemosaveriguar
cuntasproposicionessimplesestninvolucradasenladefinicindeP.Enestecaso,haydos
proposicionessimplespyqportanto,elnmerodefilasodeinterpretacionesenlatablade
verdaddePser,
2
2
4
Interpretacin
p
q
1
V
V
F
V
V
2
V
F
F
V
V
3
F
V
V
V
V
4
F
F
V
F
F
Finalmente,Pesfalsosolosiambasproposicionessimples,pyq,sonfalsas.Ntesequeesto
coincideconladefinicindeDisyuncinIncluyentelocualnosllevaapensarqueotramanerade
escribirPes
:
Generalizandoelresultadoobtenidoenelejemplo1.5tenemosladefinicinsiguiente.
Definicin1.10:ProposicionesEquivalentes:Dadasdosproposicionespyq,ellassern
Equivalentes,ysedenotacomo
q,cuandoambasproposicionestienenigualTablade
Verdad.
Comoconclusindelejemplo1.5sepuedeescribir
Septiembre2016
Alobservarlatabladeverdadresultantedeunaproposicincompuestasepuedentenervarios
tiposdecomportamiento:otodaslasinterpretacionessonverdaderasotodassonfalsasoalgunas
interpretacionessonverdaderasyotrassonfalsas.Estonosllevaalasdefinicionessiguientes.
Definicin1.11:Satisfactibilidad:UnaproposicincompuestaPdelasproposicionessimplesp1,
p2,,pn,esSatisfactiblesiensuTabladeVerdadalmenosunainterpretacinesverdadera.
Definicin1.12:Insatisfactibilidad:UnaproposicincompuestaPdelasproposicionessimplesp1,
p2,,pn,esInsatisfactiblesinoesSatisfactible.Esdecir,ensutabladeverdadtodaslas
interpretacionessonfalsas.
Definicin1.13:Tautologa:UnaproposicincompuestaPdelasproposicionessimplesp1,p2,,
pn,esunaTautologasisuTabladeVerdadindicaqueesVERDADERAsiempre,sinimportarlos
valoresdeverdaddecadaunadelasproposicionessimples.
Definicin1.14:Contradiccin:UnaproposicincompuestaPdelasproposicionessimplesp1,p2,
,pn,esunaContradiccinsisuTabladeVerdadindicaqueesFALSAsiempre,sinimportarlos
valoresdeverdaddecadaunadelasproposicionessimples.
AlcompararestadefinicinconladefinicindeInsatisfactibilidadsevequesonconceptos
similares.
Definicin1.15:Contingencia:UnaproposicincompuestaPdelasproposicionessimplesp1,p2,
,pn,esunaContingenciasisuTabladeVerdadindicaqueesverdaderaenalgunoscasosyfalsa
enotroscasos.
Ejemplo1.6):PruebesilassiguientesproposicionescompuestassonTautologas,Contradicciones
oContingencias.
:
:
:
:
Veamoslatabladeverdaddecadaproposicin.
:
Interpretacin
p
1
V
F
V
2
F
V
V
Entonces,P1esunaTautologa.
:
Interpretacin
p
1
V
F
F
2
F
V
F
Entonces,P2esunaContradiccin.
Septiembre2016
Interpretacin
1
2
3
4
p
V
V
F
F
q
V
F
V
F
:
V
F
F
F
V
V
V
V
Entonces,P3esunaTautologa.
P4eslaproposicindelejemplo1.5anteriorcuyatabladeverdadsereproduceacontinuacin.
Interpretacin
p
q
1
V
V
F
V
V
2
V
F
F
V
V
3
F
V
V
V
V
4
F
F
V
F
F
Entonces,P4esunaContingencia.
Ejemplo1.7):PruebesilassiguientesproposicionescompuestassonTautologas,Contradicciones
oContingencias.
:
:
:
Veamoslatabladeverdaddecadaproposicin.
Interpretacin
p
q
1
V
V
F
V
V
2
V
F
V
V
F
3
F
V
F
F
V
4
F
F
V
V
F
:
Interpretacin
p
q
1
V
V
V
V
V
2
V
F
F
V
F
3
F
V
V
F
F
4
F
F
V
V
V
Septiembre2016
Interpretacin
1
2
3
4
p
V
V
F
F
q
V
F
V
F
:
V
F
F
F
V
F
V
V
V
F
F
V
V
V
F
V
Ejemplo1.8):RealiceelanlisisdeverdaddelasiguienteproposicincompuestaPconlaayuda
delahojadeclculoelectrnicaEXCEL.
ParausarEXCELdebemoshacerunaequivalenciadelosvaloresdeverdadconlosnmeros0y1.
AlvalordeverdadVERDADEROloasociamosconel1mientrasquealvalordeverdadFALSOlo
asociamosconel0.
Entonces,establecemoslaequivalenciaentrelosconectoresproposicionalesyoperaciones
aritmticasbsicas.Estaequivalenciasemuestraenlatablasiguiente
CONECTOR
OPERACINLGICA
OPERACINARITMTICA
p
1
Negacin
p q
Conjuncin
p
,
DisyuncinIncluyente
|
|
p q
DisyuncinExcluyente
p
1
,
Condicional
p
q
1
,
,1
Bicondicional
Tabla1.2: RelacinentreConectoresLgicosyOperacionesAritmticas.
Comosedisponede3proposicionessimpleshay23=8interpretaciones.
:
Interpretacin p
q
r
1
V
V
V
F
V
V
V
2
V
V
F
F
V
V
V
3
V
F
V
V
V
V
V
4
V
F
F
V
F
F
F
5
F
V
V
F
V
F
V
6
F
V
F
F
V
F
V
7
F
F
V
V
V
F
F
8
F
F
F
V
F
V
V
Entonces,PesunaContingencia.
Septiembre2016
ResolviendolatabladeverdadconEXCEL
Sepuedeobservarlaequivalenciadeestatablaconlaanterioralsustituircada1porunaVycada
0porunaF.Estoseobtienealusarlasoperacionesaritmticascomoequivalentesalos
conectoreslgicosdentrodeEXCEL.
Definicin1.16:CondicionalRecproco:Dadasdosproposicionespyqylaproposicin
condicional
sedefinecomoCondicionalRecprocoalaproposicincondicional
.
Definicin1.17:CondicionalContrarrecproco:Dadasdosproposicionespyqylaproposicin
condicional
sedefinecomoCondicionalContrarrecprocoalaproposicincondicional
.
Ejemplo1.9):EscribacondicionalesRecprocoyContrarrecprocodelasexpresionessiguientes.
a) Sillueveestatarde,novoyaltrabajo.
b) Mequedarencasasolosittevasalauniversidad.
a) Lasproposicionessimplessonp:Llueveestatardeyq:novoyaltrabajo
Comocondicionalesrecprocossepuedenescribir
Sinovoyaltrabajoentoncesllueveestatarde.
Unacondicinnecesariaparanoiraltrabajoesquellevaestatarde.
Comocondicionalescontrarrecprocossepuedenescribir
Sivoyaltrabajoentoncesnollueveestatarde.
Esnecesarioquenolluevaestatardeparairaltrabajo.
b) Lasproposicionessimplessonp:Mequedarencasayq:ttevasalauniversidad
Comocondicionalesrecprocossepuedenescribir
Septiembre2016
Sittevasalauniversidadentoncesmequedarencasa.
Unacondicinnecesariaparaquetevayasalauniversidadesquemequedeencasa.
Comocondicionalescontrarrecprocossepuedenescribir
Sinotevasalauniversidadentoncesnomequedarencasa.
Essuficientequenovayasalauniversidadparanoquedarmeencasa.
Definicin1.18:TabladeVerdadAbreviada:Cuandosepretendademostrarqueunacierta
proposicinesunaTautologapodemosrecurriraunaTabladeVerdadabreviadaqueesunaTabla
deVerdadconsoloaquellasinterpretacionesenlascualeslaproposicinpuedaserverdadera.De
igualforma,siqueremosdemostrarqueunaproposicindadaesunaContradiccinsepuede
recurriraunatablaabreviadaevitandoaquellasinterpretacionesqueseanverdaderas.
Veamoslautilidaddeunatabladeverdadabreviadaenelejemplosiguiente.
Ejemplo1.10):EstablecersilasproposicionessiguientessonTautologas,Contradiccioneso
Contingencias.
a) :
.
Latabladeverdaddeestaproposicineslasiguiente
:
Interpretacin
p
q
1
V
V
V
V
2
V
F
V
V
3
F
V
V
V
4
F
F
F
V
Ahorabien,estecondicionalserfalsosolosielantecedenteesverdaderoyelconsecuentefalso;
portanto,sipesverdaderoentonces
esverdadero.Estohacequelanicainterpretacina
considerareslaprimeraporlaquelatabladeverdadabreviadaser
:
Interpretacin
p
q
1
V
V
V
V
Finalmente,laconclusinesqueP1esunaTautologa.
b) :
.
Latabladeverdaddeestaproposicineslasiguiente
Septiembre2016
:
:
:
Int. p
q
r
1
V
V
V
V
V
V
V
V
2
V
V
F
V
V
F
V
V
3
V
F
V
V
F
V
V
V
4
V
F
F
F
F
F
F
F
5
F
V
V
V
F
F
F
F
6
F
V
F
V
F
F
F
F
7
F
F
V
V
F
F
F
F
8
F
F
F
F
F
F
F
F
Paraconsiderarunatabladeverdadabreviadadebemosversololas3primerasinterpretaciones
enlascualeselantecedentedelcondicionalesverdadperoelantecedentesiempreserverdad,
enesoscasos,porloquelaconclusinfinalesqueP2tambinesunatautologa.Latabla
abreviadasemuestraacontinuacin
:
:
:
Int. p
q
r
1
V
V
V
V
V
V
V
V
2
V
V
F
V
V
F
V
V
3
V
F
V
V
F
V
V
V
V
V
V
V
V
V
V
V
V
V
V
Septiembre2016
IMPLICACINLGICA
Definicin1.19:ImplicacinLgica:UnaproposicinPimplicalgicamenteaunaproposicinQ,y
seescribe
siQesverdaderacuandoPesverdadera.
Observaciones:
NtesequelaimplicacinesfalsasiPesfalsocuandoQesfalso.
Nohayotrasinterpretacionesdeverdadparalaimplicacinlgica.Portanto,su
tabladeverdades
Interpretacin
P
1
V
V
V
2
F
F
F
Entrelaproposicincondicionalylaimplicacinexisteunarelacininteresanteyaqueambas
puedenleersedeigualmaneraPimplicaQ.EsteTeoremarecogeesarelacin.
Teorema1.1:LaproposicinPimplicalgicamentealaproposicinQsiysolosilaproposicin
condicional
esunaTautologa.
Ejemplo1.11):PruebesilaproposicinP:Lanegacindepqimplicalgicamentelanegacin
depesunaTautologa.
AlexpresarlafrasequedefinelaProposicinPsetiene
PerousandoelTeorema1.1anteriorsedefineelcondicionalsiguiente
VerificarqueP1esunatautologaimplicaquePesunatautologa.
VeamoslatabladeverdaddelaproposicinP1.
:
Interpretacin
p
q
1
V
V
V
F
F
V
2
V
F
V
F
F
V
3
F
V
V
F
V
V
4
F
F
F
V
V
V
Entonces,P1esunaTautologayporconsiguiente,Pesunatautologa.
Septiembre2016
IMPLICACIONESLGICASMSCOMUNES
Latablasiguienteresumelostiposdeimplicacionesmscomunesqueseconocenenlalgica.
NombredelaImplicacin
TipodeImplicacin
Adicin
CargadePremisas
Simplificacin
SimplificacinContrarrecproca
Importacin
Exportacin
LeydelModusPonens
LeydelModusTollens
PrimeraLeydeSilogismosHipotticos
SegundaLeydeSilogismosHipotticos
PrimeraLeydeSilogismosDisyuntivos
SegundaLeydeSilogismosDisyuntivos
LeydelDilemaConstructivo
Contradiccin
ReduccinalAbsurdo
Tabla1.3: ImplicacionesLgicasmsComunes.
Ejemplo1.12):PruebelaSegundaLeydelosSilogismosDisyuntivos.
Paraprobarestaleyhayqueprobarquelacondicionalsiguienteesunatautologa
Veamoslatabladeverdaddeestaproposicin
:
Int. P
Q
1
V
V
F
F
F
F
V
2
V
F
F
V
V
V
V
3
F
V
V
F
V
F
V
4
F
F
V
V
V
F
V
Entonces,elcondicionalplanteadoesunatautologay,porelTeorema1.1,sedemuestrala
SegundaLeydelossilogismosdisyuntivos.
Ejemplo1.13):PruebelaLeydelModusTollens.
Paraprobarestaleyhayqueprobarquelacondicionalsiguienteesunatautologa
Septiembre2016
Veamoslatabladeverdaddeestaproposicin
Int. P
Q
1
V
V
F
F
V
F
V
2
V
F
F
V
F
F
V
3
F
V
V
F
V
F
V
4
F
F
V
V
V
V
V
Entonces,elcondicionalplanteadoesunatautologay,porelTeorema1.1,sedemuestralaLey
delModusTollens.
SeproponeallectordemostrarelrestodeImplicacionesLgicasqueaparecenenlatablaanterior.
DOBLEIMPLICACINLGICA
Definicin1.20:DobleImplicacinLgica:DosproposicionesPyQtienendobleimplicacin
lgica,yseescribe
sisonlgicamenteequivalentes,esdecir,si
.
Observaciones:
Ntesequeladobleimplicacininvolucraimplicacionesenambossentidos,es
decir,
y
.
Recuerdequelaequivalenciaentreproposicionesindicaquetienenigualesvalores
deverdad.
Entrelaproposicinbicondicionalyladobleimplicacinexisteunarelacininteresanteyaque
ambaspuedenleersedeigualmanerapsiysolosiq.EsteTeoremarecogeesarelacin.
Teorema1.2:LaproposicinPesequivalentealaproposicinQsiysolosilaproposicin
bicondicional
esunaTautologa.
Ejemplo1.14):Pruebequelasdobleimplicacionessiguientessontautologas.
a)
:
b)
:
a) UsandoelTeorema1.2anteriorsedefineelbicondicionalsiguiente
VerificarqueP3esunatautologaimplicaqueP1esunatautologa.
Septiembre2016
Int.
p
q
1
V
V
V
F
F
F
F
2
V
F
V
F
F
V
F
3
F
V
V
F
V
F
F
4
F
F
F
V
V
V
V
Entonces,P3esunaTautologayporconsiguiente,P1esunatautologa.
b) UsandoelTeorema1.2anteriorsedefineelbicondicionalsiguiente
VerificarqueP4esunatautologaimplicaqueP2esunatautologa.
Int.
p
q
1
V
V
V
F
F
F
F
2
V
F
F
V
F
V
V
3
F
V
F
V
V
F
V
4
F
F
F
V
V
V
V
Entonces,P4esunaTautologayporconsiguiente,P2esunatautologa.
LasproposicionesP1yP2seconocenenlaliteraturacomoLeyesdeDeMorgan.
V
V
V
V
V
V
V
V
Septiembre2016
Lastablassiguientesresumengruposdelasequivalenciaslgicasmscomunes.
NombredelaEquivalencia
TipodeEquivalencia
DobleNegacin
,
,
nsimaNegacin
NegacindeunaTautologa
NegacindeunaContradiccin
Tabla1.4: EquivalenciasLgicasAsociadasalaNegacin.
Idempotencia
ConjuncinconunaTautologaoNeutro
ConjuncinconunaContradiccinoDominacin
PrincipiodeNoContradiccinoInversa
Conmutatividad
Asociatividad
TipodeEquivalencia
Tabla1.5: EquivalenciasLgicasAsociadasalaConjuncin.
Idempotencia
DisyuncinconunaTautologaoDominacin
DisyuncinconunaContradiccinoNeutro
PrincipiodelTerceroExcluidooInversa
Conmutatividad
Asociatividad
TipodeEquivalencia
Tabla1.6: EquivalenciasLgicasAsociadasalaDisyuncin.
TipodeEquivalencia
NegacindelaConjuncin
NegacindelaDisyuncin
Tabla1.7: LeyesdeDeMorgan.
Septiembre2016
DistributividaddelaConjuncinRespectode
laDisyuncin,porlaIzquierda
DistributividaddelaConjuncinRespectode
laDisyuncin,porlaDerecha
DistributividaddelaDisyuncinRespectodela
Conjuncin,porlaIzquierda
DistributividaddelaDisyuncinRespectodela
Conjuncin,porlaDerecha
AbsorcinDisyuntiva
AbsorcinConjuntiva
TipodeEquivalencia
DistributividadGeneralizadadelaConjuncin
RespectodelaDisyuncin
,,
,.,
DistributividadGeneralizadadelaDisyuncin
RespectodelaConjuncin
,,
,.,
Tabla1.8: EquivalenciasLgicasDondeEstnPresentesla
ConjuncinylaDisyuncin.
AutoCondicional
TipodeEquivalencia
AutoBicondicional
CondicionalconAntecedenteContradictorio
CondicionalconConsecuenteTautolgico
AsociatividaddelBicondicional
ConmutatividaddelBicondicional
DistributividaddelCondicionalRespectodela
Conjuncin,porlaIzquierda
Contrarrecproco
DescomposicindelaImplicacin
DescomposicindelaNegacindela
Implicacin
TraduccindelaEquivalencia
MutacindePremisas
NoMonotonicidad
ReduccinalAbsurdo
Tabla1.9: EquivalenciasLgicasDondeEstnPresentes
CondicionalesyBicondicionales.
Septiembre2016
Ejemplo1.15):PruebelaequivalencialgicaconocidacomoReduccinalAbsurdodelaTabla1.9
anterior.
UsandoelTeorema1.2anteriorsedefineelbicondicionalsiguiente
ElproblemaseenverificarquePesunatautologa.
VeamoslatabladeverdaddelaproposicinP.
Int.
p
q
1
V
V
F
V
F
F
V
V
2
V
F
V
F
V
F
F
V
3
F
V
F
V
F
F
V
V
4
F
F
V
V
F
F
V
V
Entonces,PesunaTautologayporconsiguiente,demostramosquelaequivalenciadeReduccin
alAbsurdosecumple.
Ejemplo1.16):Demostrarsilassiguientesproposicionessonequivalenciaslgicas.
A)
:
B)
C)
:
Estasdemostracionesserealizaranaprovechandolaspropiedadesquesehanpresentadoenlas
tablasanteriores.Sedestacaaladerechalapropiedadusadaencadapasodecadademostracin.
a)
:
.
,
1.9

,
1.7

,
1.6

,
1.6
,
1.6
,
1.6
Septiembre2016
b)
c)
1.7
,
,
1.7
1.4
1.9
1.4
1.5
1.5
1.5
1.5
1.9
1.6
1.5
Ejemplo1.17):Sidiseamosunnuevoconectorlgico*,talque
,compruebesi
cumpleconlaspropiedadesdeIdempotencia,ConmutatividadyAsociatividad.
Idempotencia:Enestecasodebecumplirseque
.Veamos
Entonces,NOsecumplelapropiedaddeIdempotencia.
Conmutatividad:Enestecasodebecumplirseque
.VeamoslaTabladeverdadde
estasproposiciones
Int.
p
q
1
V
V
F
F
F
F
2
V
F
F
V
F
V
3
F
V
V
F
V
F
4
F
F
V
V
F
F
Septiembre2016
Observandolasdoscolumnasdeladerechavemosquesondistintas,portanto,NOsecumplela
propiedaddeConmutatividad.
Asociatividad:Enestecasodebecumplirseque,paraunaterceraproposicinr,
VeamoslaTabladeverdaddeestasproposiciones
:
:
Int. p q
r
1
V V V
F
F
F
F
F
V
F
2
V V
F
F
F
V
F
F
F
F
3
V F
V
F
V
F
F
V
V
F
4
V F
F
F
V
V
F
F
F
F
5
F V V
V
F
F
V
F
F
F
6
F V
F
V
F
V
V
F
F
F
7
F F
V
V
V
F
F
V
V
V
8
F F
F
V
V
V
F
F
F
F
propiedaddeAsociatividad.
Ejemplo1.18):Consideremoselconectorlgico*delejemploanterior,talque
,
consideremosotronuevoconectorlgico,talque
.Compruebesi*cumplecon
lapropiedadDistributivaporlaIzquierdarespectoa.
Loquesesolicitaes,dadastresproposicionesp,qyr,demostrarsi
VeamoslaTabladeverdaddeestasproposiciones
:
Int. p q r
:
1
V V V F
F
F
F
F
V
F
V
2
V V F F
F
V
V
F
V
F
V
3
V F V F
V
F
V
F
V
F
V
4
V F F F
V
V
V
F
V
F
V
5
F V V V
F
F
F
V
F
F
F
6
F V F V
F
V
V
V
V
V
V
7
F F V V V
F
V
F
F
V
V
8
F F F V V
V
V
F
V
V
V
propiedadDistributivaporlaIzquierda.
Septiembre2016
RBOLESSEMNTICOS
Definicin1.21:rbolSemntico:Esunametodologagrfica,alternaalatabladeverdad,para
verificarlaverdadofalsedaddealgunaproposicinlgica.
Observaciones:
Unrbolsemnticotienenodosyramas.
Enlosnodosiremoscolocandolasproposicionessimplesinvolucradas
enlaproposicinaanalizar.
Enlasramasiremoscolocandolasposiblescondicionesdeverdad(V,F)
delaproposicinsimpleenelnododedondesalenesasramas.
Cadaramafinalizabuscandoevaluarlaproposicinaanalizarparala
condicindelaproposicinsimple.
Enelcasodequesellegueaunaconclusinparaelvalordeverdaddela
proposicinbajoanlisis,secierraesenodoimpidiendoelcrecimiento
delrbolsemntico.
SisecierralaramadelrbolconunadecisindeV,esenododecierre
sellamarnododexito.
SisecierralaramadelrbolconunadecisindeF,esenododecierrese
llamarnododefallo.
Elrbolfinalizacuandonoquedennodosabiertos.
Ejemplo1.19):Dadaslasproposicionessimplesp,qyr,obtengaelrbolsemntico
correspondientealaproposicincompuestaP.
Yaqueestninvolucradas3proposicionessimples,latabladeverdadcorrespondientetendra
23=8interpretaciones.
Parainiciarelrbolsemnticocolocamosenelnodoinicialalaproposicinsimplequeaparece
conmsfrecuenciaenP;estaproposicinsimpleesq.Apartirdeesenodoinicialsecolocanlas
dosposiblesramasconlasdoseventualesposicionesdeverdadparaq.Estosemuestraenla
Figura1acontinuacin.
AhoraseevalalaproposicinPencadacasodeverdaddeq;cuandoqesverdad,Pesfalsa
(Demustrelo!)perocuandoqesfalsonosetieneunadecisinrespectoaP.Portanto,larama
delaizquierdasecierraconunnododefalloperolaramadeladerechaquedaabiertaporloque
colocamosallotradelasproposicionessimples,penestecasoysecontinaelprocedimiento.
EstosemuestraenlaFigura2acontinuacin.
NuevamenteseevalalaproposicinPenlacondicindeverdadactual,qesfalsayptomarsus
posiblesvaloresdeverdad,VoF.Sipesverdad,entoncesPesverdadysecierraconunnodode
xitoperosipesfalsanohaydecisinyseincorporalaproposicinralrbol,repitiendoel
procedimiento.EstosemuestraenlaFigura3acontinuacin.
Septiembre2016
Elprocedimientoseculminacuandonoquedannodosabiertos.
q
V
F
r
q
p
V
Fig.1
Fig.3
Fig.2
Ejemplo1.20):Dadaslasproposicionessimplespyq,obtengaelrbolsemnticocorrespondiente
alaproposicincompuestaP.
Parainiciarelrbolsemnticocolocamosenelnodoinicialalaproposicinsimplep.Apartirde
esenodoinicialsecolocanlasdosposiblesramasconlasdoseventualesposicionesdeverdad
parap.AhoraseevalalaproposicinPencadacasodeverdaddep;cuandopesverdad,Pes
verdad(Demustrelo!)perocuandopesfalsonosetieneunadecisinrespectoaP.Portanto,la
ramadelaizquierdasecierraconunnododexitoperolaramadeladerechaquedaabiertapor
loquecolocamosalllaproposicinqysecontinaelprocedimiento.Nuevamenteseevalala
proposicinPenlacondicindeverdadactual,pesfalsayqtomarsusposiblesvaloresde
verdad,VoF.Siqesverdad,entoncesPesfalsaysecierraconunnododefalloperosiqesfalsa
Pesverdadysecierraconunnododexito.Elprocedimientoculminaporquenoquedannodos
abiertos.EstosemuestraenlaFiguraacontinuacin.
p
V
F
q
Septiembre2016
FORMASNORMALES
Definicin1.22:Literal:Esunaproposicinlgicasimpleosunegacin.
Definicin1.23:FormaNormalConjuntiva(FNC):Esunaproposicincompuestaqueconsistede
laconjuncindedisyuncionesdeliterales.
Observaciones:
UnaFNCseexpresamediantelaexpresinsiguiente
Definicin1.24:FormaNormalDisyuntiva(FND):Esunaproposicincompuestaqueconsistede
ladisyuncindeconjuncionesdeliterales.
Observaciones:
UnaFNDseexpresamediantelaexpresinsiguiente
Ejemplo1.21):Dadaslasproposicionessimplesp,qyr,verifiquesilaproposicincompuestaPes
unaformanormalconjuntiva.
:
Ntesequedentrodecadaparntesissolohaydisyuntoresquerelacionanalosliterales.Ntese,
tambin,queentrelosparntesissolohayconjuntores.Portanto,laproposicincompuestaP
cumpleconladefinicindeserunaFNC.
unaformanormaldisyuntiva.
:
Ntesequedentrodecadaparntesissolohayconjuntoresquerelacionanalosliterales.Ntese,
tambin,queentrelosparntesissolohaydisyuntores.Portanto,laproposicincompuestaP
cumpleconladefinicindeserunaFND.
unaformanormalconjuntiva.
Septiembre2016
Ntesequedentrodecadaunodelosdosprimerosparntesissolohaydisyuntoresquerelacionan
alosliteralesyqueentrelosparntesissolohayconjuntores.Pero,eneltercerparntesisNOhay
undisyuntorsolounliteral,portanto,PNOcumpleconladefinicindeserunaFNC.
Teorema1.3):TodaproposicincompuestaPpuedesertransformadaenunaFNCoFNDusando
laspropiedadesdelosconectoreslgicosbsicos.
Algoritmo1.1):SeaunaproposicincompuestaP.LospasosaseguirparatransformarPauna
FormaNormalConjuntiva(FNC)sonlossiguientes:
TRANSFORMACINDEUNAPROPOSICINPALAFORMANORMALCONJUNTIVA(FNC)
PASO
EXPLICACIN
EQUIVALENCIASAAPLICAR
A11A
EliminarlosBicondicionales
A11B
EliminarlosCondicionales
A11C
InteriorizarlasNegaciones
A11D
InteriorizarlasDisyunciones
Algoritmo1.2):SeaunaproposicincompuestaP.LospasosaseguirparatransformarPauna
FormaNormalDisyuntiva(FND)sonlossiguientes:
TRANSFORMACINDEUNAPROPOSICINPALAFORMANORMALDISYUNTIVA(FND)
PASO
EXPLICACIN
EQUIVALENCIASAAPLICAR
A12A
EliminarlosBicondicionales
A12B
EliminarlosCondicionales
A12C
InteriorizarlasNegaciones
A12D
InteriorizarlasConjunciones
Notaimportante: losdosalgoritmossonigualesenlos3primerospasossolodifierenenelcuarto.
Septiembre2016
Ejemplo1.24):Dadaslasproposicionessimplesp,qyr,utiliceelalgoritmo1.1paraexpresarlas
proposicionescompuestasPienlaformanormalconjuntiva.
a)
:
b)
c)
:
d)
a) Latablasiguienteresumeelusodelalgoritmo1.1paratransformarP1.
PASODELALG1.1
RESULTADODELPASOAPLICADO
InicioP1
A11A
NohayBicondicionales
A11B
A11C
A11C
A11C
A11D
FINFNC(P1)
Nteseque,comodatointeresante,elpasoCseaplictresvecesseguidasantesdeiralpaso
siguiente.
b) Latablasiguienteresumeelusodelalgoritmo1.1paratransformarP2.
PASODELALG1.1
InicioP2
A11A
A11B
A11C
Nohaynegacionesnidoblenegaciones
A11D
NohayDistributividad
FINFNC(P2)
Septiembre2016
c) Latablasiguienteresumeelusodelalgoritmo1.1paratransformarP3.
PASODELALG1.1
InicioP3
A11A
A11B
A11B
A11C
A11C
A11C
A11D
A11D
A11D*
A11D
FINFNC(P3)
NtesequeelpasoBseaplic2veces,elpasoCseaplic3vecesyelpasoDseaplic3veces.El
pasoA11D*eselreconocimientodeunaTautologaysusimplicaciones.
d) Latablasiguienteresumeelusodelalgoritmo1.1paratransformarP4.
PASODELALG1.1
InicioP4
A11A
A11B
A11B
A11C
A11C
A11C*
A11D
A11D
A11D*
FINFNC(P4)
Septiembre2016
NtesequeelpasoAseaplicunavezydosveceslospasosB,CyD.LospasosA11C*yA11D*son
elreconocimientodeunaTautologaysusimplicaciones.
Ejemplo1.25):Dadaslasproposicionessimplesp,qyr,utiliceelalgoritmo1.2paraexpresarlas
proposicionescompuestasPienlaformanormaldisyuntiva.
a)
:
b)
:
c)
:
a) Latablasiguienteresumeelusodelalgoritmo1.2paratransformarP1.
PASODELALG1.2
InicioP1
A12A
A12B
A12C
A12C
A12C
A12D
NohayqueinteriorizarlasConjunciones
FINFND(P1)
b) Latablasiguienteresumeelusodelalgoritmo1.2paratransformarP2.
PASODELALG1.2
InicioP2
A12A
A12B
A12C
A12C
A12D
A12D
FINFND(P2)
Septiembre2016
c) Latablasiguienteresumeelusodelalgoritmo1.2paratransformarP3.
PASODELALG1.2
InicioP3
A12A
A12B
A12B
A12C
A12D
A12D*
FINFND(P3)
ElpasoA12D*eselreconocimientodeunaContradiccinysusconsecuencias.
CUADRORESUMENDELSIGNIFICADODELOSCONECTORESLGICOSY
SUENUNCIADOENELIDIOMAESPAOL
CONECTOR
NEGACIN
REPRESENTACIN

CONJUNCIN
DISYUNCIN
INCLUYENTE
CONDICIONAL
BICONDICIONAL
FRASESEQUIVALENTESENESPAOL
nop,esfalsop,noesciertop,noeselcasoquep,
noocurrequep,nuncap
pyq,(p,q),pperoq,psinembargoq,paunqueq,
pademsq,pnoobstanteq,papesardeq
poq,opoqoambos,porlomenosunaentrepyq,
almenospoq,comomnimopoq
sipentoncesq,psolosiq,qsip,qcuandop,
qesnecesarioparap,pessuficienteparaq,
palcanzaparaq,pbastaparaq,parapesnecesarioq,
paraqessuficientep,nopamenosqueq,
noesposiblequepynoq,(sinoq,nop),
(salvoqueq,nop),qporquep,
qseconcluyedep,qsiemprequep,qpesp,
qcadavezquep,qesinsuficienteparap,qyaquep
pesnecesarioysuficienteparaq,psiysolosiq
Tabla1.10: FrasesenEspaolEquivalentesalsignificadodelos
ConectoresLgicosmsComunes.
Septiembre2016
PREMISA,CONCLUSINYRAZONAMIENTO
Cuandohemosplanteadoproposicionessehaconsideradolasdoseventualescondicionesde
verdadparaella:VerdaderaoFalsa.Apartirdesuponerunacondicindeverdadhemosrealizado
algunasdeduccionesacercadelacondicindeverdaddealgunaproposicincompuestapero,las
preguntasquenoshacemosenestemomentoson:laproposicinoriginaleraverdadera?,era
falsa?,porqu?Vamosadiscutirahoracomohacemosparaconvencernosdelacondicinde
verdadquetengaunaproposicin.Vamosaanalizarargumentosquepromuevanese
convencimientosobrelacondicindeverdaddealgunaproposicin.Aestosargumentosesloque
conoceremoscomodemostracindeunaproposicin.
Definicin1.25:Premisas:Esungrupodeproposiciones,simplesocompuestas,quesupondremos
comoverdaderasyqueconstituyenelpuntodepartidadelproceso.
Observaciones:
Elconjuntodeproposiciones{p1,p2,,pn}seconvierteenlaPremisaP
cuandocadaunadeellasesverdaderaparahacerquelaPremisaPsea
verdadera;estoseexpresamediante
Definicin1.26:Conclusin:Esunaproposicinqqueserconsecuencialgicadelaspremisas.
Definicin1.27:Razonamiento:Eslaproposicincondicionalquerelacionaalconjuntodelas
premisasconlaconclusinq.
Observaciones:
Dadounconjuntodeproposiciones{p1,p2,,pn}consideradascomo
Premisasyunaconclusinqsedefinecomorazonamientoalcondicional
siguiente
Unrazonamientoseconsiderarvlidosilaconclusinesverdaderasi
laspremisassonverdaderas.
Silaconclusindelaspremisasverdaderasesqueqesfalso,se
considerarqueelrazonamientoNOesvlido.
Otrasformaslingsticasparaexpresarelrazonamientovlidosonlas
siguientes:
a) LaspremisasP={p1,p2,,pn}implicanlaproposicinq.
Septiembre2016
esunteoremacuyashiptesissonlas
premisasP={p1,p2,,pn}ycuyatesiseslaproposicinq.
c) Laproposicinqsederivalgicamentedelaspremisas
P={p1,p2,,pn}.
b)
Otrasformasdenomenclaturadecmoseplanteaelrazonamientoson
lassiguientes:
,,
..
.
Teorema1.4):Parademostrarqueunrazonamientoesvlidohayquecomprobarunadelasdos
condicionessiguientes:
a) Queelcondicional
esunaTautologa.
b) Quelaimplicacinlgica
esverdadera.
Ejemplo1.26):Dadoelsiguienteconjuntodeproposiciones
, ,demuestreque,siellasse
considerancomopremisas,elrazonamientonosllevaaconcluir .
EnrealidadnospreguntansielsiguientecondicionalesunaTautologaono
ParaverificarsielcondicionalesunaTautologahemosconocidovariosmtodos,porejemplo,
desarrollarlaTabladeverdadodesarrollarelrbolsemntico.
EnelcasodelaTabladeverdadesbuenorecordarque,enestecaso,hay(22=4)interpretaciones
distintasqueestudiar.Vamosadesarrollarlacorrespondientetabladeverdad.
Interpretacin
p
q
1
V
V
V
V
V
2
V
F
F
F
V
3
F
V
V
V
F
4
F
F
V
F
V
Alobservarlaltimacolumnadelatabladeverdadencontramosquelatercerainterpretacin
resultaserfalsaporlotanto,laproposicinnoesunaTautologaloque,finalmente,nosllevaa
concluirqueelrazonamientoplanteadoNOesvlido.
Septiembre2016
Ejemplo1.27):Dadoelsiguienteconjuntodeproposiciones
,
,
, ,demuestre
que,siellasseconsiderancomopremisas,elrazonamientovlidonosllevaaconcluir .
EnrealidadnospreguntansielsiguientecondicionalesunaTautologa
Vamosaaprovecharesteejemploparadesarrollarunrbolsemntico,quesemuestraa
continuacin.Comosepuedeobservar,elrbolestcompletoyaquenohaynodosabiertosy,
adems,todoslosnodoscerradossondexitoporloquesedemuestralaTautologa.
p
F
V
r
q
q
F
V
s
V
V
Ademsdelatabladeverdadyelrbolsemntico,existenotrosmtodosparademostrarsiun
razonamientoesvlido.Vamosaestudiarahoraunadeellos,elmtododelrboldeVerdadde
Gentzen.
Septiembre2016
RBOLDEVERDADDEGENTZEN
Estemtodotienebaseendosprincipiosgeneralesqueson
a) PrincipiodeReduccinalAbsurdo.
b) PrincipiodelaDescomposicindelosConectores.
Veamoslaexplicacindecadaunodeellos.
a) PrincipiodeReduccinalAbsurdo.
Esteprincipiotienebaseenlasiguienteequivalencia(recuerdequeCesunaContradiccin),
Paraverificarestaequivalencia,estableceremosacontinuacinlatabladeverdaddeambas
proposiciones
Interpretacin
p
q
1
V
V
F
F
V
V
2
V
F
V
V
F
F
3
F
V
F
F
V
V
4
F
F
V
F
V
V
Observandolasdoscolumnasdestacadasennegritassepuedeverquetienenlosmismosvalores
deverdadporloquesecompruebalaequivalencia.
Portanto,sicolocamoscomoantecedentealaspremisasyalanegacindelconsecuenteoriginal
y,demostramosqueesoesunaContradiccin,habremosdemostradolavalidezdel
razonamiento.
b) PrincipiodelaDescomposicindelosConectores.
EstePrincipiotienebaseenexpresarunaproposicincompuestacomounaformanormal
conjuntiva(FNC)odisyuntiva(FND).
Lasequivalenciasqueseusanenestadescomposicin,seresumenenelcuadrosiguiente
PROPOSICIONESEQUIVALENTES
PROPOSICIONESEQUIVALENTES
Septiembre2016
PasosaseguirparaconstruirunrboldeGentzen:
Aligualqueelrbolsemntico,elrboldeGentzenconstadenodosyramas,peroadiferenciade
aquel,eneldeGentzendecadanodosaleounasolaramaquecorrespondeaunaproposicin
simpleodosramas,cuandocorrespondeaunaproposicincompuestadeltipodisyuncin.
1) FijacindelObjetivo: DadounconjuntodePremisasP={p1,p2,,pn}yunaproposicinq,
determinarsielrazonamiento
esvlido.
2) Construyaelconjunto
, , , , constituidoporlaspremisasoriginalesyla
negacindelaconclusin.RecuerdeelPrincipiodeDescomposicindeConectorespara
simplificarpremisascompuestasenpremisassimples.
3) ComienceaconstruirelrbolescogiendounadelasproposicionesenP*.Sesugiereescoger
primerocadaunadelasproposicionessimples.PremisaescogidaseeliminadelconjuntoP*.
Recuerdeque,pordefinicin,laspremisassonverdaderas.
4) SialrecorrerunasecuenciaderamasseconcluyeconunaContradiccin,secierraesecamino
asignndoleunvalordeverdadigualaFalso.
5) ElrbolculminacuandotodosloscaminosfinalizanconunvalorFalsoocuandosehayan
removidotodaslaspremisasdeP*,loquesucedaprimero.Puedeserposiblequesiseagotan
todaslaspremisasalgunaramaquedeabierta.
6) Sitodaslasramasquedancerradasseconcluyequeelrazonamientofuevlidopero,encaso
contrario,elrazonamientonoservlidoylosresultadosdelasramasabiertaspasanaser
contraejemplos.
Ejemplo1.28):DesarrolleunrboldeGentzenparaelejemplo1.27.
LosconjuntosPyP*sonlossiguientes
:
,
,
, :
,
,
, ,
ConbaseenelPrincipiodeDescomposicindeConectoressepuedeescribirelconjuntoP*dela
formasiguiente
:
,
,
, ,
Delas5proposicionesdeP*,lastresprimerassoncompuestasylasdosltimassonsimplesporlo
quesearrancarelrbolescogiendoestasproposicionessimples.Lafigurasiguientemuestraese
inicio.
Septiembre2016
Acontinuacincolocaremoslasramasquecorrespondenalasproposicionescompuestas.Yaque
,aparecelaprimeraFalaizquierda.Deigualmaneracon
,
y
finalmente,
aparecenelrestodeFparadejarelrbolcerrado.Comoconclusin,el
razonamientoesvlido.
Ejemplo1.29):DesarrolleunrboldeGentzenparaelejemplo1.26.
LosconjuntosPyP*sonlossiguientes
:
, :
, ,
formasiguiente
:
, ,
Delastresproposicioneslasdosltimassonsimples,comenzaremoselrboldeGentzenporall.
Septiembre2016
NOsecierraningunarama!
Comoconclusin,elrazonamientoNoesvlidoyaquehayramasquenosecierran.
Ejemplo1.30):Veamossielsiguienterazonamientoesvlido.
,
,
ParaverificarsiesterazonamientoesvlidodesarrollaremosunrboldeGentzenportanto,los
conjuntosPyP*sonlossiguientes
:
,
, :
,
, ,
formasiguiente
:
,
, ,
Solohayunaproposicinsimpleporloquearrancaremoselrbolporall.Acontinuacin
comenzamosadibujarlasramascorrespondientesalastresproposicionescompuestas.
Septiembre2016
Comopuedeobservarse,haycaminosquequedanabiertosporloquelaconclusinesqueel
razonamientoplanteadonoesvlido.
Septiembre2016
INFERENCIAS
Definicin1.28:InferenciaLgica:Eselprocedimientomedianteelcualsededucequela
conclusinqesverdaderaapartirdeconsiderarquetodaslasproposicionesdelconjuntodelas
premisas{p1,p2,,pn}sonverdaderas.
Observaciones:
LaInferenciaLgicasedasi
LaInferenciaLgicasedacuandoelrazonamientoesvlido.
LaInferenciaLgicasedasisecumpleelTeorema1.4.
ParaanalizarlaInferenciaseusarlanomenclaturasiguiente
.
.
.
Donde seleecomoporlotanto.
Septiembre2016
LatablasiguientemuestralasInferenciasLgicasmscomunes.
REGLA
NOMBRE
FORMATAUTOLGICA
Adicin
Simplificacin
ModusPonens
ModusTollens
SilogismoHipottico
SilogismoDisyuntivo
Conjuncin
DilemaConstructivo
DilemaDestructivo
Contradiccin
DemostracinCondicional
DemostracinporCasos
Tabla1.11: InferenciasLgicasmsComunes.
Ejemplo1.31):Determinarsielrazonamientosiguienteesvlido.
Aprovechandolasequivalenciasenlastablas1.4a1.11setiene
Septiembre2016
Elrazonamientoesvlido.
Ejemplo1.32):Determinarsielrazonamientosiguienteesvlido.
Dadoqueenlatabla1.11nohayequivalenciasparaestasdospremisasvamosadesarrollarun
rboldeGentzen.LosconjuntosPyP*sonlossiguientes
:
,
:
,
,
formasiguiente
:
,
,
,
,
,
, ,
Comenzaremoselrbolconlasproposicionessimplesry .
Comoconclusin,elrazonamientoNoesvlidoyaquehayramasenelrbolquenosecierran.
Septiembre2016
Septiembre2016
LGICADEPREDICADOS
Cuandoexpresamosunafrasenotieneporquequedarclarosiellaesunaproposicinyaqueel
valordeverdadpuededependerdealgunascondicionesadicionales,noexpuestasenlafrase
misma.
Comoejemplosdeestopodemosexpresarx=10oLaciudadeslacapitaldeVenezuela.Enla
primerafraselaverdadafalsedaddependedeculeselvalordex,portanto,nopuedeser
consideradacomounaproposicin.Deigualmanera,lasegundafraseserunaproposicin
cuandoespecificamoscualeslaciudadaconsiderar.
Vamosahablarahoradeenunciadosdeclarativosquedependendeunasciertascondicionesque
llamaremosvariablesqueestnsujetasatomarvaloresdistintosperodentrodeuncierto
conjuntodenominadouniversoodominio.
Definicin1.29:Predicado:Esunaafirmacinqueexpresaunapropiedaddeunobjetoouna
relacinentrevariosobjetos.Estaafirmacinpasaraserunaproposicincuandocadaobjeto
tomaunvalorespecfico.
Definicin1.30:Variable:Escadaunodelosobjetosdelosquedependeunpredicado.
Definicin1.31:Universo:Eselconjuntodelosposiblesvaloresquepuedetomarcadaunadelas
variablesqueconformanunpredicado.
Observaciones:
Unpredicadopquedependedeunavariablexsedenotarcomop(x).
Unpredicadoqquedependedelosvaloresdedosvariablesxeyse
denotarcomoq(x,y).
Unpredicadorquedependede3variablesx,y,zsedenotarcomo
r(x,y,z).
Eluniversodebeteneralmenosunelemento.
AluniversodevaloresdeunavariablexseledenotarcomoUx.
Aluniversodevaloresdevariasvariables,porejemplox,y,z,sele
denotar
,elcualseexpresacomoelproducto
cartesianodelosuniversosmarginalesdecadavariable.
Ejemplo1.35):Expresarlafrasex=10comounpredicadoyverificarquvalordeverdadtoma
sieluniversodevaloresdexesUX={0,5,10,22}.
Sea,entonces,elpredicadop(x)=x=10.Alevaluarp(x)paralosdistintosvaloresdexsetiene
ValordelaVariablex Valordelpredicado Valordeverdad

0
0=10
FALSO
5
5=10
FALSO
10
10=10
VERDADERO
22
22=10
FALSO
Septiembre2016
Ejemplo1.36):Expresarlafrasex+y=10comounpredicadoyverificarquvalordeverdad
tomasieluniversodevaloresdexesUX={0,5,10}yeluniversodevaloresdeyesUY={0,10,15}.
Sea,entonces,elpredicadoq(x,y)=x+y=10.Alevaluarq(x,y)paralosdistintosvaloresdexe
ysetiene
ValordelasVariablesxey Valordelpredicadoq(x,y) Valordeverdad
(0,0)
0=10
FALSO
(0,10)
10=10
VERDADERO
(0,15)
15=10
FALSO
(5,0)
5=10
FALSO
(5,10)
5=10
FALSO
(5,15)
10=10
VERDADERO
(10,0)
10=10
VERDADERO
(10,10)
20=10
FALSO
(10,15)
25=10
FALSO
Ejemplo1.37):Expresarlafrasexeslacapitaldeyqueseencuentraenelcontinentezcomoun
predicadoyverificarquvalordeverdadtomasieluniversodevaloresdexesUX={Caracas,
Maracaibo,Brasilia},eluniversodevaloresdeyesUY={Brasil,Venezuela,Argentina}yeluniverso
devaloresdezesUZ={Asia,Europa,Amrica}.
Sea,entonces,elpredicador(x,y,z)=xeslacapitaldeyqueseencuentraenelcontinentez.Al
evaluarr(x,y,z)paraalgunosvaloresdex,y,zsetiene
ValordelasVariablesx,y,z
Valordelpredicador(x,y,z)
Valordeverdad
(Caracas,Argentina,Amrica)
CaracaseslacapitaldeArgentina
FALSO
queseencuentraenAmrica
(Brasilia,Brasil,Amrica)
BrasiliaeslacapitaldeBrasilquese
VERDADERO
encuentraenAmrica
(Caracas,Venezuela,Amrica)
CaracaseslacapitaldeVenezuela
VERDADERO
queseencuentraenAmrica
Porcierto,losnicosvaloresdeverdadder(x,y,z)quesonverdaderosaparecenenlatabla
anterior.Elrestodecasos,deltotalde27,sonfalsos.
Ejemplo1.38):Evaluarlospredicadossiguientesenelpar(x,y)=(3,8)yverificarculessonlos
valoressiguientesquetomarnxey.
a) Siyx=5,entoncesx=x+3.
b) Sixy=5,entoncesx=x+3.
c) Sixy=32,hacerx=x+3,sinoesas,hacerx=y+5.
Septiembre2016
a) Definimoslospredicadosp(x,y)=yx=5yq(x)=x=x+3.
Esteenunciadosepuedeexpresarentrminosdelosconectoreslgicoscomo
Ahorabien,p(3,8)=83=5esverdaderoportantolaconclusinq(3)=32=1,esverdadera
ylosvaloressiguientesdexeysernX=1,y=8.
b) Definimoslospredicadosp(x,y)=xy=5yq(x)=x=x+3.
Esteenunciadosepuedeexpresarentrminosdelosconectoreslgicoscomo
Ahorabien,p(3,8)=38=55esfalsoportantolaconclusinq(3)=32=1,esfalsaylos
valoressiguientesdexeysernX=3,y=8.
c) Definimoslospredicadosp(x,y)=xy=32,q(x)=x=x+3yr(x,y)=x=y+5.
Ahorabien,p(3,8)=2432esfalsoportanto,enlugardeq(x),queserfalso,seevalar(x,y),
queserverdadera.Entonces,r(3,8)=x=8+5=13ylosvaloressiguientesdexeysern
respectivamentex=13,y=8.
Hemosvistoquecadapredicadoseconvierteenunaproposicincuandoleasignamosvalores
especficosasusvariables.Ahoraesaproposicinserverdaderaparaalgunosvaloresdesus
variablesyfalsaparaotrosvaloresdesusvariables.Estollevaalasiguientedefinicin.
Definicin1.32:DominiodeVerdad:Eselconjuntodelosposiblesvaloresdecadaunadelas
variablesquehacenqueunpredicadoseaunaproposicinverdadera.
Observaciones:
ElDominiodeverdaddeunpredicadop(x,y,z,,w)eneluniversoUse
denotarcomo
, , ,, .
Sielpredicadonopuedeserunaproposicinverdaderaparaningunodelos
valoresdelasvariables,elDominiodeVerdadserunconjuntovaco.
Septiembre2016
Ejemplo1.39):DetermineelDominiodeVerdadparaelpredicadodelejemplo1.35eneluniverso
allindicado.
Enelejemplo1.35sedeterminelvalordeverdaddelaproposicinp(x)=x=10alevaluarlaen
cadaunodelosvaloresdeluniversoUX={0,5,10,22}yseconcluyquesoloeraverdadcuandox
eraiguala10,portanto,elDominiodeVerdadser
10
allindicado.
Enelejemplo1.36sedeterminelvalordeverdaddelaproposicinq(x,y)=x+y=10al
evaluarlaencadaunodelosvaloresdeluniversoy,portanto,elDominiodeVerdadser
0,10 , 5,15 , 10,0

,
allindicado.
Enelejemplo1.37sedeterminelvalordeverdaddelaproposicinr(x,y,z)=xeslacapitaldey
queseencuentraenelcontinentezalevaluarlaencadaunodelosvaloresdeluniversoy,por
tanto,elDominiodeVerdadser
,
,
,
,
,
, ,
CUANTIFICADORES
CuandoqueremoscontarcuntosdelosvaloresdelasvariablesestnincluidosenelDominiode
Verdadpodemosincluirfrasescomoestasparadescribireseconjunto:paratodovalordela
variable,existealmenosunvalordelavariable,existeunnicovalordelavariable.Estas
frasesnosayudanacuantificarlosvaloresparaloscualeslaproposicinesverdadera.Estonos
permitegenerarlasdefinicionessiguientes.
Definicin1.33:CuantificadorUniversal:CuandoloselementosdelDominiodeVerdadcoinciden
contodosloselementosdelUniversodefinimoselCuantificadorUniversal.
Observaciones:
Elcuantificadoruniversalsedenotaporlaexpresin
,
y
seleeparatodoxqueperteneceaUX,p(x)esverdadera.
Lafraseparatodoxtambinpuedeleersecomoparacadax,para
cualquierx,paraxarbitrario.
Septiembre2016
Definicin1.34:CuantificadorExistencial:CuandoelDominiodeVerdadnoesunconjuntovaco
definimoselCuantificadorExistencial.
Observaciones:
Elcuantificadorexistencialsedenotaporlaexpresin
,
yseleeexistealmenosunvalordexqueperteneceaUX,talquep(x)es
verdadera.
Lafraseexistealmenosunxtambinpuedeleersecomoparaalgnx,
existeunx.
Definicin1.35:CuantificadorExistencialnico:CuandoenelDominiodeVerdadhayunsolo
valordefinimoselCuantificadorExistencialnico.
Observaciones:
Elcuantificadorexistencialnicosedenotaporlaexpresin !
,
yseleeexisteunsolovalordexqueperteneceaUX,talquep(x)esverdadera.
Lafraseexisteunsolovalordextambinpuedeleersecomoparasolo
unx,existeunoysolounx.
Ejemplo1.42):Expresecadapredicadosiguiente,eneluniversoallindicado,entrminosdelos
cuantificadores.
a) p(x)=xesunaciudaddeVenezuelaenelUniversoUX={NewYork,Madrid,Caracas,Pars}.
b) p(x)=xesunaciudaddeVenezuelaenelUniversoUX={Mrida,Maracaibo,Caracas,
Cuman,Maracay}.
c) p(x)=xesunaciudaddeVenezuelaenelUniversoUX={Caracas,Pars,Madrid,Maracay}.
NtesequeelpredicadoeselmismoperoelUniversoesdistintoencadacaso.
a) Sepuedeobservarqueslounodelosposiblesvaloresdexhacequep(x)seaverdad.Por
tanto,paralarespuestasolicitadahayqueusarelCuantificadorExistencialnico.
b) Sepuedeobservarquetodoslosvaloresdexhacenquep(x)seaverdad.Portanto,parla
respuestasolicitadahayqueusarelCuantificadorUniversal.
c) Sepuedeobservarquealgunosdelosvaloresdexhacenquep(x)seaverdadperootros
valoreshacenqueseafalso.Portanto,paralarespuestasolicitadahayqueusarel
CuantificadorExistencial.
Septiembre2016
Ejemplo1.43):Escribacadaunadelassiguientesoracionesentrminosdecuantificadoresenlos
universosadecuadosyestablezcasudominiodeverdad.
a) Todonmeroracionalesmayorqueuno.
b) Algunosnmerosnaturalessonmltiplosde5.
c) Existeunniconmerorealqueelevadoalcuboesiguala(8).
d) Elproductodedosnmerosrealespositivosesunnmerorealpositivo.
e) ExisteunanicaciudadenVenezuelaconmsde500.000habitantes.
f) Haynmerosenterosquenosonnmerosprimos.
a)
,
1 .Conlaletra sesimbolizaalconjuntodelosnmerosracionalesqueesel
universoquecorresponde.
LaproposicinplanteadaesFALSAyaquesepuedenescogervaloresdexenlosracionalesque
nosonmayoresqueuno,porejemplo,1/24/5.Portanto,sudominiodeverdades
b)
,
5 .Conlaletra sesimbolizaalconjuntodelosnmerosnaturalesqueesel
universoquecorrespondeyconelpuntosobreelnmero5sesimbolizaelmltiplode.
LaproposicinplanteadaesVERDADERAparaalgunosvaloresyesFALSAparaotros,portanto,
sudominiodeverdades
5,10,15, ,5
,
8 .Conlaletra sesimbolizaalconjuntodelosnmerosrealesqueesel
c)
!
,
universoquecorresponde.
LaproposicinplanteadaesVERDADERAyaquex=2eselnicovalorenlosnmerosreales
queelevadoelcuboesigual(8).Portanto,sudominiodeverdades
2
!
,
d)
,
.Con sesimbolizaalconjuntodelosnmerosreales
positivosqueeseluniversoquecorresponde.Ntesequeenesteejemploseestnutilizando
doscuantificadores.
LaproposicinplanteadaesVERDADERAyaqueesunapropiedaddelamultiplicacinde
nmerosrealespositivos.Portanto,sudominiodeverdades
e) !
,

500.000
.DondeUesel
conjuntodetodaslasciudadesdeVenezuela.
Septiembre2016
LaproposicinplanteadaesFALSAyaqueenVenezuelahayvariasciudadesquecumplenesta
condicin,porejemplo,Caracas,Maracaibo,ValenciayMaracay,entreotras.
!
,

.
f)
,
.Conlaletra sesimbolizaalconjuntodelosnmerosenterosque
eseluniversoquecorresponde.
LaproposicinplanteadaesVERDADERAparaalgunosvaloresyesFALSAparaotros,portanto,
sudominiodeverdades
, 12, 6, ,4,6,8,10,
FRMULASCUANTIFICACIONALES
EnelcasoDejemploanteriorseinvolucrarondoscuantificadoresasociadosaunpredicado.
Existenotrassituacionesdondepodamosinvolucrarvarioscuantificadoreseinclusorelacionarlos
conconectoreslgicos.Elestudiodeestasrelacionesnospermitedisearloquevamosaconocer
comoFrmulasCuantificacionales.
Definicin1.36:AlcancedeunCuantificador:Esaquellaexpresinqueindicaculeselcampode
aplicacindelcuantificador.
Observaciones:
Elalcancedeuncuantificadorseexpresaalindicar,entrecorchetes,aquella
expresinalaqueseleaplicaelcuantificador.Esdecir
,
. ,
.
Cuandoesevidentelaexpresindelalcancedelcuantificador,sepueden
omitirloscorchetes.
Ejemplo1.44):Aclaresuficientementeelalcancedeloscuanficadoresdeloscasossiguientes.
a)
,
:
,
b)
:
:
,
a) Enelprimercaso,elalcancede
eslaexpresinentrecorchetesmientrasqueelalcance
de
eselparntesisacontinuacindelosdospuntos;sesustituyeelusodelcorchetepor
parntesisparanocrearunnidodeagrupadoresiguales.Esinteresanteobservarqueenel
alcancede
locolocadoentreparntesisserunpredicadocompuestoporunafrmula
proposicional.Peroenelalcancedel
locolocadoentrecorchetescontienetanto
conectoreslgicoscomocuantificadores.
Septiembre2016
b) Enestesegundocaso,elalcancede
eslaexpresinentrecorchetesquelesiguemientras
queelalcancede
eslaexpresinentreparntesisquelesigue.Aligualqueenelcaso
anterior,losalcancesinvolucranpredicadosquetienenconectoreslgicosycuantificadores.
Ejemplo1.45):Silasvariablesx,y,zpertenecenaluniversodelosnmerosenteros,expreselas
frasessiguientesennotacinlgica.
a) Paracadaxey,existealgnztalquexy=z.
b) Paracadaxey,existealgnztalquexz=y.
c) Existeunxtalqueparatodoy,yx=y.
d) Siseresta0acualquierentero,elresultadoeselmismoentero.
e) Siseresta3de5,da2.
Paratodosloscasosvamosaconsiderarunpredicadop(x,y,z)entrminosdelasvariablesx,y,z
talque
, ,
"
".
a)
,
:
, , .
b)
,
:
, ,
.
c)
:
,
, ,
.
d)
,
, 0, .
e)
5,3,2 .
Definicin1.37:FrmulaCuantificacional:Esaquellaexpresinlgicaqueinvolucratanto
cuantificadorescomoconectoreslgicosparaexplicaralgunasituacindada.
Observaciones:
Sedebeprestarespecialatencinalalcancedecadacuantificadorlgicoydelos
conectoreslgicosutilizados.
Ejemplo1.46):Expreselasfrasessiguientesennotacinlgica.
a) Todosloshombressonmortales.
b) Algunasniassonrubias.
c) EnVenezuelahaymujeresavaras.
d) Haynmerosx,y,z,talesque(x+y=z+2).
e) Todoslosnovatossoninteligentes.
f) Algunosjvenessonatletas.
g) Haypersonasquesoninteligentesonosonjvenes.
i. Definamoslospredicadosp(x)=xesunhombreyq(x)=xesmortalenelUniverso
Ux={personas},entonceslaexpresinlgicaser
,
.
Septiembre2016
SidefinimoslosmismospredicadosperoelUniversoesotro,digamosSx={hombres},
,
.
laexpresinlgicacambia,resultandolasiguiente
PerosidefinimosesospredicadosenuntercerUniverso,digamosRx={mortales},la
,
.
expresinlgicaser
ii.
Definamoslospredicadosn(x)=xesniaym(x)=xesrubiaenelUniverso
Ux={personasmenoresde10aos},entonceslaexpresinlgicaquecorrespondeser
:
.
iii.
iv.
v.
vi.
vii.
Definamoslospredicadosr(x)=xesmujerys(x)=xesavaraenelUniverso
Ux={personasvenezolanas},entonceslaexpresinlgicaser
:
.
Definamoselpredicadot(x,y,z)=x+y=z+2enelUniversocomndelosnmerosreales,
entonceslaexpresinlgicaser
,
, ,
.
DefinamoslospredicadosN(x)=xesnovatoeI(x)=xesinteligenteenelUniverso
,
.
DefinamoslospredicadosJ(x)=xesjovenyA(x)=xesatletaenelUniverso
Ux={personasmenoresde35aos},entonceslaexpresinlgicaser
:
.
ConsideremoslospredicadosJ(x)eI(x),decasosanterioresenesteejemplo,enelUniverso
:
.
Lossiguientesdosteoremasplanteanunarelacindeequivalenciaentrecuantificadoresylas
operacionesdeconjuncinodisyuncindeproposicioneslgicas.
Teorema1.5:RelacindeEquivalenciaentreCuantificadorUniversalyConjuncin:Considereun
predicadop(x)cuyoUniversoUX={u1,u2,,un}seaunconjuntoconunnmerofinitode
elementosentonceslaexpresin
,
esequivalentealaproposicincompuesta
.
Observaciones:
Comoconclusindeesteteoremasepuedeescribirque
Septiembre2016
Teorema1.6:RelacindeEquivalenciaentreCuantificadorExistencialyDisyuncin:Considere
unpredicadop(x)cuyoUniversoUX={u1,u2,,un}seaunconjuntoconunnmerofinitode
,
esequivalentealaproposicincompuesta
elementosentonceslaexpresin
.
Observaciones:
Comoconclusindeesteteoremasepuedeescribirque
Ejemplo1.47):Expreselascuantificacionessiguientesdelpredicadop(x,y)entrminossolode
conjuncionesodisyuncioneslgicas.Considere,entodosloscasos,alconjuntoU={0,1}como
Universo.
a)
,
0,
.
b)
,
,
.
c)
,
:
,
.
d)
:
,
,
.
e)
:
:
,
.
a) Laproposicinequivalentevienedadaentrminosdeconjuncionessegnelteorema1.5como
sigue
0,0
0,1
b) Yaqueestninvolucradosdoscuantificadoresdebemosexpandirprimerounodeellos
aplicandoelteorema1.5comosigue
,
0,
,
1,
Laproposicinequivalentevienedada,finalmente,entrminosdeconjunciones,nuevamente
segnelteorema1.5,comosigue
0,0
0,1
1,0
1,1
0,0
0,1
1,0
1,1
c) Yaqueestninvolucradosdoscuantificadoresdebemosexpandirprimerounodeellos.Al
expandir
,aplicandoelteorema1.5,setiene
: 0,
: 1,
Laproposicinequivalentevienedada,finalmente,alexpandir
,aplicandoelteorema1.6,
0,0
0,1
1,0
1,1
Septiembre2016
ParasimplificarestaexpresinseusalapropiedaddeDistributividaddelaconjuncinrespectoa
ladisyuncincomosigue
0,0
0,1
1,0
0,0
0,1
1,1
Obien
0,0
1,0
0,1
1,0
0,0
1,1
0,1
1,1
d) Yaqueestninvolucradosdoscuantificadoresdebemosexpandirprimerounodeellos.Al
expandir
, 0,
, 1,
0,0
0,1
1,0
1,1
ParasimplificarestaexpresinseusalapropiedaddeDistributividaddeladisyuncinrespectoa
laconjuncincomosigue
0,0
0,1
1,0
0,0
0,1
1,1
Obien
0,0
1,0
0,1
1,0
0,0
1,1
0,1
1,1
e) Yaqueestninvolucradosdoscuantificadoresdebemosexpandirprimerounodeellos.Al
expandir
,
,0
,
,1
0,0
1,1
0,1
1,1
Septiembre2016
NEGACINDECUANTIFICADORES
Definicin1.38:NegacindelCuantificadorUniversal:Dadaunaproposicinqueinvolucrael
cuantificadoruniversal
,
,definimoslanegacindeestecuantificador,yla
,alaexpresinlgica
,
.
denotamoscomo
,
Definicin1.39:NegacindelCuantificadorExistencial:Dadaunaproposicinqueinvolucrael
cuantificadorexistencial
,
,definimoslanegacindeestecuantificador,yla
,alaexpresinlgica
,
.
denotamoscomo
,
Ejemplo1.48):Expreselanegacindelasproposicionessiguientes.
i. Todoslosnmerosnaturalessonnmerosprimos.
ii. Existeunafuncinrealquenotienepuntosextremos.
Casoi):Enformasimblicadiremosquep(x)=xesunnmeroprimoeneluniversodelos
nmerosnaturales,estoes,
,
.
Lanegacindeestaproposicinser
,
,
,esdecir,existeun
nmeronaturalquenoesunnmeroprimo.
Casoii):Enformasimblicadiremosqueq(x)=xnotienepuntosextremoseneluniversodelas
funcionesrealesU,estoes,
,
.
Lanegacindeestaproposicinser
,
,
,esdecir,toda
funcinrealtienepuntosextremos.
Septiembre2016

Apuntes de Lógica Capitulo 1

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Apuntes de Lógica Capitulo 1

Transféré par

Droits d'auteur :

Formats disponibles

UCABEscueladeIngenieraIndustrial 1

Resumen: Definiciones bsicas: proposicin, conectivos lgicos (negacin, disyuncin,

ValordelaVariablex Valordelpredicado Valordeverdad

0,10 , 5,15 , 10,0

Vous aimerez peut-être aussi