1

SemnticadelaLgica
Proposicional.
Tenemos:
ladefinicinsintcticadellenguajeproposicional.
sabemosquecumpleconelTeoremadeLecturanica.
Ahora,lapreguntaes:qusignificacadaunadeesas
frmulasdellenguaje?
Debemosinterpretarellenguaje,darleunsignificadoalas
frmulas,esdecir,construirunasemntica paraelmismo.
2
Principiodebivalencia.
Decimosquelalgicaesbivalente,desdeelpuntode
vistasemntico,sisusenunciadossoloadmitendos
valoresdeverdad.
Unenunciadosolamentepuedeserverdaderoofalso,
peronoambos.
3
Semnticaextensional
Lasemnticaquevamosaconstruiresextensional,eso
significaquecadafrmulavaadenotarunvalorde
verdad,esdecir,verdaderoofalso.
VamosadesignarloverdaderoconlaletraVylo
falsoconlaletraF.
4
Composicindelsignificado
Elprincipiodecomposicionalidad seatribuyeaFrege.
Estoquieredecir,queelsignificado(enestecontextoesel
valordeverdad)deunafrmulacompleja(omsen
general,deunaexpresincompleja)esfuncindelos
significadosdelasfrmulasquelacomponen(delas
expresionesquelacomponen).
5
Definicin1. Unavaluacinesunaasignacindeun
nicovalordeverdadacadafrmuladellenguaje.
(Notacin:SiAesunafrmula,yvunavaluacin,
representaremosconv(A)elvalordeverdadquela
valuacinvasignaalafrmulaA.)
6
Ejemplos:
Juanestudiay trabaja.
Serepresentacomo(pq)
Cmodeberacomportarseunavaluacincon
respectoa(pq)?,esdecir,cuandoelconector
principalesunaconjuncin.
7
Argumento
SiJuanestudiaentoncessalvaelexamen.
Juanestudia.
Porlotanto,salvaelexamen.
Representoelargumentoconellenguajeproposicional.
Esunargumentoqueconsideramosintuitivamente
correcto.
Qurestriccindeberatenerlavaluacinparaqueno
ocurraquelaspremisasseanverdaderasylaconclusin
falsa?
8
Cmocapturarelsignificadodelosconectores
lgicos?
Cmorestringirlasvaluaciones,paraquese
comportenadecuadamentedesdeelpuntodevista
semntico?
9
Ladefinicinsemnticadecadaconectivotendren
cuenta,porlomenos,doscosas:
Elsignificadointuitivoquetieneelconectoreneluso
cotidianodellenguajenatural.
Lasinferenciasqueconsideramosintuitivamente
correctas,yquequeremosvalidarformalmente.
10
Notodaslasvaluacionesrespetanelsignificado
intuitivodelosconectoreslgicos.
Solamenteinterpretarancorrectamentelasfrmulas
dellenguaje,aquellasvaluacionesquesatisfagan
ciertasrestricciones,segnlascualessecapturael
significadointuitivodelosconectoreslgicos.
11
Definicin2.SedicequeunavaluacinIesuna
interpretacinsiysolosicumplelassiguientescondiciones
(parafrmulasAyBcualesquiera):
1. I(A)=VsiysolosiI(A)=F
2. I(AB)=VsiysolosiI(A)=VyI(B)=V
3. I(AB)=FsiysolosiI(A)=FyI(B)=F
4. I(AB)=FsiysolosiI(A)=VyI(B)=F
5. I(AB)=VsiysolosiI(A)=I(B)
Podemosrepresentarcadapasodeladefinicinconuna
tabladeverdadenlaqueseveantodaslasposibilidadesque
tienecadaconectorlgico.
12
Argumento
Elrelojestrotooestsinpila.
Elrelojnoestroto.
Porlotanto,estsinpila.
13
Argumento
Existeunaleymoralobjetiva.
Siexisteunaleymoralobjetiva,entonceshayuna
fuentedelaleymoral.
Sihayunafuentedelaleymoral,entoncesDios
existe.
Porlotanto,Diosexiste.
14
Definicin3. Llamaremosasignacinproposicionala
unaasignacindevaloresdeverdadatodaslasletras
proposicionales.
(Notacin:Ij eslainterpretacininducidaporla
asignacinproposicionalj.)
15
Unaasignacinproposicional induceuna
interpretacin yunainterpretacincontieneuna
asignacinproposicional.
16
SidosinterpretacionescoincidensobreLP(asignan
elmismovalordeverdadacadaletraproposicional),
entoncescoincidensobreFOR(asignanelmismovalor
deverdadatodaslasfrmulasdellenguaje,osea,
son,enrealidad,lamismainterpretacin).
(Pruebamsdetalladaenlaspginas9y10delasnotasSemnticadeLP)
17
1. SupongamosdosinterpretacionesLyMque
coincidensobreLPperoquedifierensobreFOR.
2. LlamemoselgradodeunafrmulaAalnmerode
conectivasquetieneA,ynotmoslocomogr(A).
3. TomemosunafrmulaA,quetienegradomnimo,
deentreaquellasquenocoinciden.
4. Anotienegradocero,porqueporsuposicin
coincidensobreLP.
18
5. Luego,analizamoscadacasoposibleparaA:
1. EsdelaformaX.Pero,estonopuedeserporqueelgrado
deXesmenorqueelgradodeX,porlocual,LyMdeben
coincidirenX,yluego,porserinterpretaciones,deben
coincidirenX.
2. Esdelaforma(X*Y).Pero,estonopuedeserporqueel
gradodeXydeYesmenorqueelgradode(X*Y),porlo
tanto,LyMcoincidenenXyenY,yalserinterpretaciones
debencoincidiren(X*Y).
6. Porlotanto,sinoexistetalfrmulaA,entonces,LyM
coincidensobreFOR.
7. Porlotanto,nohaydosinterpretacionesquecoincidan
enelLPydifieranenFOR,oloqueeslomismo,una
asignacin induceunanicainterpretacin.
19
Modelosycontramodelos
Definicin4. Lasinterpretacionesquehacen
verdaderaunafrmulasellamanmodelosdela
frmula,ylasquelahacenfalsasellaman
contramodelosdelafrmula.
20
Tabladeverdad
Latabladeverdad esunmtodoalgortmicoque
permiteinterpretarunafrmuladeacuerdoacadauna
delasposiblesasignacionesproposicionales.
Estemtodonospermitehallardesdeunpuntode
vistaalgortmico(mecnico)todoslosmodelosy
contramodelosdeunafrmula.
21
Clasificacindefrmulas
Tautologa:unafrmulaesunatautologa sies
verdaderabajocualquierinterpretacin.
Contradiccin:unafrmulaesunacontradiccin sies
falsabajocualquierinterpretacin.
Contingencia:unafrmulaesunacontingencia sino
estautologanicontradiccin.
22