Ap T2 LLpo - (M1 GII - 11'12) PDF

TEMA2:ELLENGUAJEDELALGICADEPRIMERORDENYLATEORADECONJUNTOS
MATEMTICASI.201112
GRADOENINGENIERAINFORMTICA.

2.1. IntroduccinallenguajeformaldelaLgicadeprimerorden.
2.2. Ellenguajedelalgicadeproposiciones
2.3. Teoradeconjuntos.
2.4. Operacionesentreconjuntos.
2.5. Relacinentrelateoradeconjuntosylalgicadeproposiciones.
2.6. Ellenguajedepredicados.
2.7. Construccindefrmulasproposicionalesypredicativas.
2.8. FormalizacindefrmulaslgicasenformaclausalysurelacinconellenguajeProlog.
2.9. Formalizacinderazonamientos.
2.10. Relacinentrelateoradeconjuntosylalgicadeprimerorden.
2.11. Ejerciciosresueltos.
2.12. SiquieressabermsBibliografa,enlaceswebylgicadivertida.
INTERS
Teniendoencuentaqueelprincipalobjetivodelestudiodelalgicaeselaprendizajedelastcnicasdedemostracin
formales y sus aplicaciones en la resolucin de problemas, se considera necesario llevar a cabo la formalizacin del
conocimientoyaprenderlamanipulacindelmismo.Laformalizacinsehacemedianteellenguajeformallgico.
Enestetemaseintroducelasintaxisdeloslenguajesdelalgicadeprimerorden,tantodellenguajeproposicionalcomo
dellenguajepredicativo.Juntoconlanocindeconjuntoypresentaremoslasoperacionesentreellosyaque,ademsde
que su conocimiento es necesario para la formulacin del lenguaje predicativo, para el informtico, la teora de
conjuntosformuladaporG.Cantor(XIX),esesencialengranvariedaddedisciplinasinformticasquevandesdelasbases
dedatosyloslenguajesdeprogramacinhastalainteligenciaartificial.Porltimoveremosquelalgicaylateorade
conjuntosestnestrechamenterelacionadas.
OBJETIVOS
- Aprenderaformularproposicionesyrazonamientosconellenguajedelalgicadeprimerorden.
- Conocerelconceptodeconjuntodeelementosysuspropiedadesbsicas.
- Relacionarlasconectivaslgicasconlasoperacionesentreconjuntos.
Palabras clave: variable proposicional, conectiva, dominio de referencia, predicado, conjunto, subconjunto,
cuantificacin.
TEMA 2: EL LENGUAJE DE LA LGICA DE PRIMER ORDEN Y LA TEORA DE CONJUNTOS
2.1. IntroduccinallenguajeformaldelaLgicadeprimerorden
En general, un lenguaje es un medio con el que nos relacionamos con los dems seres y con el que expresamos
pensamientos y conocimiento por medio de seales. Los lenguajes pueden ser naturales como el espaol, ingls, y
formales como el matemtico, lgico, etc. Los naturales poseen gran poder expresivo debido, principalmente, a la
riquezasemntica(polisemnticos)queleshaceambiguosyporlotantopocoprcticosparaclculoscientficos.
Precisamenteparaestecometidosehandesarrolladodiversoslenguajesformales,quesecaracterizanporserconcisos
yprecisos,ycarecerdeambigedad;suscomponentesestnperfectamentedefinidasymantienenelmismosignificado,
independientemente del contexto; carecen de semntica fuera de sus operadores propios y consiguen una completa
formalizacin del conocimiento del lenguaje natural mediante smbolos con los que se obtienen expresiones no
ambiguas,porestosonimportantesenlaconstruccincomputacional,enmatemticasyotros.
Unodeloslenguajesformalesmspotentesparalarepresentacindelconocimientoenteoradelacomputacinesel
lenguajeformaldelaLgicadeprimerordenquecarecedeimprecisionesyposeeunaformaclaraderepresentacin
basada en la forma y no en el contenido. Formaliza hechos o proposiciones acerca del mundo obteniendo frmulas
lgicas.Paraello,consideradosnivelesdeabstraccin,quedanlugarallenguajeproposicionalyalpredicativo.
El lenguaje proposicional formaliza las proposiciones teniendo en cuenta slo las posibles conexiones entre ellas; sin
embargoellenguajepredicativoademsdetenerencuentadichasconexiones,consideralossujetosoindividuosque
aparecenenlasproposiciones,laspropiedadesocaractersticasquelesafectanylasposiblesrelacionesentreellos.
Ejemplo1 Maripurieslamssimpticadelaclaseperolamenosestudiosa.
Formalizadaconellenguajedeproposicionestendrlaforma:pq
Formalizadaconellenguajedepredicadostendrlaforma:Si(ma)Mes(ma)
Donde p y q son smbolos que llamaremos variables proposicionales; Si(ma), Mes(ma) son predicados con
argumentoconstantema;elsmboloeselconectorconjuntivoqueformalizaalnexopero.
El conjunto de smbolos que elijamos para formalizar las proporciones lo denominaremos marco conceptual del
problema,ylodenotaremosporMC.EnMCestarntodaslasproposicionesatmicasqueaparecenenelproblema,y
quesedebenformalizar,juntoconloselementosdellenguajeformalelegidosparasuformalizacin.
Ejemplo2 Maripurieslamssimpticadelaclaseperolamenosestudiosa.
Elmarcoconceptualparalaformalizacindeestasentenciaconellenguajedeproposicioneses:
MC={p:Maripurieslamssimpticadelaclase;q:Maripurieslamenosestudiosa}
Conellenguajedepredicadoses:
MC={Si(x):xessimptico;Mes(x):xeslamenosestudiosa;ma:Maripuri}
Lenguajeformallgico:
>Esunlenguajequesedefinecompletamente.
>Seidentificaporelconjuntodesusfrmulaslgicasbienformadasquedenotaremosporfbf.
>Unafrmulalgicaesunaexpresinlgicaquerepresentaoformalizaaunaproposicin.
Paradefinirunlenguajeformalserequiere:
>Designarelconjuntodesmbolos(alfabeto)dellenguaje.
>Definirelconjuntodereglasdeformacindefrmulasdellenguaje.
>Definirlainterpretacindecadasmboloqueintervieneenlafbf.

MATEMTICAS-I 2
GII.201112
2.2. Ellenguajedelalgicadeproposiciones
Es el lenguajepropio de la lgicade proposiciones, nivel bsico de la lgicade primer orden. Su origen se remonta a
finales del siglo XIX, coincidiendo con la aparicin de las obras de G. Boole (18151864) y de G. Frege (18481925).
Permiteconstruirfrmulaslgicasproposicionalesapartirdelaformulacindeproposicionesatmicasymoleculares
quedefinenundeterminadoproblemaderazonamiento.Susintaxissedefineapartirdeunalfabeto,conloselementos
bsicos del lenguaje, y unas reglas de formacin de frmulas proposicionales. Su semntica se define a partir del
significadodecadaunadelascomponentesqueaparecenenunafbf.Suunidadbsicadeinformacineslaproposicin
simple que sintcticamente estar definida por una fbf formada por una variable proposicional y semnticamente se
interpretarcomoverdaderaofalsa.
Alfabeto
Conjuntodesmbolosconlostrabajarellenguajeformadopor:
* Variables proposicionales para representar a las proposiciones atmicas: se elegirn letras del alfabeto o
combinacindeellas.
*Unconjuntodeconectivasparaformalizarlasconexionesentreproposicionesatmicas:,,,,
*Smbolosauxiliares:losparntesis.Sufuncinesdarprioridadacadacomponentedelaexpresinformalizada.
Ojo! Las variables proposicionales no se deben confundir con las variables matemticas o informticas. Las variables
matemticassonsmbolosdevalorcuantitativoimplcitoyeninformticaesunsmboloquepuedetomarvaloresconlos
queelprogramaoperayademspuedenmodificarsedurantelaejecucin.Lasvariablesproposicionalesrepresentana
unaproposicin(quepuedeserverdaderaofalsa).
Reglasparalaconstruccindefrmulasproposicionalesbienformadas(fbf):
R.1. Todavariableproposicionalesunafbf.
R.2. SiAesunafbfentoncesAtambinloes.
R.3. SiAyBsonfbftambinlosonAB,AB,AB,AB.
R.4. SlosonfbflasquecumplenlasreglasR1,R2yR3.
R.5. Paraevitarexcesodeparntesisseestablecelasiguientejerarquadeprioridadesentresusconectivas
queslosevealteradaporlapresenciadeparntesis(verEjemplo3).

Prioridadmsalta

OjO!:laprioridadindicaelordenenquesedebeoperarconlasconectivasenelclculolgico.
R.6. Lafbfquedadefinidaporlaconectivademayorjerarqua(laltimaquesetieneencuentaenlafbf).
(verEjemplo4).
R.7. Usarparntesisparaagruparoperacionescuandoapareceambigedadenlafrmula.
R.8. Siunoperadornegativoantecedeaotronegativoeldelaizquierdatienemayorprioridad.
Ejemplo3 ConlatabladeR5lafbf:(pq)rsereconoceracomo:((p(q))r),esdecir,laconectivacon
mayor prioridad (con la que 1 se operara) sera el negador que afecta a q (q); despus, debido al parntesis, el
implicador,(pq),yporltimolaconjuncin.Silafbfanteriornohubieratenidoparntesis:pqrse
reconoceracomo:p((q)r).

Ejemplo4 Laexpresin:(pq)resunafbfqueestdefinidaporlaconectivademayorjerarquaquees
(R6)luegolafrmulaesuncondicional.Dichafbfsepuede escribircomo:p q r,yaqueporR5noesnecesario
usarparntesis,porque1seoperaraconyluegocon.
MATEMTICAS-I 3
GII.201112
Ejemplo5 Laexpresin:pqr.Noesunafbfyaquehayambigedad.Sedebenusarsmbolosdeparntesis
(R7).Sepuedeescribir,p(qr)obien(pq)r.
Ejemplo6 Laexpresin:pqnoesunafbfporquelasconectivasbinariasdebentenerunafbfaamboslados
(R3).
Ejemplo7 Laexpresin:pnoesunafbfyaqueincumpleR2.
Ejemplo8 Laexpresin:pqnoesunafbfyaquelaconectivaseestusandocomoconectivabinaria.
Representacinarborescentedeunafrmulalgica
Paraverclaramentelaestructurasintcticadeunafrmulayasdeterminarconclaridadlaprioridaddecadaunadesus
componentessintcticas,podemosusarlarepresentacinarborescente.Enlashojasdelrboltendremoslasvariables
proposicionalesyenlosnodosinternoslasconectivaslgicas.
Ejemplo9 Estructuraarborescentedelafrmulaproposicional:pqpq
p q
q p
Una vez formalizada una proposicin hablaremos de frmula lgica. Diremos que, una expresin formada por una
cadenadesmbolosdelalfabetodellenguajeproposicionalesunafrmulalgicabienformada(fbf)dedicholenguajesi
representa la formalizacin de una proposicin atmica o molecular, construida segn las reglas establecidas por la
gramticadellenguaje.
UnasubfrmuladeunafbfAesunapartedeAqueasuvezesunafbf.
Unafbfatmicanocontieneningunaconectivalgica,mientrasquelasmolecularestienenalmenosuna.
Conectivaslgicas
SeanlasproposicionesP1:Jaimecanta;P2:Jaimebaila,yelMC={P1:p,P2:q}tenemos:
MATEMTICAS-I 4
GII.201112
Metaexpresiones Formalgica Smbolo Formalizacin: Ejemplo

Conectivo fbf
NoP1 Jaimenocanta
Negacin p EsfalsoqueJaimecante
EsfalsoqueP1
P1yP2
Jaimecantaybaila
P1peroP2 Jaimecantaperobaila
P1sinembargoP2 Conjuncin pq Jaimecantasinembargobaila
P1noobstanteP2
P1apesardeP2
OP1oP2oambascosas Disyuncin pq Jaimecantaobaila
SiP1entoncesP2 SiJaimecantaentoncesbaila
Jaimecantaslosibaila
P1slosiP2
QueJaimebaileesnecesariopara
P2esnecesarioparaP1 pq quecante
P1essuficienteparaP2 Condicional p:antecedente; QueJaimecanteessuficientepara
noP1amenosqueP2 q:consecuente quebaile
Jaimenocantaamenosquebaile
noP1oP2 OJaimenocantaobaila
SinoP2entoncesnoP1
P1siyslosiP2 Bicondicional Jaimecantasiyslosibaila

pq ParaqueJaimecanteesnecesario
P1 es necesario y suficiente
ysuficientequebaile
paraP2
Agrupacindefbf

Enellenguajenaturalsabemosquelapuntuacinenunaoracinesindispensableparadarsentidoalenunciado,detal
forma que si no se usaran tendramos interpretaciones de dicha oracin que podran llevar a error. Por ejemplo, el
enunciado: Mientras coman, los leones salieron de paseo no significa lo mismo que: Mientras coman los leones,
salierondepaseo.Comovemosesimportantesaberdndevalacoma.Enellenguajeformaltambinesnecesario
agruparsubfrmulaslgicasdentrodetodafbf.Pararealizardichaagrupacinseusanparntesis,corchetesyllaves,si
sonnecesarios.Elusodeparntesisevitaraambigedadesantelaprioridaddelasconectivasbinariasenlafbf.

SeanA,B,Cfrmulaslgicascualesquieray&unoperadorbinario.Lasiguienterelacinmuestracmoseentiendenen
elclculolgicolasdiferentesexpresionescuandonoseusanparntesis.
1.LaexpresinA&Brepresentalafbf(A&B).
2.LaexpresinA&BCrepresentaa(A&B)C;CA&BrepresentaaC(A&B).
3.LaexpresinA&BCrepresentaa(A&B)C;CA&BrepresentaaC(A&B).
4.LaexpresinABCrepresentaA(BC)(propiedadasociativaporladerechade).
5.LaexpresinABCrepresenta(AB)C.
6.LaexpresinABCrepresentaA(BC).
Frmulaslgicasproposicionales
Fbfproposicionalatmica:variableproposiocional.
Fbfproposicionalmolecular:expresinformadaporvariablesproposicionalesylasconectivasquelasunen.

Ejemplo10
(p)(q)serepresentaporpq;
MATEMTICAS-I 5
GII.201112
((pq)(pq))serepresentaporpqpq;
(((pq))((pq)q))serepresentapor(pq)(pq)q.
Ejemplosdeformalizacindesentenciasconellenguajeproposicional

Ejemplo11 P:Hoyhacesol
Proposicinatmica.
MC={Hoyhacesol:p}
Formalizacin:Fbf(P):p
Ejemplo12 P:Hoyvamosalcineperomaanadepaseo.
Proposicinmolecular.
Formalgica:conjuncin
MC={Hoyvamosalcine:p;Maanavamosdepaseo:q}
Formalizacin: Fbf(P):pq
Ejemplo13 P:Novamosalcineamenosquemaanavayamosdepaseo.
Proposicinmolecular.
Formalgica:condicional(Sivamosalcineentoncesmaanavamosdepaseo)
MC={Vamosalcine:p;Maanavamosdepaseo:q}
Formalizacin:Fbf(P):pq
EnlossiguientesejemplosconsideramosMC={Maravaalconcierto:p;Silviavaalconcierto:q;Juanvaalconcierto:r}
Ejemplo14 P:NiMara,niSilvia,niJuanvanalconcierto.
ProposicinmolecularcuyaformalgicaeslaconjuncinMaranovaalconciertoySilvianovaal
conciertoyJuannovaalconcierto.
Formalizacin: Fbf(P):pqr

Ejemplo15 P:SiMaravaalconciertoentoncesSilviatambin.
Proposicinmolecularcondicional.
Ejemplo16 P:MaranovaalconciertoamenosquevayaSilvia.

Ejemplo17 P:ParaqueMaravayaalconciertoesnecesarioquevayaSilvia.
Ejemplo18 P:ParaqueMaravayaalconciertoessuficientequevayaSilvia.
Formalizacin: Fbf(P):qp
Ejemplo19 P:ParaqueMaravayaalconciertoesnecesarioysuficientequevayaSilvia.
Proposicinmolecularbicondicional.
Ejemplo20 P:OMaravaalconciertooSilviavaalconciertoperonolasdoscosasalavez.
Proposicinmolecularconjuncin.
Formalizacin: Fbf(P):(pq)(pq)
!OjoLasvariablesproposicionalesslosimbolizanproposicionesatmicasynopalabrasonombres.
MATEMTICAS-I 6
GII.201112
Ejemplo21 JuancomeconPepe
MC={Juan:p;Pepe:q}ERROR
Ojo!Entodafrmulaquecontengaconectivasdebehaberunaquedomine,quesealaprincipal.
Ejemplo22 SiMarahallegadodelcineynotienequeestudiar,entoncespodemoscenar.
Formalgicacondicional:SiAynoBentoncesC.Luegolaconectivaprincipalserelimplicador.
2.3. Teoradeconjuntos
Def.Unconjuntoesunacoleccinoclasedeobjetosbiendefinidosydiferenciablesentresi,llamadoselementosdel
conjunto.
Loselementosdeunconjuntopuedenserdecualquiernaturaleza,assepuedentenerconjuntosdetodoslosenteros,
de vocales, de las premisas de un razonamiento, etc. Los tipos de datos que usan los lenguajes de programacin son
tambinconjuntos.
ParadenotarlosconjuntosutilizaremosletrasmaysculasA,B,C,despusescribiremoselsignodeigualdadyentre
llaves,loselementosqueformenpartedelconjuntodefinido.
Declaracindeconjuntos
Porextensinonotacindelista:encerrandoentrellavescadaunodesuselementos,A={1,2,3...n}.
Losconjuntosenumerablespuedenrepresentarseconestanotacinperolosconjuntosquenopuedenenumerarse
debenescribirseconlasiguientenotacin:
Porcompresin:enunciandounapropiedadcaractersticadesuselementos.B={pZ|pespar}.
Pertenenciadeunelementoaunconjunto
Para indicar que un sujeto a es un elemento del conjunto A escribiremos: a A, a es elemento de A, en caso
contrario,escribiremos:aA.
Ejemplo23 A = {1,2,3}. La afirmacin 2A es verdadera; la afirmacin 4A es verdadera.

Ejemplo24 deconjuntos
U:universodediscursooconjuntouniversalquecontieneloselementosdetodoslosconjuntos.
:conjuntovacoquecarecedeelementos{}.
N:conjuntodelosnmerosnaturales.N={1,2,3,}.
Z:conjuntodelosnmerosenteros.Z={,3,2,1,0,1,2,3,}.
Q:conjuntodelosnmerosracionales.Q={m/n|m,nZconn0}.
R:conjuntodelosnmerosreales.Racionalesynoracionales.
C:conjuntodelosnmeroscomplejos.C={a+bi|a,bR}.
Subconjuntodeunconjunto
SeanAyBdosconjuntos.DecimosqueAesunsubconjuntodeBsitodoelementodeAloestambindeB,sinembargo
notodoelementodeBnecesitaserunelementodeA.CuandoAesunsubconjuntodeBsedicequeAestincluidoenB
yseexpresacomoAB(relacindeinclusin),esdecir,
(AB)(aAaB)
Ejemplo25 SeanlosconjuntosA={a,c},B={a,b,c,d}yC={a,d,c}.
Claramenteseverificaque:AByCB.
MATEMTICAS-I 7
GII.201112
OjO!:Noeslomismopertenencia(elementoyconjunto)queinclusin(entreconjuntos).
Ejemplo26 SeaelconjuntoA={0,2,4,6,8},entonces2A,{4}A,{6}A,8A.
UsandodiagramasdeVenn1serepresentaelconjuntoBcomounsubconjuntodeA.
B A
Conjuntosiguales
DosconjuntosAyBsoniguales(A=B)sitienenlosmismoselementosolamismapropiedadcaracterstica.Paraquelos
conjuntosAyBseanigualesesnecesarioqueAByBAyparaque seandiferentesessuficientequedifieranenal
menosunelemento,yaqueunconjuntosedescribeporsuselementos.
Ejemplo27 LosconjuntosA={0,2,4,6,8}yB={0,2,4,0,6,2,8,0}soniguales,esdecirA=B,siendoirrelevanteel
orden en que se encuentran los elementos. Aunque los elementos se repiten en B, como norma general aparecen
solamenteunavez.
Ejemplo28 LosconjuntosA={xR:x2=1}yB={1,1}sonigualesyaqueaunqueAyBestnescritosdeforma
diferente ambos conjuntos tienen los mismos elementos. Las soluciones de la ecuacin del conjunto A (x2 = 1) son,
precisamente,loselementosdelconjuntoB,luegoAB.Demanerasimilar,sedemuestraqueBA,luegoA=B.
LaigualdadentredosconjuntosAyBsepuedeescribircomo:
(A=B)(AB)(BA)

obien,demaneraequivalente,conlarelacindepertenencia:

(A=B)(xAxB)
Conjuntovaco
Eselconjuntoquenotieneelementos.Sedenotapor.
OjO!: El conjunto no es igual que el conjunto A = {}, pues A no es un conjunto vaco ya que tiene un elemento,
precisamenteelconjuntovaco.
Proposicin:SiAesunconjuntocualquieraseverificaqueA.
Caractersticasdelainclusindeconjuntos:
- Si A no es un subconjunto de B entonces existe al menos un elemento de A que no es un elemento de B,
escribiremosAB.
- ParacualquierconjuntoAseverificaAA.
- Elconjuntovacoesunsubconjuntodetodoslosconjuntos.
Algunossubconjuntossonsubconjuntospropios:
1
John Venn, matemtico ingls. Representacin grfica para visualizar conjuntos.
MATEMTICAS-I 8
GII.201112
Subconjuntopropio
AesunsubconjuntopropiodeBsiAesunsubconjuntodeB,peroAnoesigualaB.SiAesunsubconjuntopropiodeB,
escribimosAB.
Curiosidad: Las expresiones lgicas que son tautolgicas (fbf que siempre se interpretan como verdaderas)forman un
subconjuntopropiodelconjuntodetodaslasexpresioneslgicas.Elconjuntodelosnmerosnaturalesesunsubconjunto
propiodelconjuntodelosnmerosenteros,peronoviceversa.
2.4. Operacionesentreconjuntos
Dados,almenos,dosconjuntosAyB,podemosobtenernuevosconjuntosrealizandodeterminadasoperacionesentre
ellos.
Interseccin
LainterseccindelosconjuntosAyB,querepresentamosporAB,eselconjuntoformadoporloselementosdeAy
deB,esdecir:
AB={x:xAxB}.
Tambin x(AB)(xA)(xB).
Severifica: (AB)A;(AB)B
SiAyBnotienenelementosencomn,entoncesAB=ysedicequeAyBsondisjuntos.
DiagramadeVenn:
Ejemplo29 SeanA={a,b,1}yB={a,1,2};AB={a,b,1}{a,1,2}={a,1}
Unin
LaunindedosconjuntosAyB,querepresentamosporAB,eselconjuntoformadoporloselementosdeAodeBo
deambos,esdecir:
AB={x:xAxB}.
Tambin x(AB)(xA)(xB).
Severifica: A(AB);B(AB)
DiagramadeVenn:

A B
MATEMTICAS-I 9
GII.201112
Ejemplo30 SeanA={a,b,1}yB={a,1,2}.AB={a,b,1,2}.
Diferencia
SeanlosconjuntosAyB.LlamamosconjuntodiferenciadeAyBylorepresentamosporAB,alconjuntoformadopor
todosloselementosqueestnenAperonoenB:
AB={x:(xA)(xB)}

Ejemplo31 SeanlosconjuntosA={p,q,r}yB={q,r,s,t}.AB={p}mientrasqueBA={s,t}.
ElconjuntoAA={x:(xA)y(xA)}notieneelementos.
DiagramadeVenn:
U
A
Complementario
SeaelconjuntoA.ElcomplementariodeA,queseescribeA,eselconjuntodetodosloselementosquenopertenecena
A,oquepertenecenaladiferenciaUA(Uconjuntouniversalfijadodeantemano).
DiagramadeVenn:
U
A
Proposicin: SiAyBsonsubconjuntoscualesquieradeUseverifica:
'=U.
U'=
(A')'=A.
ABB'A'.
SiA={xU:p(x)esunaproposicinverdadera}entoncesA'={xU:p(x)esunaproposicinfalsa}.
SiAyBsonsubconjuntosdeunconjuntouniversalUentoncesAB=AB'.
MATEMTICAS-I 10
GII.201112
PROPIEDADES UNIN INTERSECCIN
AA=A AA=A
Idempotencia
AAByBAB AAByBAB
Conmutativa AB=BA AB=BA

Asociativa A(BC)=(AB)C A(BC)=(AB)C
Absorcin A(AB)=A A(AB)=A
Distributiva A(BC)=(AB)(AC) A(BC)=(AB)(AC)
Complementariedad AA'=U;A=A;AU=U AA'=;A=;AU=A
LeyesdeMorgan (AB)'=A'B' (AB)'=A'B'
Estas propiedades hacen que partes del universo U con las operaciones unin e interseccin tenga una estructura de
lgebradeBoole.
2.5. Relacinentrelateoradeconjuntosylalgicadeproposiciones
Existe una relacin muy estrecha entre la teora de conjuntos y la lgica proposicional. La forma en que podemos
obtenernuevosconjuntosestdirectamenterelacionadaconlaformaenqueoperanlasconectivaslgicas,detalforma
queacadaconexinlgicalecorrespondeunaoperacindeconjuntos.SeanA,B...conjuntosya,b...suspropiedades
caractersticas,esdecir,laproposicinlgicaquecaracterizaaloselementosdecadaconjunto.
Setienelasiguientecorrespondencia:
Conjuntos A B A=B AB AB A' AB
proposiciones a b ab a b ab a' a b'
El conjunto vaco se corresponde con una contradiccin (conjuncin de una frmula y su negacin) y el conjunto
universalconunatautologa(disyuncindeunafrmulaysunegacin).Conestacorrespondenciatodoslosresultados
sobreconjuntossepuedenreescribirentrminosdelgicaproposicionalyviceversa;
A (A B)=A a (b c) a
A (B C)=(A B) (A C) a (b c)(a b) (a c)
(A B)' = A' B' (a b)' a' b'
2.6. Ellenguajedepredicados
La lgica de proposiciones es conveniente para representar conocimiento en donde no sea necesario formalizar
propiedades entre individuos o relaciones entre ellos. Por ejemplo, la sentencia: Algunos animales son domsticos,
carecede significado hastaque no se determine a qu animales nos referimos. Si dicha sentencia se formaliza con el
lenguajedeproposicionestenemoslafrmula:p,expresinquenoexpresaconocimientoacercadelosindividuosque
pueden ser animales domsticos. De manera similar la proposicin: Todos los animales son domsticos se
representaraporlafrmula:q,quetampoconospermitereferirnosatodosloselementosdeundominio.Esms,silos
elementos de un dominio fueran infinitos, simplemente no se podra expresar conocimiento acerca de todos los
individuos.
El lenguaje de predicados, tambin conocido como lenguaje de la lgica de primer orden, generaliza al lenguaje
proposicional introduciendo nuevos elementos del lenguaje con los que se describen con ms detalle los elementos
sintcticosdeunaproposicin;staseformalizaatendiendoalosindividuos,suspropiedadesyrelaciones,dentrodeun
conjuntodereferencia.SuprecursorfueGottoFrege(1879).
MATEMTICAS-I 11
GII.201112
Lanecesidaddeextenderellenguajedeproporcionessepuedeverconelsiguienteejemplo:
Ejemplo32 P1:Todosloshombressonmortales.
P2:Scratesesunhombre
Q:Scratesesmortal
Siformalizamosesterazonamientoconellenguajedeproposicionesconelmarcoconceptual:
MC={Todosloshombressonmortales:p;Scratesesunhombre:q;Scratesesmortal:r}.
Elrazonamientop,qr,es,atodasluces,nocorrecto.Desdeelpuntodevistasintcticolaconclusinrnotiene
ningunarelacinsintcticaconlaspremisasyaquealserstasatmicas,noexisteningunaformadeextraerladeellas;
porotrolado,desdeelpuntodevistasemntico,podramosinterpretarlasfrmulaspyqcomoverdaderasylafrmula
rcomofalsa,esto,comoyaveremos(Tema3y4)significaqueelrazonamientodadonoescorrecto.Sinembargo,dicho
razonamiento es correcto. Esto se puede demostrar con otra formalizacin, la del lenguaje de predicados. El
razonamientoquedaraformalizadoconelmarcoconceptual:MC={s:Scrates;H(x):xeshombre;Mo(x):xesmortal},
como:x[H(x)Mo(x)],H(s)Mo(x),comopodemosverahoralarelacinsintcticaesevidente,luegoyapodremos
averiguarsilaconclusinsededucedelaspremisas.
Conellenguajedepredicados:
Enlasproposicionestomanrelevancialossujetosylospredicados.
Lospredicadosseformalizanconidentificadoresdepredicadosylossujetosconidentificadoresdetrminos.
Seformalizalacantidaddesujetosqueintervienenenlassentenciasmedianteloscuantificadores.
Alfabeto
Conjunto de smbolos formado por trminos, que pueden ser constantes, variables o funciones, predicados,
cuantificadoresysmbolosheredadosdellenguajeproposicional(conectivas,variablesproposicionalesyparntesis).
Veamosqusignificacadaunodeellosysuformalizacin:
*Constantes:RepresentanobjetosconcretoscomoJuan,Scrates.Lasconstantessonloselementosdeunconjunto,
llamadodominiodereferenciaouniversodediscurso,quesondistinguiblesentresporlaspropiedadesquelesafectan.
Seformalizanconletras,quepuedenestarnumeradas,empezandoporminscula:a,b,c,a1,a2,a3...
*Variables:Serefierenaobjetosindeterminadosquepertenecenaunconjuntodereferenciadondesedefineel
razonamientoquesedebeestudiar.Seformalizanconletrastpicasdevariables:x,y,z,w,x1,x2...
*Funcinnaria(aridad2n):Representanasujetosconstantesqueseobtienenaplicandounafuncinaotrosujeto
constante.Puedenser:
Mondicas(n=1):representanunindividuoenfuncindeotro.
Ej:f(x)=x2,esunafuncinmondicaquecalculaelcuadradodeunnmerorealx.
Polidicas(n>1):representanunindividuoenfuncindeotros.
Ej:f(x,y)=x+y,esunafuncinbinariaquecalculalasumadedosnmerosreales.
TodafuncintieneunnmeronN{0}deargumentos,queseconocecomolaaridaddelafuncin.Lasfuncionesse
formalizanconletrastpicasdefuncin:f,g,h.
*Predicadosorelacionesnarias:Segnlaaridadlospredicadospuedenser:
Constantes(n=0):representanalasproposicionesatmicas.
Ej:Maraesestudiosa;Fbf:p,siendoMC={p:Maraesestudiosa}.
Mondicos(n=1):representanalaspropiedadesdelosindividuos.
Ej:Maraesestudiosa;Fbf:Es(ma),siendoMC={ma:Mara;Es(x):xesestudiosa}.
Pollidicos(n>1):representanalasrelacionesentreindividuos.
Ej:MaraesnoviadeCarlos;Fbf:Nov(ma,ca),MC={ma:Mara;ca:Carlos;Nov(x,y):xesnoviodey}
2
La aridad de una funcin o de un predicado se define como el nmero de argumentos que tiene.
MATEMTICAS-I 12
GII.201112
Aligualquelasfunciones,lospredicadostienenunnmeronN{0}deargumentosquedeterminanelcarcterde
dichopredicado.Lospredicadosseformalizanconletrasoexpresionescuyaprimeraletradebeestarenmayscula:P,Q,
Ra.
OjO!: Si en un predicado se sustituyen los smbolos variables de sus argumentos por smbolos constantes, de un
determinadoconjuntodereferencia,seobtieneunafrmula.
Ejemplo33
a)Lavariableproporcionalpesunpredicadoconstante(aridadcero),luegoesunafrmulaatmica.
b)P(x),esunpredicadomondicoqueatribuyealsujetoxlapropiedadP.Sielconjuntodereferenciaes:
D={ana,luis},alsustituirlavariablexporanaseobtienelafrmulaatmica:P(ana).
c)P(x,y),esunpredicadopolidicoquerelacionaalossujetosxey.Aligualqueenb),six=anaey=ana,por
ejemplo, tenemos la frmula atmica: P(ana, luis),que representaque los sujetos anay luisestn relacionados
medianteelpredicadoP.
OjO!:noeslomismounafuncinqueunpredicado.Lospredicadossimbolizanfrmulasquepuedenserverdaderaso
falsas,lasfuncionesrepresentantrminosconstantes.stassesuelenusarparasimplificarlaescrituradelasfrmulasde
lalgicadepredicados.
Ejemplo34 Unpredicadonoesunafuncin.
Dado el conjunto D = {personas}. El predicado binario Ma(x,y): x es la madre de y no es una funcin porque
dependiendodelvalorquetomenlasvariablesxey,lafrmulacorrespondienteserverdaderaofalsa.Por
ejemplo, si x=ana e y=luisa, la fbf: Ma(ana, luisa) ser verdadera si el sujeto ana es la madre del sujeto
luisa.Sihubisemosqueridousarunafuncinpodramoshaberpuestof(x)=y,dondef,calculalamadrey
delsujetox.
Ejemplo35 FlixeselpadredeClara
1.Formalizacinmediantefunciones: padre(clara), dacomoresultado:Flix.
2.Formalizacinsinfunciones: Pa(felix,clara),dacomoresultadoverdaderoofalso.
*Cuantificadores:
Universal():seutilizaparaafirmarquetodosloselementosdeunconjuntocumplenunadeterminada
propiedadorelacin.
Existencial():seutilizaparaindicarquehayunoomselementosdeunconjuntoquecumplenuna
determinadapropiedad.
Ejemplo36 EnelMC={N(x):xesnmeronatural;Po(x):xespositivo}lassentencias:
a)Todoslosnmerosnaturalessonpositivos,seformalizacomo:x[Na(x)Po(x)].
b)Algunosnmerosnaturalessonpositivos,seformalizacomo:x[Na(x)Po(x)].
*Smbolosdellenguajeproposicional:variablesproposicionales,conectivasyparntesis.
Reglasparaconstruirfrmulasdelalgicadeprimerordenbienformadas(fbf).
Lasexpresionesbienformadasdelalgicadepredicados,esdecirlasfrmulaspredicativas,seconstruyenapartirdelos
trminos(querepresentanobjetos)ydelospredicadoscuyosargumentosson,precisamente,lostrminos.
Definicinrecursivadetrmino:
1. Todosmbolodevariableydeconstanteesuntrmino.
2. Sifesunsmbolodefuncindearidadn>0yt1,t2,tnsontrminos,entoncesf(t1,t2,tn)esuntrmino.
3. Slosontrminoslosdefinidospor1o2.
MATEMTICAS-I 13
GII.201112
Ejemplo37 Lassiguientesexpresionessontrminos:x;a;f(x);g(x;y);g(x;f(x));
dondexesunavariable,aesunaconstante,fesunafuncinmondicaygesunafuncinbinaria.
DefinicindeFrmula:
Una frmula predicativa puede ser atmica o molecular. Las frmulas atmicas del lenguaje son las expresiones
P(t1,...,tn),dondePesunsmbolodepredicadodearidadn>0yt1,...,tnsontrminosconstantesodefuncin.
Las frmulas moleculares del lenguaje estn formadas por frmulas atmicas conectadas o por frmulas en donde
aparecenpredicadosconargumentosvariablescuantificados.SiAesunafrmulayxesunavariable,entonces(xA(x))y
(xA(x))sonfrmulas.
OjO!:Untrminorepresentaunobjetomientrasqueunafrmulaatmicaserverdaderaofalsasegnseinterpreteen
undeterminadoconjunto.
Ejemplo38 FormalizarlasentenciaS:Maraesrubia,conellenguajedepredicados
MC={ma:Mara;R(x):xesrubia}
FbfS:R(ma)
Explicacindelossmbolosusados:
maesuntrminoquerepresentaalsujeto:Mara.
R(ma)esunafrmulaatmicaquerepresentaalhecho:Maraesrubia.
Reglasdeconstruccindefrmulasbienformadasdelalgicadeprimerorden(fbf):
R.1. Todavariableproposicionalesunafbf.
R.2. SiPesunpredicado,entoncesP(t1,t2,...,tn)esunafbf,siendotitrminos.
R.3. SiFesunafbfentonces:xiF[x1,x2,...,xi,...,xn]; xiF[x1,x2,...,xi,...,xn]

