Tema2.

ELLENGUAJEDELA
LGICAPROPOSICIONAL
a)Laconstruccindefrmulasbienformadas

Cuandoellenguajefalla
Unaoracinpuedeserdefectuosaa3niveles:

1. SINTCTICO
Aestaoracindelcastellanolesfallaalgo
Aesteotraoracinlefallartodavamscosa
ltimaesestagalimatasunoracinpuro

Cuandoellenguajefalla
Unaoracinpuedeserdefectuosaa3niveles:

2. SEMNTICO
Estapitufadelcastellanotieneunapalabraunpocorara
Lasideasverdesincolorasduermenfuriosamente
Confucioesimpar
Laexistenciaeseldevenirdelkarmacuntico

Cuandoellenguajefalla
Unaoracinpuedeserdefectuosaa3niveles:

3. PRAGMTICO
lhadichoqueledlamedicina
Declaroabiertalasesin(dichoporunconserjedelParlamento)

Medaunlibrosobrecmohaceramigos,carahuevo?

3nivelesdeanlisisdellenguaje
1. SINTAXIS:Centradaenlaestructura
formaldelasoraciones
2. SEMNTICA:Centradaenlas
condicionesdeverdaddelasoraciones
3. PRAGMTICA:Centradaenlosefectos
delcontextosobrelasoraciones

3nivelesdeanlisisdellenguaje
Enlgicaslonosvaainteresarlasintaxisy
lasemntica.
Dentrodelasemnticaslonosvaainteresar
laparteformal:elmodoenquela
disposicinformaldeloselementosafecta
alosvaloresdeverdad

Elalfabetolgico

Todolenguajenecesitade:
1. Unalfabeto,i.e.,unconjuntode
elementosprimitivosdesdelosque
construimossusexpresiones
Elalfabetolatinonoresultaserelmismo
queelruso

Elalfabetolgico

Todolenguajenecesitade:
2. Reglasdecombinacindeloselementos
primitivos
Inglsyespaolcompartenalfabeto,pero
noadmitenlasmismascombinaciones:
THRnoesunacombinacindeletras
admisibleenespaol

Alfabetodelalgicaproposicional

Ellenguajedelalgicaproposicional(L0)
necesitatrestiposdistintosdesmbolos:

1. CONSTANTESPROPOSICIONALES
2. CONECTIVASLGICAS
3. SMBOLOSAUXILIARES

Alfabetodelalgicaproposicional
1.CONSTANTESPROPOSICIONALES
Simbolizanoracionesoproposiciones,i.e.,
unidadesquetienenunvalordeverdad
Sonlosequivalenteslgicosdellueve,
yosoyPepe,maanaesviernes,
eluniversoesunasucesininfinitade
transmigracionescsmicas

Alfabetodelalgicaproposicional
1.CONSTANTESPROPOSICIONALES
Utilizaremoslassiguientesletrasminsculas:

p,q,r,s,t,u

Sinecesitamossimbolizarmsoraciones(un
nmeroinfinitodeellas),recurrimosa
subndicesnumricos:

p1,p2,p3,p4,p5

Alfabetodelalgicaproposicional
2.CONECTIVASLGICAS
Lasoracionespuedenconectarseentrespor
mediodepartculasconvalorlgico
Lasprincipalespartculassoncinco,que
equivalenalassiguientes:
Y,O,SI(ENTONCES),SIYSLOSI,NO

Alfabetodelalgicaproposicional
2.CONECTIVASLGICAS
Estaspartculascaenendosgrupos:
a) Binarias:Lasqueconectandosoraciones:
HumecantaYKanthumea
PlatntieneraznOlatieneAristteles
SIDiosnoexiste,todoestpermitido
AprobarlgicaSIYSLOSIestudio

Alfabetodelalgicaproposicional
2.CONECTIVASLGICAS
Estaspartculascaenendosgrupos:
b) Monarias:Lasqueseaplicanaunasola
oracin:
NOhayvidamsalldeMarte
NOtodoslosfilsofosestnlocos
LosfilosfosNOestnlocos

Alfabetodelalgicaproposicional
2.CONECTIVASLGICAS
Enlgicaestaspartculasrecibennombresy
smbolosespeciales:
No=NEGADOR

Alfabetodelalgicaproposicional
2.CONECTIVASLGICAS
Enlgicaestaspartculasrecibennombresy
smbolosespeciales:
Y=CONYUNTOR

Alfabetodelalgicaproposicional
2.CONECTIVASLGICAS
Enlgicaestaspartculasrecibennombresy
smbolosespeciales:
O=DISYUNTOR

Alfabetodelalgicaproposicional
2.CONECTIVASLGICAS
Enlgicaestaspartculasrecibennombresy
smbolosespeciales:
SI(ENTONCES)=CONDICIONAL

Alfabetodelalgicaproposicional
2.CONECTIVASLGICAS
Enlgicaestaspartculasrecibennombresy
smbolosespeciales:
SIYSLOSI=BICONDICIONAL