sonfbfs.Lavariablexiquedaligadaalcuantificadorintroducidoylasotrasvariablesslibres.
R.4. SiAyBsonfbfentoncesA,AB,AB,AByABsonfbf.
R.5. SlosonfbfslasconstruidasdesdeR1hastaR4.
R.6. Sonvlidastodaslasreglasdelagramticaproposicional.

Ejemplo39 Lasiguientefrmulaessintcticamentecorrecta:
x[P(x)Q(z)yR(x,y)]
yaquetodaslassubfrmulasdelafrmuladadasonvlidas
R(x,y) porR2
yR(x,y) porR3
P(x) porR2
Q(z) porR2
P(x)Q(z) porR4
P(x)Q(z)yR(x,y) porR4
x(P(x)Q(z)yR(x,y)) porR3.
Frmulaabiertaycerrada
Lasfrmulaslgicasdeprimerorden,quedenotaremospor,puedenserabiertasocerradassegnlaformaenque
aparezcanlasvariablesqueconformanlosargumentosdelospredicadosdeclaradosenlaformalizacin.Silasvariables
estnafectadasporalgncuantificadorsedicequesonvariablesligadasysinoloestn,sonvariableslibres.
MATEMTICAS-I 14
GII.201112
1.Sitodavariablequeapareceenunafrmulaesligada,diremosquelafrmulaescerrada.Enestecasolafrmula
puedeserevaluadaaverdaderaofalsa.

2.Sienunafrmulaapareceunavariablelibre,diremosquelafrmulaesabierta.Enestecasolafrmulanopuede
evaluarseniaverdaderaniafalsa.
Ejemplo40
1)Enlafrmula:xP(x,y)lavariablexapareceligadaylavariableyaparecelibre.Lafrmulaesabierta.
2)Enlafrmula:x[P(x)Q(x)R(x)]lavariablexapareceligadaalcuantificadorexistencialentodoslospredicados.
Lafrmulaescerrada.
DominiodereferenciaoUniversodeDiscurso
Eselconjuntonovacodeindividuosdistinguiblesentresenelquesedefinensusrelacionesypropiedades,esdecires
elconjuntodecosasacercadelascualessehablaenundeterminadocontexto.Dependiendodeldominioelegidouna
mismaproposicinpuedeserverdaderaofalsa.Porejemplo,aldecir"Todoslosnmerossonpositivos",enelconjunto
D={1,2,3,4}laproposicinxPo(x),siendoPo(x)elpredicadoqueserefiereaqueelsujetoxespositivo,esverdadera,
peroenelconjuntoD2={2,1,1,2}laproposicinesfalsa.
Porconvenio,eldominiodediscursoessiempreunconjuntonovaco.
Cuando tenemos un dominio finito el cuantificador universal se puede considerar como una generalizacin de la
conjuncinyelcuantificadorexistencialcomounageneralizacindeladisyuncin.
Ejemplo41 SeaeldominioD={a1,a2,...,an},tenemosquelafbf:
xP(x)esequivalentea:P(a1)P(a2)...P(an)
xP(x)esequivalentea:P(a1)P(a2)...P(an).
2.7. Construccindefrmulasproposicionalesypredicativas
Todaproposicintienesuformalgicaysufrmulabienformada.
Normasparaformalizarsentenciasconellenguajedeproposiciones:
1.Detectarsilaproposicindadaesatmicaomolecular.
2.Siesatmicaelegirunnombredevariableproposicionalparasuformalizacin.
3.Siesmolecular,determinarsuformalgicaydetectarcadaunadelasproposicionesatmicasquelacomponen.
Unavezdetectadaslasproposicionesatmicas,iralpaso1.
4.Definirelmarcoconceptualdelproblema,queserelconjuntodelasvariablesproposicionaleselegidasparala
formalizacindelasproposicionesatmicas.
5.Usarparntesis,siesnecesario,paraestablecerjerarquasentrelasconectivas.
Normasparaformalizarsentenciasconellenguajedepredicadosdeprimerorden:
1.Detectarsilaproposicindadaesatmicaomolecular.
2.Siesatmicaelegirunnombredepredicadoysmbolosparalossujetosconstantes.
3.Siesmolecularesporqueobiennoaparecensujetosconstantesobienporqueaparecenenproposicionesque
estn conectadas. Si no aparecen sujetos constantes, se debe valorar la cantidad de individuos que se deben
formalizarenlasentencia,eligiendoparaellounidentificadordecuantificacin,universaloexistencial.Elegirnombre
de predicado. Elegir nombres de variables que deben formar parte de los argumentos del predicado que se debe
formalizar.Siaparecenslosujetosconstantesiralpaso1.
4.Definirelmarcoconceptualdelproblema,queserelconjuntodesmbolosdelalfabetoelegidosparala
formalizacindelasproposicionesatmicas.
MATEMTICAS-I 15
GII.201112
5.Usarparntesis,siesnecesario,paraestablecerjerarquasentrelassubfrmulas.
Normasparaformalizarsentenciascuantificadas:
1. Las expresiones que deben formalizarse con un cuantificador universal van acompaadas de la conectiva de la
implicacinyaquedeestamanerarestringimoseldominiodelavariablecuantificadauniversal.As,porejemplo:
x[P(x)Q(x)]
significaquetodoslosx,siverificanlapropiedadPentoncesverificanlapropiedadQ,esdecir,notodoslossujetos
cumplennecesariamentelapropiedadQ,perosalmenosaquellosquecumplenlapropiedadP.