Alfabetodelalgicaproposicional
3.SMBOLOSAUXILIARES
Sonparntesisycorchetes,quesirvenpara
agruparlosotrossmbolosdemaneraquese
puedanevitarambigedades:

( ) []

Alfabetodelalgicaproposicional
Heaqutododeunavez:
CONSTANTES:p,q,r,s,t,u,p1,p2,p3
CONECTIVAS:,,,,
AUXILIARES:(,),[,]

Recursividad
Lamayoradeloslenguajessonrecursivos:
empleandounnmerofinitodeelementos
esposibleconstruirunnmeroinfinitode
oraciones.
Lamoscaalaquepersiguelaaraaalaque
persigueelratnalquepersigueelgatoal
quepersigueelperroesdecolornegro.

Recursividad
Unafuentederecursividadeslaposibilidad
deuniroracionessimplesparaformar
compuestas.
Laspartculaslgicasdesempeanenesto
unpapelfundamental.

Recursividad
Larecursividadcomienzaportomaralgunoselementos
bsicosydefinircmoseconstruyenloselementos
complejosapartirdeellos:
DadaslasoracionesHumecanta,Kantbaila,tambin
sonoracioneslassiguientes:
HumecantayKantbaila
HumecantaoKantbaila
SiHumecanta,Kantbaila
Humenocanta
Kantnobaila
HumecantasiyslosiKantbaila
ETC.

Recursividad
Podemosseguiraplicandoestoengeneral:dadas
lasoracionesOyO,sontambinoracioneslas
siguientes:
OyO,OoO,SiOentoncesO,noO,etc.
Podemosaplicarlareglacuantasvecesqueramos:
dadoqueHumecantayKantbailayHegelda
palmassonoraciones,tambinloserSiHume
cantayKantbaila,Hegeldapalmas

Recursividad
HumecantaoKantbailaoHegeldapalmas
HumecantayKantbailayHegeldapalmas
Humecanta,oKantbailayHegeldapalmas
HumecantaoKantbaila,yHegeldapalmas
SiHumecantayHegeldapalmas,Kantbaila
HegeldapalmassiyslosiKantbaila
SiHumecanta,entoncessiKantbaila,Hegelda
palmas

Recursividad

Larecursividadpermiteconstruiralgunasoracionespeculiares:
HumecantayKantbailayHumecantayKantbailayHumecantayKant
baila
SiHegeldapalmas,Hegeldapalmas
HumecantaoHumecantaoHumecantaoHumecantaoHumecantaoHume
cantaoHumecantaoHumecantaoHumecantaoHumecantaoHume
cantaoHumecanta

Sonpeculiaresdesdeelpuntodevistapragmtico,perosintcticay
semnticamenteestnbienconstruidas

Recursividad
Nuestrolenguajelgicotambinvaaser
recursivo.
Lasoracionesennuestrolenguajesevanallamar
FRMULAS
Comenzaremospordefinirculessonlas
oracionessimplesofrmulasatmicas
Acontinuacindaremosunmtodode
combinacindefrmulasatmicasparaobtener
oracionescompuestasofrmulasmoleculares

Frmulasatmicas
Sernlasquecorrespondanalasoraciones
simplesdelcastellano:sinninguna
partculalgica.
Setrataportantodelasconstantes
proposicionales:
p
son(algunas)frmulasatmicas
q
r

Frmulasmoleculares
Lasformaremosapartirdelasatmicas,
empleandolasconectivaslgicas:
pq
pr
son(algunas)frmulasmoleculares
qp
rq
q

Ambigedad
Enellenguajenaturalconfrecuencia
aparecenposiblesambigedades:
HumecantaoKantbailayHegeldapalmas
DaonodapalmasHegel?
Ahoras:HumecantaoKantbaila,yHegeldapalmas

Ahoranosesabe:Humecanta,oKantbailayHegeldapalmas

Ambigedad
Enlgicaqueremosconstruirfrmulasque
excluyantodaambigedad.
Enellenguajenaturalusamosdiversos
elementosparaevitarlaambigedad,como:
1)pausasprosdicas,2)signosde
puntuaciny,3)elcontexto.
Peroenlgicaslotenemosunrecurso
(parecidoa2):construirlasfrmulascon
reglasmuyprecisas.

Ambigedad
Nuestroprincipalrecursocontralaambigedad
sonlosPARNTESIS.
Sea:pHumecanta;qKantbaila;
rHegeldapalmas

pqr

esAMBIGUA;equivalea:
HumecantaoKantbailayHegeldapalmas

p(qr)Hcanta,oKbailayHegdapalmas
(pq)rHcantaoKbaila,yHegdapalmas

Metavariables
Silalgicaesnuestrolenguajeobjeto,el
castellanoessumetalenguaje.
Peronecesitamosampliarnuestro
metalenguajeconalgunossmbolosque
hacenlasvecesdeabreviaturas.
Parareferirnosafrmulasengeneral
usaremosletrasgriegas:

LasllamaremosMETAVARIABLES

Metavariables
Unaconstante,comop,representaaquelloquela
haceverdaderaofalsa(llueve;lasrosassonrojas,
etc)
Unametavariable,como,representacualquier
frmula:
p;q;pr;p(qr);p(pp)