2.Lasexpresionesquedebenformalizarseconuncuantificadorexistencialvanacompaadasdelaconectivadela
conjuncin.Deestaforma:
x[P(x)Q(x)]
significaqueexistealgnsujetoxqueverificaelpredicadoPyqueverificatambinQ.
Estructurassintcticasequivalentesdeunafrmulalgica
Cualquier frmula se puede escribir de manera equivalente aplicando diferentes reglas de equivalencia. Para verlo
usaremos esquemas lgicos, que son expresiones que contienen smbolos que representan frmulas lgicas
cualesquiera.Porejemploelesquema:ABrepresentaelcondicionaldelasfrmulasAyB.
Leyesdeequivalenciamsusuales
Definicindelimplicadormedianteladisyuncin ABAB
Definicindelimplicadormediantelaconjuncin AB(AB)
Leydelcontrapositivo ABAB
LeyesdeMorgan AB=(AB)
AB=(AB)
Leydelbicondicional AB(AB)(BA)
Ejemplo42 MC={Jaimeestudialgica:p;Jaimeesfeliz:q}.Lassiguientesexpresionessonequivalentes:
Condicional
SiJaimeaprendelgicaentoncesesfeliz pq
Conjuncin
EsfalsoqueJaimeaprendalgicaynoseafeliz (pq)
Disyuncin
OJaimenoaprendelgicaoesfeliz pq
Contrapositivodelimplicador
SiJaimenoesfeliz,noaprendelgica qp
MATEMTICAS-I 16
GII.201112
Equivalenciaentrefrmulascuantificadas
xP(x) Existencialesnegativos:xP(x)
notodoslosxtienenlapropiedadP hayalgnxquenotienelapropiedadP
Universalesnegativos:xP(x) xP(x)
todoslosxnotienenlapropiedadP noexisteningnxquetengalapropiedadP
xP(x) Universalesafirmativos:xP(x)
nohayningnxqueposealapropiedadnoP todoslosxverificanP
xP(x) Existencialesafirmativos:xP(x)
notodoslosxcarecendelapropiedadP hayalgnxquetienelapropiedadP
Ejemplo43 Encontrarexpresionesequivalentesaladada:
x[P(x)Q(x)]
x[P(x)Q(x)]
x[P(x)Q(x)]
x[P(x)Q(x)]
x[P(x)Q(x)]
x[P(x)Q(x)]
x[P(x)Q(x)]
Representacinarborescentedefrmulaspredicativas
Enlashojasdelrboltendremoslosidentificadoresdepredicadosyenlosnodosinternoslasconectivaslgicasylos
cuantificadores.
Ejemplo44 Estructuraarborescentedelafrmulapredicativa:xy[xQ(x)P(y)R(x)]S(x)
lib r e