Vamosadefinirnuestrasreglasdeformacinde
frmulasdemaneramsprecisa

Reglasdeformacin
(i)Todaconstanteproposicionalsolaesuna
frmula(atmica)
(ii)Siesfrmula,entoncesesfrmula
(iii)Si,sonfrmulas,(),(),
(),()sonfrmulas
(iv) Slo son frmulas las secuencias que
satisfacen(i),(ii)o(iii)

Reglasdeformacin
(i)Todaconstanteproposicionalsolaesuna
frmula
Deestemodoobtenemosnuestrasfrmulas
atmicas:
p
q
r
s
t
u

p1

Reglasdeformacin
(ii)Siesfrmula,entoncesesfrmula
Dadaslasanteriores,tambinsonfrmulas:
p
q
r
s
t
u

p1

p2

p3

Podemosaplicarrecursivamente(ii)sobrelasfrmulasrecin
obtenidas:p
q
p
Todasestastambinsonfrmulas

Reglasdeformacin
(iii)Si,sonfrmulas,(),(),(
),()sonfrmulas
Dadas(i)y(iii)sernfrmulas:
(pq)
(ps)
(pr) (qp)
(pq)
(ps)
(pr) (qp)
(pq)
(pr)
(pq)
(pr)

Reglasdeformacin
(iii)Si,sonfrmulas,(),(),(
),()sonfrmulas
Siademstenemosencuenta(ii),sonfrmulas:
(pq)
(ps)
(pr) (qp)
(pq)
(ps) (pr) (qp)
(pq) (pr) (pr)
(pq) (pr)
(pr)

Reglasdeformacin
(iii)Si,sonfrmulas,(),(),(
),()sonfrmulas
Ypodemosaplicarotravez(ii)sobrelasltimas
frmulas:
(pq) (ps) (pr) (qp)
(pq) (ps) (pr)(qp)
(pq) (pr) (pr)
(pq) (pr) (pr)
(pq)(pq)(pq)

Reglasdeformacin
Ypodemosseguiraplicando(ii)y(iii)
cuantoqueramos:
(p(pq))

(p(qs)) (pr)(qp)
(p((pq)(ps)))
((pr)(qp))(pq)

Reglasdeformacin
(iv) Slo son frmulas las secuencias que
satisfacen(i),(ii)o(iii)
Estaesunaclusuladecierre,quelimita
nuestrasfrmulasexclusivamentealas
formadasporlasreglasanteriores.

Reglasdesimplificacin
Puedensuprimirsesiempre:
(a)Losdosparntesisexternos:
(p(qr))p(qr)
(Nota: El smbolo se lee como es
equivalentea)

Reglasdesimplificacin
Puedensuprimirsesiempre:
(b)Losparntesisinternosnoprecedidosdenegador
en secuencias compuestas totalmente por
conyuntoresototalmentepordisyuntores:
(p(qr))(pqr)
pero (p(qr))(pqr)!!
(p(qr))(pqr)
pero (p(qr))(pqr)!!

Conectivadominante
Consideremos cmo se forman las frmulas
moleculares:
Laltimaregladeformacinquehayamosusado
hatenidoqueser(ii)o(iii),i.e.,laltimareglaha
introducidoelnegadorounaconectivabinaria:
p
loltimointroducidoeselnegador
qrloltimointroducidoeselconyuntor
p(qr)loltimointroducidoeseldisyuntor
(pq)(pq)loltimointroducidoes

Conectivadominante
La ltima conectiva introducida ser la
CONECTIVADOMINANTEdelafrmula.
Es importante distinguirla, porque es a la que
habr que atender para determinar el valor de
verdaddelafrmula.

p(rs)

(p(qr))

p(p(pp))
((pq)(pq))
elprimer
(((pq)p)q)p
elsegundo
(p(qr(pq))) noesfrmula

Ejercicio:culessonfrmulas?
NO
((pq)
(pq)pq NO
((q(rs))(pq))r S
(s(pq)) NO
(p(q(r(st)))) S
p NO
(q(r(pq)))(q(r(pq))) S

Ejercicio:culessonfrmulas?
((qr)(pq))(qr)((pq)q) NO
(pq)r)s)t)))) NO
(((pqr)(qp))(ps))(pqr) S
(p(qpr))(pq) NO
(((p(qr))(qs))(sp))(pq) NO
(pqr)(pqr)(pqr) S
(pq)(pq)(pq)(pq) S

Ejercicio:conectivadominante
elprimer
(pq)
(pq)(pq)
((q(rs))(pq))r

(s(pq))
(p(q(r(st)))) elprimer
p elprimer
(q(r(pq)))(q(r(pq))) 2

Ejercicio:conectivadominante
(((qr)(pq))(qr))((pq)q) 2
((((pq)r)s)t) elprimer
(((pqr)(qp))(ps))(pqr) 2
(p(q(pr)))(pq)
(((p(qr))(qs))(sp))(pq) 3er
(pqr)(pqr)(pqr) cualquier
(pq)(pq)(pq)(pq) cualquier