x S (x )
R (x )
P (y ) x
Q (x )

2.8. FormalizacindefrmulaslgicasenformaclausalysurelacinconellenguajeProlog
Las leyes de equivalencia permiten transformar frmulas en otras ms simples de evaluar, en especial, por un
computador, si stas carecen de la conectiva del implicador, conectiva binaria que no tiene la propiedad de ser
conmutativa,loquelohaceengorrosoensutratamientocomputacional.Lasfrmulasqueprescindendelaconectiva
delimplicadoryseescribenmedianteunacoleccindeclusulassedicequeestnescritasensuformaclausal(FC).
MATEMTICAS-I 17
GII.201112
Toda frmula escrita mediante su forma clausal se puede expresar mediante un lenguaje de Programacin Lgica, en
particular del lenguaje Prolog. La notacin en FC tiene la ventaja de que reduce a una forma nica lo que se puede
escribirdediversasformas.Estoresultaimprescindiblesiqueremosllevaracabomanipulacionesformalessobrefbfsdel
Clculo de Predicados y desarrollar procesos de automatizacin. De ah la importancia de la forma clausal cuando
tratamosdeaplicarlalgicaalainformtica,yenconcretoalaprogramacinlgica.
Antes de pasar a estudiar cmo se obtiene la forma clausal de una frmula dada, veamos algunos conceptos
relacionados.
Def.Unaclusulaesunadisyuncindeliterales{L1,...,Lk}.
Ejemplo45 Lafbf:pqesunaclusula.
Def.Unliteralesunafrmulaatmicaafirmadaonegada.
Ejemplo46 Enlafbf:pq,lasfrmulaspyqsonliterales.
Def.UnaClusulavacaesunaclusulasinliterales.Serepresentapor[]ysuvaloressiemprecontradiccin.
Procesoparaobtenerlaformaclausaldeunafrmula
Dadaunafrmulalgicaaplicar,sieselcaso,cadaunodelossiguientespasos:
Paso 1. Eliminarimplicadoresycoimplicadoresmediantelaaplicacindelaregla:
o AB=AB
Paso 2. Normalizarnegadoresmediantelaaplicacindelasreglas.
o LeyesdeMorgan:(AB)=AB;(AB)=AB.
o Leydeldoblenegador:A=A
Paso 3. Enfrmulascuantificadas,renombrarvariables,siesnecesario,paraquedoscuantificadoresnocoincidanenel
nombredevariablequecuantifican.
Paso 4. EliminarcuantificadoresexistencialesaplicandoelcriteriodeSkolem(veracontinuacin).
Paso 5. Ponerloscuantificadoresuniversalesalacabezadelafrmulaynovolveraescribirlosenlospasossucesivos,
yaquellegadosaestepuntotodaslasvariablesdelafrmulaestncuantificadasuniversalmente,porloque
noesnecesarioespecificarlo.
Paso 6. Aplicar, si es necesario, la regla distributiva: A (B C) = (A B) ( A C) para obtener una frmula cuya
conectivaprincipalsealaconjuncin.Reducirysimplificarlafrmulaaplicandoreglasdeequivalencia
Paso 7. Extraerlasclusulasdelafrmulaqueserncadaunadelasdisyuncionesdelafrmulaobtenidaenelpaso
anterior.
Paso 8. Las clusulas no pueden coincidir en los nombres de los argumentos variables. Se deben cambiar, si es
necesario,losnombresdelosargumentosvariablescoincidentes.Lasconstantespuedencoincidir.
CriteriodeSkolemparaeliminarcuantificadoresexistenciales
> Si el cuantificador existencial se encuentra enel mbito de un cuantificador universal, entonces lavariable de dicho
cuantificador depende del valor de la variable afectada por el cuantificador universal. El cuantificador existencial se
suprime sustituyendo su variable adosada por una funcin que contiene un argumento con la variable cuantificada
universalmente.
Ejemplo47 fbfA:yxP(x,y).Elcuantificadorxseencuentraenelmbitodey,luegolavariablexsesustituye
porunafuncindependientedelavariabley.
x=f(y);lafbfAquedara:yP(f(y),y).
MATEMTICAS-I 18
GII.201112
>Sielcuantificadorexistencialnoseencuentraenelmbitodeningncuantificadoruniversal,sustituimoslavariable
cuantificadaexistencialmenteporunaconstantequenoseencuentreenlafrmula.
Ejemplo48 fbfA: xy P(x,y,a). El cuantificador x no se encuentra en el mbito de y, luego la variable x se

sustituyeporunaconstante.
x=b;lafbfAquedarayP(b,y,a).

Ejemplo49 ObtenerlaFCdelafrmula:(pq)(pqr)p.
Lafrmulaseencuentraenelpaso8luegoextraemoslasclusulasquedenotamosporCi:
C1:pq: C2:pqr; C3:p.

Ejemplo50 ObtenerlaFCdelafrmula:((pq)r)(pr)(qr)

Paso1:Eliminarimplicadores:
((pq)r)((pr)(qr))
Paso2:Normalizarnegadores:
((pq)r)((pr)(qr))
((pq)r)((pr)(qr))
Paso6:Aplicarlaregladistributivaysimplificaraplicandoreglasdeequivalencia:
[(pq)r)(pr)][(pq)r)(qr)]
[(pq)(pr)][r(pr)][pq)(qr)][r(qr)]
[pqpr][rpr][pqqr][rqr]
pqr
Paso7:Extraerclusulas
SloobtenemosunaclusulaC1:pqr

Ejemplo51 ObtenerlaFCdelafrmula:xy[sobre(x,y)encimaDe(x,y)]

Paso1:Eliminarimplicadoresycoimplicadores:
xy[sobre(x,y)encimaDe(x,y)]
Paso7:Extraccindeclusulas.Sloobtenemosunaclusula:
C1:sobre(x,y)encimaDe(x,y).

EllenguajeProlog
EllenguajedeprogramacinProlog(PROgrammationenLOGique),creadoporAlainColmerauer(1970),esunlenguaje
deprogramacinparaordenadoresquesebasaenellenguajedelaLgicadeprimerordenyqueseutilizapararesolver
problemasenlosqueentranenjuegoobjetosyrelacionesentreellos.
Las sentencias de un programa escrito con el lengueje Prolog estn escritas en forma clausal. Las clusulas que
conformandichaformaclausaltienenqueuntipoespecialdeclusulasllamadas:clusulasdeHorn3.
Sabemosquelaformaclausaldeunafbfestformadaporunconjuntodeliterales,porejemplo{L1,...,Lk}.stospueden
serfbfsatmicasafirmadas{A1,...,An}onegadas{N1,...,Nm},esdecir:
{L1,...,Lk}={A1,...,An}{N1,...,Nm}
3
RecibenestenombreporqueestetipodefbfsfueroninvestigadasporprimeravezporellgicoAlfredHorn(1951).
MATEMTICAS-I 19
GII.201112
Def.ClusuladeHornDefinida:esunaclusulacon,comomximo,unliteralnonegado.
Laclusula:
{L1,...,Lk}={A1,...,An}{N1,...,Nm}
esunaclusuladeHornsin1.
SedistinguenlossiguientestiposdeclusulasdeHorn:
1.Hiptesisoclusulasconunliteralnonegado(n=1),llamadasclusulasconcabeza,quepuedenserasuvez:
Hechos:sinliteralesnegados(m=0) {A}
Ejemplomujer(ana)
Reglas:conliteralesnegados(m>0) {A,N1,...,Nm}
Ejemplohermanas(x,y) mujer(x),mujer(y),padresDe(x,p,m),padresDe(y,p,m)
2.Preguntasoclusulasquenotienenliteralnonegado(n=0)oteoremasademostrar,llamadasclusulassincabeza.
Metasuobjetivos:(m>0) {N1,...,Nm}
Ejemplohermanas(ana,pili).
Todo problema resoluble con clusulas generales tiene un modelo equivalente resoluble en Clusulas de Horn,por lo
quelasrestriccionesdenotacinnoconllevanunaprdidadecapacidadderepresentacin,yencambio,squefacilitan
laformulacin.
2.9. Formalizacinderazonamientos
Cualquierrazonamientodeductivoseformalizaenellenguajelgico.Paraellohayquedetectarculessonlaspremisasy
cul es la conclusin. Las premisas pueden ir precedidas de las expresiones: puesto que, ya que y similares. La
conclusinaparecerprecedidaporlasexpresiones:luego,porlotanto,enconsecuenciaosimilares.
Formalizarunrazonamientoconlleva:
1.Formalizarpremisasyconclusinenellenguajeelegidodefiniendounmarcoconceptual.
2.EscribirencadalnealafbfdeunapremisaprecedidaporfbfPi,ylaconclusinprecedidadefbfQ.
3.Escribirelrazonamientoformalizado:
a) mediantesunotacinformalP1,P2,PnQ,obien
b) medianteunafrmulaquelorepresente:P1P2PnQ.

>>Ejemplosdeformalizacinderazonamientosconellenguajedeproposiciones
Ejemplo52 SiLupecantaperaentoncesescantante.Lupenocantaperapuestoquenoescantante.
Lainformacinaparecedesordenada,buscamoslassentenciasquesonaspremisasylaqueeslaconclusin.
P1:SiLupecantaperaentoncesescantante
P2:Lupenoescantante
Q:Lupenocantapera
MC={Lupecantapera:p;Lupeescantante:q}

FbfP1:pq
FbfP2:q
FbfQ:p

Notacinformal:pq,qp
MATEMTICAS-I 20
GII.201112
Ejemplo53 LupeviajaraLondrespuestoqueobtuvolabecayhablamuybieningls.
Lainformacinaparecedesordenada.
P1:Lupeobtuvolabeca
P2:Lupehablamuybieningls
Q:LupeviajaraLondres

MC={Lupeobtuvolabeca:p;Lupehablamuybieningls:q;LupeviajaraLondres:r}

FbfP1:p
FbfP2:q
FbfQ:r

Notacinformal:p,qr

Ejemplo54 Juannoserexpulsadodelclubamenosquecometaalgnaltercadoyseaungamberro.Comonoha
sidoexpulsado,podemosconcluirquenohacometidoningnaltercadoniesungamberro.
LaPremisa1esunCondicionalquepodemosenunciardeformaequivalentecomo:
P1:SiJuanesexpulsadodelclubesquehacometidoalgnaltercadoyhasidoungamberro
P2:Nohasidoexpulsado.
Laconclusinesunaconjuncinquepodemosenunciar,demaneraequivalente,as:
Q:JuannohacometidoningnaltercadoyJuannoesungamberro.

MC={Juanesexpulsadodelclub:ex;Juancometealtercado:al;Juanesgamberro:ga}

FbfP1:exalga
FbfP2:ex
FbfQ:alga

Notacinformal:exalga,exalga

>>Ejemplosdeformalizacinderazonamientosconellenguajedepredicados
Ejemplo55 P1:Laspersonasquehacendeportenosalendemarcha.
P2:Algunosquesalendemarchasefatigan.
Q:Luego,existenpersonasquesefatiganynohacendeporte.
MC={De(x):xhacedeporte;Ma(x):xsaledemarcha;Fa(x):xsefatiga}
Formalizacin
fbfP1:x[De(x)Ma(x)]
fbfP2:x[Ma(x)Fa(x)]
fbfQ:x[Fa(x)De(x)]
MATEMTICAS-I 21
GII.201112
Constantes Variables
a, b, ... x, y, ...
Predicados
Trminos
P, Q, ...
Negacin
tomos

Conectivas Cuantificadores
Literales

fbf

Vocabulariodelalgicadeprimerorden
2.10. Relacinentrelateoradeconjuntosylalgicadeprimerorden
Lalgicadepredicadosylateoradeconjuntosestnestrechamenterelacionadasyaquetodapropiedadllevaasociado
un conjunto. Es ms, todos los individuos que poseen una cierta propiedad forman un conjunto. De hecho en un
principio se pens que toda predicado en el lenguaje de la lgica de primer orden llevaba asociado un conjunto, por
ejemplolapropiedadP(x)llevaasociadoelconjunto{x:P(x)}.Esteconjuntoestaraformadoporloselementosxdel
universo de discurso U quesatisfacen la propiedad P(x).As, por ejemplo, si nuestrouniverso de discurso es el de los
sereshumanos,yP(x)eslapropiedaddequeunhumanoxespoderoso.Dadounserhumanoa;esposibledeterminarsi
aespoderoso,esdecir,siapertenecealconjunto{x:P(x)}.
2.11. Ejerciciosresueltos

>>Formalizacindesentenciasconellenguajeproposicional
Ejercicio1Siaceptoelmundoquemeofrecenysoyfeliz,entoncesempiezoacavarmipropiasepultura;obien,sino
soyfelizasynotengoposibilidaddecambiarestemundo,emprendomipropioenterramiento.
Solucin
MC={Aceptoelmundoquemeofrecen: p;
Soyfeliz: q;
Empiezoacavarmisepultura: r;
Tengoposibilidaddecambiarelmundo:s;
Emprendomienterramiento: r}
Fbf: [pqr][qsr]
Ejercicio2Megustacaminarbajolalluviasiemprequetengoalgotristeenquepensar.
Solucin
Podemosredactarlasentenciadadadeformaequivalente:
MATEMTICAS-I 22
GII.201112
Sitengoalgotristeenquepensar,megustacaminarbajolalluvia
MC={Tengoalgotristeenquepensar:p;Megustacaminarbajolalluvia:q}
Fbf: pq.
Ejercicio3Siaciertounaquinielamehagorico.
Solucin
MC={Aciertounaquiniela:p;Mehagorico:q}
Fbf: pq
Ejercicio4Slosiaciertounaquinielamehagorico.
Solucin
Seinvierteelsentidodelafraseporqueahoraacertarunaquinielaescondicinnecesariaparahacermerico:
Fbf: qp
Ejercicio5Nomehagoricoamenosqueacierteunaquiniela.
Solucin
Fbf: qp
Ejercicio6Mehagoricosiyslosiaciertounaquiniela.
Solucin
Fbf: qp
Ejercicio7SiDrculacruzalascalleshadeindicarquycuntosfinespersigue,aunquesimiente,ledaremosconlas
puertasenlasnaricesperosidicelaverdadleinvitaremosacenar.
Solucin
MC={ Drculacruzalascalles: p
Drculaindicaqufinespersigue: q
Drculaindicacuntosfinespersigue: r
Drculadicelaverdad: s
DamosaDrculaconlapuertaenlasnarices: t
InvitamosacenaraDrcula: w}
Fbf: (pqr)(st)(sw)
Ejercicio8Formalizarenellenguajeproposicionallasentenciadellenguajealgortmico:

si(condicin)entonces
accin1
sino
accin2
finsi
Solucin
MC={condicin:p;accin1:q;accin2:r}
Fbf: (pqr)(pqr)
MATEMTICAS-I 23
GII.201112
Ejercicio9Formalizarenellenguajeproposicionalelsiguienterazonamiento:
P1:Siestudiotodoeltemario,entoncesapruebolaasignatura:eap
P2:Noheaprobadolaasignatura:ap
Q:Noheestudiadotodoeltemario:e
Solucin
MC={condicin:p;accin1:q;accin2:r}
eap,ape
Ejercicio10Formalizarenellenguajeproposicionallasentencia:

Unpartidodeftbolnoseganaamenosqueelrbitroseamaloyelporteronoseduerma.
Solucin
MC={elpartidodeftbolsegana:ga;elrbitroesmalo:ma;elporteroseduerme:du}
Fbf:gamadu
Ejercicio11Formalizarenellenguajeproposicionallasentencia:
Paraquenieveperonocaigagranizoesnecesarioquehagamuchofroyquenollueva.
Solucin
MC={nieva:ni;caegranizo:gr;hacemuchofrio:fr;llueve:ll}
Fbf:nigrfrll
Formalizacindesentenciasconellenguajepredicativo
FormalizarlassiguientessentenciasconelMC={a:Antonio;pe:Pepe;lu:Lus;M(x):xesmdico;En(x):xesenfermero;
Am(x,y):xesamigodey}
Ejercicio12Antonio,PepeyLuissonmdicosoenfermeros.
Solucin
FBF:(M(a)M(pe)M(lu))(En(a)En(pe)En(lu))
Ejercicio13LosmdicossonamigosdeLus,queesenfermero.
Solucin
EssuficientequeunsujetoseamdicoparaqueseaamigodeLus
Fbf:x[M(x)Am(x,lu)En(lu)]
Ejercicio14AlgunosmdicossonamigosdeLus,queesenfermero.
Solucin
Fbf:x[M(x)Am(x,lu)En(lu)]
Ejercicio15AlgunosmdicosamigosdeLussonamigosdeAntonio,quenoesmdico.
Solucin
Fbf:x[M(x)Am(x,lu)Am(x,a)M(a)]
Ejercicio16TodoslosamigosdeLussonamigosdeAntonio,perolosamigosdePepe,quenosonenfermeros,nolo
son.
MATEMTICAS-I 24
GII.201112
Solucin
Fbf:x[Am(x,lu)Am(x,a)]x[Am(x,pe)En(x)Am(x,a)]
Ejercicio17SlolosamigosdeAntonio,quesonenfermeros,sonamigosdelosamigosdePepe,quenosonmdicos
Solucin
Fbf: xy[A(x,y)Am(y,pe)M(y)Am(x,a)En(x)]
Ejercicio18Dadoslossiguientesconjuntos:
A={2,4,6},B={4,6,8,10},C={10.14,16,26}
Calculara)AB.b)AB.c)A.d)AC.e)AA,
Solucin
a) AB={4,6}
b) AB={2,4,6,8,10}.
c) A=.
d) AC=.
e) AA=A
2.12. Siquieressaberms
Libros:
Lgica de Primer Orden. Castel M J. y Llorens F. DCCIA, U.A.
1999.
Introduccin a la Lgica Formal. Deao, A. Alianza U.Textos,

1992.
LgicaSimblicaGarrido,M.Ed.Tecnos,S.A.,2ed.1991
MatemticaDiscretayLgica.UnaperspectivadesdelaC.C.Grassmann,W.K.yTremblay.Ed.PrenticeHall,1996.
Enlaces:
http://sisbib.unmsm.edu.pe/bibvirtualdata/libros/Filosofia/intro_logica/1_parte.pdf
http://usuarios.bitmailer.com/edeguzman/Lenguaje/01conect.htm
http://wmatem.eis.uva.es/~matpag/CONTENIDOS/Conjuntos/marco_conjuntos.htm
Lgicadivertida
1. Lenguajenaturalengorrosoocondobleintencin?
Cmoquieresquevayadenocheavertesielperrodetupadresaleamorderme?
2. BertrandRussellestabatratandosobrelosenunciadoscondicionalesysosteniendoqueunenunciadofalsoimplica
cualquiercosa.Unfilsofoescpticolepregunt:
Quiereusteddecirquesi2+2=5,entoncesesustedelPapa?
Russellcontestoafirmativamenteydioladivertidapruebaquesigue:
Sisuponemosque2+2=5,entoncesseguramenteestarusteddeacuerdoenquesirestamos2decadaladodela
ecuacin,nosda2=3.Invirtiendolostrminos,tenemos3=2yrestando1decadaladodelaecuacin,nosda2=1.
MATEMTICAS-I 25
GII.201112
Demodoque,comoelPapayyosomosdospersonas,y2=1,entonceselPapayyosomosuno.Luego,yosoyel
Papa.
3. Un trmino puede referirse a muchos objetos y tener un slo significado, dependiendo de cundo, dnde y por
quinseapronunciado:
Dosamigosestnhablandodeltristeestadodelamoralsexualdehoyenda:
Yonuncameacostconmimujerantesdequenoscasramosdiceunodeellos,hacindoseelsanto.Yt?
Noestoysegurorespondeelotro.Cmosellama?
4. EnunpueblosehaformadounclubllamadoelClubdelosCorazones,quetienelossiguientesestatutos: Para
cualquiermujerdelpueblosinoperteneceatodoslosclubs,pertenecealClubdelosCorazones.
5. Sobreelimplicador.Enlaantigedadsesostenaunainteresantediscusin;FilndeMegaraafirmabalaimplicacin
materialsiguiente:paraquedosproposicionesseimpliquenbastaconquenosedelcasodequeelantecedente
seaverdaderoyelconsecuentefalso,sinimportarelcontenidodelasmismas.Conesto,losantiguosfilsofosno
estabanmuydeacuerdoporque,entonces,lasiguienteafirmacin:
Siesdenoche,entoncesdiscuto
esverdaderacuando:
seadedaaunquenodiscuta(implicacinconantecedenteF).
discutoaunquenoseadenoche(implicacinconconsecuenteV).
Diodoro Crono, maestro de Filn, no aceptaba este punto de vista, porque le pareca absurdo que la proposicin
condicionalsiesdenoche,entoncesdiscuto"seconvirtiesecircunstancialmenteVduranteelda.ParaDiodorosi
unaproposicinesVlotienequesersiempre,estoes,esimposiblequesedelcasodequeelantecedenteseaVy
elconsecuenteF(implicacinmaterialestricta).Laimplicacindiodricaseconocecomoimplicacinformal.
MATEMTICAS-I 26
GII.201112

Ap T2 LLpo - (M1 GII - 11'12) PDF

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Ap T2 LLpo - (M1 GII - 11'12) PDF

Cargado por

Copyright:

Formatos disponibles

TEMA2:ELLENGUAJEDELALGICADEPRIMERORDENYLATEORADECONJUNTOS

TEMA 2: EL LENGUAJE DE LA LGICA DE PRIMER ORDEN Y LA TEORA DE CONJUNTOS

Metaexpresiones Formalgica Smbolo Formalizacin: Ejemplo

OP1oP2oambascosas Disyuncin pq Jaimecantaobaila

P1siyslosiP2 Bicondicional Jaimecantasiyslosibaila

Ejemplo23 A = {1,2,3}. La afirmacin 2A es verdadera; la afirmacin 4A es verdadera.

PROPIEDADES UNIN INTERSECCIN

Conmutativa AB=BA AB=BA

Conjuntos A B A=B AB AB A' AB

proposiciones a b ab a b ab a' a b'

R.3. SiFesunafbfentonces:xiF[x1,x2,...,xi,...,xn]; xiF[x1,x2,...,xi,...,xn]

Ejemplo48 fbfA: xy P(x,y,a). El cuantificador x no se encuentra en el mbito de y, luego la variable x se

Introduccin a la Lgica Formal. Deao, A. Alianza U.Textos,

También podría gustarte