Está en la página 1de 26

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
Teniendo en cuentaque elprincipal objetivo del estudiode la lgicaes el aprendizaje de las tcnicas de demostracin
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



MATEMTICAS-I
GII.201112
2
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
lenguaje formal de laLgica deprimerorden que carece de imprecisiones y poseeunaforma clara de representacin
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
embargo el lenguaje predicativo adems de tener en cuenta dichas conexiones, considera los sujetos o individuos que
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, y lo denotaremos por MC. En MC estarn todas las proposiciones atmicas que aparecen en el problema, 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.

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



MATEMTICAS-I
GII.201112
3
2.2. Ellenguajedelalgicadeproposiciones
Es el lenguaje propio de la lgica de proposiciones, nivel bsico de la lgica de 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).
Permite construir frmulas lgicas proposicionales a partir de la formulacin de proposiciones atmicas y moleculares
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
que el programa opera y adems pueden modificarse durante la ejecucin. Las variables proposicionales representan a
unaproposicin(quepuedeserverdaderaofalsa).
Reglasparalaconstruccindefrmulasproposicionalesbienformadas(fbf):
R.1. Todavariableproposicionalesunafbf.
R.2. SiAesunafbfentoncesAtambinloes.
R.3. SiAyBsonfbftambinlosonAB,AB,A
queslosevealteradaporlapresenciadeparntesis(verEjemplo3).
Prioridadmsalta
B,AB.
R.4. SlosonfbflasquecumplenlasreglasR1,R2yR3.
R.5. Paraevitarexcesodeparntesisseestablecelasiguientejerarquadeprioridadesentresusconectivas

OjO!:laprioridadindicaelordenenquesedebeoperarconlasconectivasenelclculolgico.
R.6. Lafbfquedadefin
(verEjemplo4).
idaporlaconectivademayorjerarqua(laltimaquesetieneencuentaenlafbf).
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 , (p q), y por ltimo la conjuncin . Si la fbf anterior no hubiera tenido parntesis: p q r se
reconoceracomo:p((q)
escribir como: p q r, ya que por R5 no es necesario
r).

Ejemplo4 Laexpresin:(pq)resunafbfqueestdefinidaporlaconectivademayorjerarquaquees
(R6) luego la frmula es un condicional. Dicha fbf se puede
usarparntesis,porque1seoperaraconyluegocon.
TEMA 2: EL LENGUAJE DE LA LGICA DE PRIMER ORDEN Y LA TEORA DE CONJUNTOS

MATEMTICAS-I
GII.201112
4
Ejemplo5 La expresin: p q r. No es una fbf yaque hay ambigedad. Se deben usar smbolos de parntesis
(R7).Sepuedeescribir,p(qr)obien(pq)r.
Ejemplo6 Laexpresin:pqnoesunafbfporquelasconectivasbinariasdebentenerunafbfaamboslados
(R3).
Ejemplo7 Laexpresin:pnoesunafbfyaqueincumpleR2.
Ejemplo8 Laexpresin:pqnoesunafbfyaquelaconectivaseestusandocomoconectivabinaria.

Representacinarborescentedeunafrmulalgica
Paraverclaramentelaestructurasintcticadeunafrmulayasdeterminarconclaridadlaprioridaddecadaunadesus
componentes sintcticas, podemos usar la representacin arborescente. En las hojas del rbol tendremos las variables
proposicionalesyenlosnodosinternoslasconectivaslgicas.

Ejemplo9 Estructuraarborescentedelafrmulaproposicional:pqpq
q

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:
TEMA 2: EL LENGUAJE DE LA LGICA DE PRIMER ORDEN Y LA TEORA DE CONJUNTOS

MATEMTICAS-I
GII.201112
5
Metaexpresiones Formalgica Smbolo
Conectivo
Formalizacin:
fbf
Ejemplo
NoP1
EsfalsoqueP1
Negacin p
Jaimenocanta
EsfalsoqueJaimecante
P1yP2
P1peroP2
P1sinembargoP2
P1noobstanteP2
P1apesardeP2
Conjuncin pq

Jaimecantaybaila
Jaimecantaperobaila
Jaimecantasinembargobaila
OP1oP2oambascosas Disyuncin pq
Jaimecantaobaila
SiP1entoncesP2
P1slosiP2
P2esnecesarioparaP1
P1essuficienteparaP2
noP1amenosqueP2
noP1oP2
SinoP2entoncesnoP1
Condicional

pq
p:antecedente;
q:consecuente
SiJaimecantaentoncesbaila
Jaimecantaslosibaila
QueJaimebaileesnecesariopara
quecante
QueJaimecanteessuficientepara
quebaile
Jaimenocantaamenosquebaile
OJaimenocantaobaila
P1siyslosiP2
P1 es necesario y suficiente
paraP2
Bicondicional
pq
Jaimecantasiyslosibaila
ParaqueJaimecanteesnecesario
ysuficientequebaile
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(B
(p) (q)serepresentaporp
C).
Frmulaslgicasproposicionales
Fbfproposicionalatmica:variableproposiocional.
Fbfproposicionalmolecular:expresinformadaporvariablesproposicionalesylasconectivasquelasunen.

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

MATEMTICAS-I
GII.201112
6
((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.
Formalizacin: Fbf(P):pq

Ejemplo16 P:MaranovaalconciertoamenosquevayaSilvia.
Proposicinmolecularcondicional.
Formalizacin: Fbf(P):pq

Ejemplo17 P:ParaqueMaravayaalconciertoesnecesarioquevayaSilvia.
Proposicinmolecularcondicional.
Formalizacin: Fbf(P):pq

Ejemplo18 P:ParaqueMaravayaalconciertoessuficientequevayaSilvia.
Proposicinmolecularcondicional.
Formalizacin: Fbf(P):qp

Ejemplo19 P:ParaqueMaravayaalconciertoesnecesarioysuficientequevayaSilvia.
Proposicinmolecularbicondicional.
Formalizacin: Fbf(P):pq

Ejemplo20 P:OMaravaalconciertooSilviavaalconciertoperonolasdoscosasalavez.
Proposicinmolecularconjuncin.
Formalizacin: Fbf(P):(pq)(pq)

!OjoLasvariablesproposicionalesslosimbolizanproposicionesatmicasynopalabrasonombres.

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



MATEMTICAS-I
GII.201112
7
Ejemplo21 JuancomeconPepe
MC={Juan:p;Pepe:q}ERROR

Ojo!Entodafrmulaquecontengaconectivasdebehaberunaquedomine,quesealaprincipal.

Ejemplo22 SiMarahallegadodelcineynotienequeestudiar,entoncespodemoscenar.
Formalgicacondicional:SiAynoBentoncesC.Luegolaconectivaprincipalserelimplicador.
2.3. Teoradeconjuntos
Def. Un conjunto es una coleccin o clase de objetos bien definidos y diferenciables entre si, llamados elementos del
conjunto.
Loselementosdeunconjuntopuedenserdecualquiernaturaleza,assepuedentenerconjuntosdetodoslosenteros,
de vocales, de las premisas de un razonamiento, etc. Los tipos de datos que usan los lenguajes de programacin son
tambinconjuntos.
Para denotar los conjuntos utilizaremos letras maysculas A, B, C, despus escribiremos el signo de igualdad y entre
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.
TEMA 2: EL LENGUAJE DE LA LGICA DE PRIMER ORDEN Y LA TEORA DE CONJUNTOS

MATEMTICAS-I
GII.201112
8
jO!:Noeslomismopertenencia(elementoyconjunto)queinclusin(entreconjuntos).
jemplo26 SeaelconjuntoA={0,2,4,6,8},entonces2A,{4}A,{6}A,8A.
sandodiagramas
1
conjuntodeA.

seandiferentesessuficientequedifieranenal
enosunelemento,yaqueunconjuntosedescribeporsuselementos.
E
cuentran los elementos. Aunque los elementos se repiten en B, como norma general aparecen
solamenteunavez.
E
n,
precisamente,loselementosdelconjuntoB,luegoAB.Demanerasimilar,sedemuestraqueBA,luegoA=B.
Laigualdadentredosconj como:

U deVenn serepresentaelconjuntoBcomounsub

B
A
U

Conjuntosiguales
DosconjuntosAyBsoniguales(A=B)sitienenlosmismoselementosolamismapropiedadcaracterstica.Paraquelos
conjuntosAyBseanigualesesnecesarioqueAByBAyparaque
m

jemplo27 LosconjuntosA={0,2,4,6,8}yB={0,2,4,0,6,2,8,0}soniguales,esdecirA=B,siendoirrelevanteel
orden en que se en

jemplo28 LosconjuntosA={xR:x
2
=1}yB={1,1}sonigualesyaqueaunqueAyBestnescritosdeforma
diferente ambos conjuntos tienen los mismos elementos. Las soluciones de la ecuacin del conjunto A (x
2
= 1) so

untosAyBsepuedeescribir
(A=B)(A
obien,demaneraequivalente,conlarelacindepertenencia:
(A=B)(xAxB)
Eselconjuntoquenotieneelementos.Sedenotapor.
B)(BA)

Conjuntovaco
OjO!: El conjunto que el conjunto A = {}, pues A no es un conjunto vaco ya que tiene un elemento,
recisamenteelconjuntovaco.
roposicin:SiAesunconjuntocualquieraseverificaqueA.
Caracter
- junto de B entonces existe al menos un elemento de A que no es un elemento de B,
no es igual
p

sticasdelainclusindeconjuntos:
Si A no es un subcon
escribiremosAB.
- ParacualquierconjuntoAseverificaA
todoslosconjuntos.
Algunossubconjuntossonsubconjuntospropios:

A.
- Elconjuntovacoesunsubconjuntode


1
J ohn Venn, matemtico ingls. Representacin grfica para visualizar conjuntos.
TEMA 2: EL LENGUAJE DE LA LGICA DE PRIMER ORDEN Y LA TEORA DE CONJUNTOS

MATEMTICAS-I
GII.201112
9
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:

A
B
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:
B A

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



MATEMTICAS-I
GII.201112
10
Ejempl anA={a,b,1}yB={a,1,2}.AB={a,b,1,2}.
mosconjuntodiferenciadeAyBylorepresentamosporAB,alconjuntoformadopor
todosloselementosqueestnenAperonoe

AB={x:(xA)(xB)}
AB={p}mientrasqueBA={s,t}.

Elconju A)y(xA)}notieneelementos.
DiagramadeVenn:
o30 Se
Diferencia
SeanlosconjuntosAyB.Llama
nB:

Ejemplo31 SeanlosconjuntosA={p,q,r}yB={q,r,s,t}.
ntoAA={x:(x

SeaelconjuntoA.ElcomplementariodeA,queseescribeA,eselconjuntodetodosloselementosquenopertenecena
A,oque UA(Uconjuntouniversalfijadodeantemano).
DiagramadeVenn:

Propo AyBsonsubconjuntoscualesquieradeUseverifica:
A
A
B
U
U
Complementario
pertenecenaladiferencia

sici n: Si
'=U.
U'=
(A')'=A.
AB
SiA={xU:p(x)esunaproposicinverdadera}entoncesA'={xU:p(x)esunaproposicinfalsa}.
SiAyBsonsubconjuntosdeunconjuntouniversalUentoncesAB=AB'.

B'A'.

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



MATEMTICAS-I
GII.201112
11
IN N PROPIEDADES UNIN TERSECCI
Idempotencia
A
A
A=A
A B ByBA
A
A
A=A
A B ByBA
C onmutativa AB=BA AB=BA
Asociativa A(BC)=(A C A( B) BC)=(A C B)
Absorcin A(AB)=A A(AB)=A
Distributiva A(BC)=(AB)(A A C) (BC)=(AB)(A C)
C AA'= omplementariedad U;A U=U AA' =A;A =;A U=A =;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.
queacadaconexinlgicalecorrespondeunaoperacindeconjuntos.SeanA,B...conjuntosya,b...suspropiedades
lgicaquecaracterizaaloselementosdecadaconjunto.
tienelasiguientecorrespondencia:

2.5. Relacinentrelateoradeconjuntosylalgicadeproposiciones
Existe una relacin muy estrecha entre la teora de conjuntos y la lgica proposicional. La forma en que podemos
obtenernuevosconjuntosestdirectamenterelacionadaconlaformaenqueoperanlasconectivaslgicas,detalforma
caractersticas,esdecir,laproposicin
Se
Conjuntos
A B A =B A B A B A' A B
proposi
a b a b a b a b a' a b'
ciones
El conjunto vaco se corresponde con una contradiccin (conjuncin de una frmula y su negacin) y el conjunto
niversalconunatautologa(disyuncindeunafrmulaysunegacin).Conestacorresponde u
sobre
nciatodoslosresultados
conjuntossepuedenr entrminosdelgicaproposicional viceversa;

eescribir y
A (A B)=A a (b c) a
A (B A C) a (b a c) C)=(A B) ( c)(a b) (
(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,
carece de significado hasta que no se determine a qu animales nos referimos. Si dicha sentencia se formaliza con el
lenguajedeproposicionestenemoslafrmula:p,expresinquenoexpresaconocimientoacercadelos individuosque
pueden ser animales domsticos. De manera similar la proposicin: Todos los animales son domsticos se
representaraporlafrmula:q,quetampoco nospermitereferirnosatodosloselementosdeundominio.Es silos
lementos de
ms,
un dominio fueran infinitos, simplemente no se podra expresar conocimiento acerca de todos los
yrelaciones,dentrodeun
e
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,suspropiedades
onjuntodereferencia.SuprecursorfueGottoFrege(1879). c
TEMA 2: EL LENGUAJE DE LA LGICA DE PRIMER ORDEN Y LA TEORA DE CONJUNTOS

MATEMTICAS-I
GII.201112
12
dee edeverconelsiguienteejemplo:
mortales.
ceptual:MC={s:Scrates;H(x):xeshombre;Mo(x):xesmortal},
Lanecesidad xtenderellenguajedeproporcionessepu

Ejemplo32 P1:Todosloshombresson
P2:Scratesesunhombre
Q:Scratesesmortal
Siformalizamosesterazonamientoconellenguajedeproposicionesconelmarcoconceptual:
MC={Todosloshombressonmortales:p;Scratesesunhombre:q;Scratesesmortal:r}.
El razonamiento p, q r, es, a todas luces, no correcto. Desde el punto de vista sintctico la conclusin r no tiene
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
razonamientoquedaraformalizadoconelmarcocon
como:x[H(x) Mo(x),comopodemosverahoralarelacinsintcticaesevidente,luegoyapodremos
cedelaspremisas.
Con
Lospredicadosseformalizanconidentificadoresdepredicadosylossujetosconidentificadoresdetrminos.
lizalacantidaddesujetosqueintervienenenlassentenciasmedianteloscuantificadores.
eden ser constantes, variables o funciones, predicados,
(conectivas,variablesproposicionalesyparntesis).
sdeunconjunto,
tan.
...
e
*Funci tienenaplicandounafuncinaotrosujeto
constante.Pueden

Polidicas(n>1):representanunindividuoenfuncindeotros.
Mo(x)],H(s)
averiguarsilaconclusinsededu
ellenguajedepredicados:
Enlasproposicionestomanrelevancialossujetosylospredicados.
Seforma
Alfabeto
Conjunto de smbolos formado por trminos, que pu
cuantificadoresysmbolosheredadosdellenguajeproposicional
Veamosqusignificacadaunodeellosysuformalizacin:
*Constantes:RepresentanobjetosconcretoscomoJuan,Scrates.Lasconstantessonloselemento
llamadodominiodereferenciaouniversodediscurso,quesondistinguiblesentresporlaspropiedadesquelesafec
Seformalizanconletras,quepuedenestarnumeradas,empezandoporminscula:a,b,c,a1,a2,a3
*Variables:Serefierenaobjetosindeterminadosquepertenecenaunconjuntodereferenciadondesedefineel
razonamientoquesedeb estudiar.Seformalizanconletrastpicasdevariables:x,y,z,w,x1,x2...
nnaria(aridad
2
n):Representanasujetosconstantesqueseob
ser:
Mondicas(n=1):representanunindividuoenfuncindeotro.
2
Ej:f(x)=x ,esunafuncinmondicaquecalculaelcuadradodeunnmerorealx.
Ej:f(x,y)=x+y,esunafuncinbinariaquecalculalasumadedosnmerosreales.
TodafuncintieneunnmeronN laaridaddelafuncin.Lasfuncionesse
formalizanconletrastpicasdefuncin:f,g,h.
*Predicados nser:

Pollidicos(n>1):representanalasrelacionesentreindividuos.
Ej:MaraesnoviadeCarlos;Fbf:Nov(ma,ca),MC={ma:Mara;ca:Carlos;Nov(x,y):xesnoviodey}

{0}deargumentos,queseconocecomo
orelacionesnarias:Segnlaaridadlospredicadospuede
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}.

2
La aridad de una funcin o de un predicado se define como el nmero de argumentos que tiene.
TEMA 2: EL LENGUAJE DE LA LGICA DE PRIMER ORDEN Y LA TEORA DE CONJUNTOS

MATEMTICAS-I
GII.201112
13
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 representa que los sujetos ana y luis estn relacionados
medianteelpredicadoP.

OjO!: no es lo mismo una funcin que un predicado. Los predicados simbolizan frmulas que pueden ser verdaderas o
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,lafrmulacorrespondiente serverdaderaofalsa.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.
TEMA 2: EL LENGUAJE DE LA LGICA DE PRIMER ORDEN Y LA TEORA DE CONJUNTOS

MATEMTICAS-I
GII.201112
14

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(t
1
,t
2
,...,t
n
)esunafbf,siendot
i
trminos.
R.3. SiFesunafbfentonces:x
i
F[x
1
,x
2
,...,x
i
,...,x
n
]; x
i
F[x
1
,x
2
,...,x
i
,...,x
n
]
sonfbfs.Lavariablex
i
quedaligadaalcuantificadorintroducidoylasotrasvariablesslibres.
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.

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



MATEMTICAS-I
GII.201112
15
.Sitodavariablequeapareceenunafrmulaesligada,diremosquelafrmulaescerrada.Enestecasolafrmula
pu
2.Sienunafrmulaapareceunavariablelibre,diremosquelafrmulaesabierta.Enestecasolafrmulanopuede
averdaderaniafalsa.

Ejemp
2)Enlafrmula:x[P(x)Q(x)R(x)]lavariablexapareceligadaalcuantificadorexistencialentodoslospredicados.
L
lo,aldecir"Todoslosnmerossonpositivos",enelconjunto
={1,2,3,4}laproposicinxPo(x),siendoPo(x)elpredicadoqueserefiereaqueelsujetoxespositivo,esverdadera,
uando tenemos un dominio finito el cuantificador universal se puede considerar como una generalizacin de la
elc disyuncin.

fbf:
xP(x)esequivalentea:P(a
1
)P(a
2
)...P(a
n
)
xP(x)esequivalentea:P(a )P(a )...P(a ).
2.7.
Tod
parasuformalizacin.
,iralpaso1.
s proposicionales elegidas para la
formalizacindelasproposicionesatmicas.
5 U
:
ordecuantificacin,universaloexistencial.Elegirnombre
se debe
iralpaso1.
abetoelegidosparala
formalizacindelasproposicionesatmicas.
1
edeserevaluadaaverdaderaofalsa.

evaluarseni
lo40
1)Enlafrmula:xP(x,y)lavariablexapareceligadaylavariableyaparecelibre.Lafrmulaesabierta.
afrmulaescerrada.
DominiodereferenciaoUniversodeDiscurso
Eselconjuntonovacodeindividuosdistinguiblesentresenelquesedefinensusrelacionesypropiedades,esdecires
el conjunto de cosas acercade las cuales se habla en undeterminado contexto.Dependiendo del dominio elegido una
mismaproposicinpuedeserverdaderaofalsa.Porejemp
D
peroenelconjuntoD2={2,1,1,2}laproposicinesfalsa.

Porconvenio,eldominiodediscursoessiempreunconjuntonovaco.

C
conjunciny uantificadorexistencialcomounageneralizacindela
Ejemplo41 SeaeldominioD={a
1
,a
2
,...,a
n
},tenemosquela
1 2 n
Construccindefrmulasproposicionalesypredicativas
aproposicintienesuformalgicaysufrmulabienformada.
Normasparaformalizarsentenciasconellenguajedeproposiciones:
1.Detectarsilaproposicindadaesatmicaomolecular.
2.Siesatmicaelegirunnombredevariableproposicional
3.Siesmolecular,determinarsuformalgicaydetectarcadaunadelasproposicionesatmicasquelacomponen.
Unavezdetectadaslasproposicionesatmicas
4. Definir el marco conceptual del problema, que ser el conjunto de las variable
. sarparntesis,siesnecesario,paraestablecerjerarquasentrelasconectivas.
Normasparaformalizarsentenciasconellenguajedepredicadosdeprimerorden
1.Detectarsilaproposicindadaesatmicaomolecular.
2.Siesatmicaelegirunnombredepredicadoysmbolosparalossujetosconstantes.
3. Si es molecular es porque o bien no aparecen sujetos constantes o bien porque aparecen en proposiciones que
estn conectadas. Si no aparecen sujetos constantes, se debe valorar la cantidad de individuos que se deben
formalizarenlasentencia,eligiendoparaellounidentificad
de predicado. Elegir nombres de variables que deben formar parte de los argumentos del predicado que
formalizar.Siaparecenslosujetosconstantes
4.Definirelmarcoconceptualdelproblema,queserelconjuntodesmbolosdelalf
TEMA 2: EL LENGUAJE DE LA LGICA DE PRIMER ORDEN Y LA TEORA DE CONJUNTOS

MATEMTICAS-I
GII.201112
16
5 U entrelassubfrmulas.
1. Las expresiones que deben formalizarse con universal van acompaadas de la conectiva de la
implicacinyaquedeestamanerarestringimoseldominiodelavariablecuantificadauniversal.As,porejemplo:

paadas de la conectiva de la
x[P(x)Q(x)]
s i everificatambinQ.
ualquier frmula se puede escribir de manera equivalente aplicando diferentes reglas de equivalencia. Para verlo
son expresiones que contienen smbolos que representan frmulas lgicas
a:ABrepresentaelcondicionaldelasfrmulasAyB.
. sarparntesis,siesnecesario,paraestablecerjerarquas
Normasparaformalizarsentenciascuantificadas:
un cuantificador
x[P(x)Q(x)]
significaque todos los x, si verifican lapropiedad P entonces verificanla propiedadQ, esdecir, no todos los sujetos
cumplennecesariamentelapropiedadQ,perosalmenosaquellosquecumplenlapropiedadP.

2. Las expresiones que deben formalizarse con un cuantificador existencial van acom
conjuncin.Deestaforma:
ign ficaqueexistealgnsujetoxqueverificaelpredicadoPyqu
Estructurassintcticasequivalentesdeunafrmulalgica
C
usaremos esquemas lgicos, que
cualesquiera.Porejemploelesquem

Leyesdeequivalenciamsusuales
Definicindelimplicadormedianteladisyuncin ABAB
Definicindelimplicadormediantelaconjuncin AB(A ) B
Leydelcontrapositivo ABAB
LeyesdeMorgan AB=(A
AB=(AB)
B)
Leydelbico AB(A ndicional B)(BA)

Ejemplo42 MC={Jaim lgica:p;Jaimeesfeliz:q}.Lassiguientesexpresionessonequivalentes:

eestudia
Condicional
SiJaimeaprendelgicaentoncesesfeliz pq
Conjuncin
EsfalsoqueJaimeaprendalgicaynoseafeliz (p ) q
Disyuncin
OJaimenoaprendelgicaoesfeliz pq
Contrapositivodelimplicador
SiJaimenoesfeliz,noaprendelgica qp

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



MATEMTICAS-I
GII.201112
17
Equivalenciaent ascuantificadas

Existenciales :xP(x)
refrmul
xP(x)
notodoslosxtienenlapropiedadP
negativos
hayalgnxquenotienelapropiedadP
Universales xP(x)
noexiste P
negativos:
todoslosxnotienenlapropiedadP
xP(x)
ni dad ngnxquetengalapropie
xP(x)
no P hayningnxqueposealapropiedadno
Universalesafirmativos:xP(x)
todoslosxverificanP
xP(x)
dos
Existencialesafirmativos:xP(x)
hayalgnxquetienelapropiedadP noto losxcarecendelapropiedadP

Ejemplo43 Encontrarexpresionesequiva s da lente alada :


x[P(x)Q(x)]
x[P(x)

Q(x)]
x[P(x) Q(x)]
x[P(x)Q(x)]
x[P(x)
x[P(x)Q(x)]

tacinarborescentedefrmulaspredicativas
del rbol lgicas y los
res.

Ejemplo44 Estructura S(x)


Q(x)]
x[P(x)Q(x)]
Represen
En las hojas tendremos los identificadores de predicados y en los nodos internos las conectivas
cuantificado
arborescentedelafrmulapredicativa:xy[xQ(x)P(y)R(x)]
y
S ( x ) x
R ( x )

Q ( x )
x P ( y )
lib re

ser
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
conmutativa, lo que lo hace engorroso en su tratamiento computacional. Las frmulas que prescinden de la conectiva
delimplicadoryseescribenmedianteunacoleccindeclusulassedicequeestnescritasensuformaclausal(FC).
TEMA 2: EL LENGUAJE DE LA LGICA DE PRIMER ORDEN Y LA TEORA DE CONJUNTOS

MATEMTICAS-I
GII.201112
18
una forma nica lo que se puede
autom
lalgicaalainformtica,yenconcretoalaprogramacinlgica.
lausal de una frmula dada, veamos algunos conceptos
elacionados.
usula {L1,...,Lk}.
ales
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
escribirdediversasformas.Estoresultaimprescindiblesiqueremosllevaracabomanipulacionesformalessobrefbfsdel
Clculo de Predicados y desarrollar procesos de atizacin. De ah la importancia de la forma clausal cuando
tratamosdeaplicar
Antes de pasar a estudiar cmo se obtiene la forma c
r
Def.Unacl esunadisyuncindeliterales

Ejemplo45 Lafbf:pqesunaclusula.

Def.Unliter unafrmulaatmicaafirmadaonegada.

Ejemplo46 Enlafbf:p

ef.UnaClusulavacaesunaclusulasinliterales.Serepresentapor[]ysuvaloressiemprecontradiccin.
P

Dadaunafr la eselcaso,cadaunodelossiguientespasos:
ndelaregla:
q,lasfrmulaspyqsonliterales.
D
rocesoparaobtenerlaformaclausaldeunafrmula
mu lgicaaplicar,si
Paso 1. Eliminarimplicadoresycoimplicadoresmediantelaaplicaci
o A
Paso 2. Nor iz indelasreglas.
B=AB
mal arnegadoresmediantelaaplicac
o LeyesdeMorgan:(AB)=AB;(A
Paso 4. El ialesaplicandoelcriteriodeSkolem(veracontinuacin).
loque
Paso 6. Ap necesario, la regla distributiva: A (B C) = (A B) ( A C) para obtener una frmula cuya
Paso 7. Ex n el paso
anterior.
Paso 8. os variables. Se deben cambiar, si es
or existencial se encuentra en el mbito de un cuantificador universal, entonces la variable de dicho
uantificador depende del valor de la variable afectada por el cuantificador universal. El cuantificador existencial se
u

jemplo47 fbfA:yxP(x,y).Elcuantificadorxseencuentraenelmbitodey,luegolavariablexsesustituye
B)=AB.
o Leydeldoblenegador:A=A
Paso 3. Enfrmulascuantificadas,renombrarvariables,siesnecesario,paraquedoscuantificadoresnocoincidanenel
nombredevariablequecuantifican.
iminarcuantificadoresexistenc
Paso 5. Ponerloscuantificadoresuniversalesalacabezadelafrmulaynovolveraescribirlosenlospasossucesivos,
yaquellegadosaestepuntotodaslasvariablesdelafrmulaestncuantificadasuniversalmente,por
noesnecesarioespecificarlo.
licar, si es
conectivaprincipalsealaconjuncin.Reducirysimplificarlafrmulaaplicandoreglasdeequivalencia
traer las clusulas de la frmula que sern cada una de las disyunciones de la frmula obtenida e
Las clusulas no pueden coincidir en los nombres de los argument
necesario,losnombresdelosargumentosvariablescoincidentes.Lasconstantespuedencoincidir.
CriteriodeSkolemparaeliminarcuantificadoresexistenciales
> Si el cuantificad
c
suprime sustituyendo su variable adosada por una funcin que contiene un argumento con la variable cuantificada
niversalmente.
E
porunafuncindependientedelavariabley.
x=f(y);lafbfAquedara:yP(f(y),y).

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



MATEMTICAS-I
GII.201112
19
> Si el cuantificador existencial no se encuentra en el mbito de ningn cuantificador universal, sustituimos la variable
uantificadaexistencialmentepor c unaconstantequenoseencuentreenlafrmula.

Ejemplo 8 x no se encuentra en el mbito de y, luego la variable x se


sustituyeporunaconstante.

Ejemplo49 btenerlaFCdelafrmula:(pq)(pqr)p.
rmu tamosporCi:
C1:pq: C2:pqr; C3:p.
Ejemplo50 ObtenerlaFCdela
4 fbfA: xy P(x,y,a). El cuantificador
x=b;lafbfAquedarayP(b,y,a).
O
Laf laseencuentraenelpaso8luegoextraemoslasclusulasquedeno

frmula:((pq)r)(pr)

Paso2:Normalizarnegadore

Paso
r)][r(p pq)(qr)][r(qr)]
[pqpr][rpr][pqqr][rqr]
Paso7: traerclusulas
SloobtenemosunaclusulaC1:pqr
Ejemplo51 Obtener encimaDe(x,y)]

y)]

Paso7:Extraccindeclusulas.Sloobtenemosunaclusula:
1:sobre(x,y)encimaDe(x,y).
critas en forma clausal. Las clusulas que
conformandichaformaclausaltienenqueuntipoespecialdeclusulasllamadas:clusulasdeHorn3.
literales,porejemplo{L1,...,Lk}.stospueden
erfbfsatmicasafirmadas{A1,...,An}onegadas{N1,...,Nm},esdecir:
{L1,...,Lk}={A1,...,An}{N1,...,Nm}

(qr)
Paso1:Eliminarimplicadores:
((pq)r)((pr)(qr))
s:
((pq)r)((pr)(qr))
((pq)r)((pr)(qr))
6:Aplicarlaregladistributivaysimplificaraplicandoreglasdeequivalencia:
[(pq)r)( pq)r)(qr)] p r)][(
r)][ [(pq)(p
pqr
Ex

laFCdelafrmula:xy[sobre(x,y)
Paso1:Eliminarimplicadoresycoimplicadores:
xy[sobre(x,y)encimaDe(x,
C

EllenguajeProlog
EllenguajedeprogramacinProlog(PROgrammationenLOGique),creadoporAlainColmerauer(1970),esunlenguaje
deprogramacinparaordenadoresquesebasaenellenguajedelaLgicadeprimerordenyqueseutilizapararesolver
problemasenlosqueentranenjuegoobjetosyrelacionesentreellos.
Las sentencias de un programa escrito con el lengueje Prolog estn es
Sabemosquelaformaclausaldeunafbfestformadaporunconjuntode
s


3
RecibenestenombreporqueestetipodefbfsfueroninvestigadasporprimeravezporellgicoAlfredHorn(1951).
TEMA 2: EL LENGUAJE DE LA LGICA DE PRIMER ORDEN Y LA TEORA DE CONJUNTOS

MATEMTICAS-I
GII.201112
20
ximo,unliteralnonegado.

Sedistin Ho
negado(n=1),llamadasclusulasconcabeza,quepuedenserasuvez:
Def.ClusuladeHornDefinida:esunaclusulacon,comom
Laclusula:
{L1,...,Lk}={A1,...,An}{N1,...,Nm}
esunaclusuladeHornsin1.
guenlossiguientestiposdeclusulasde rn:
1.Hiptesisoclusulasconunliteralno
Hechos:sinliteralesnegados(m=0) {A}
Ejemplomujer(ana)
Reglas:conliteralesnegados(m>0) {A,N1,...,Nm}
Ejemplohermanas(x,y) ),padresDe(x,p,m),padresDe(y,p,m)
gado(n=0)oteoremasademostrar,llamadasclusulassincabeza.
Todo problema resoluble con clusulas generales tiene un modelo equivalente resoluble en Clusulas de Horn, por lo
unaprdidadecapacidadderepresentacin,yencambio,squefacilitan
rmalizaenellenguajelgico.Paraellohayquedetectarculessonlaspremisasy
cul es e y similares. La
conclusi res.
Formaliz
unmarcoconceptual.
2.Escr e usinprecedidadefbfQ.
3.Escribirelrazonamientoformalizado:
a) mediantesunotacinformalP1,P2,PnQ,obien
mujer(x),mujer(y
2.Preguntasoclusulasquenotienenliteralnone
Metasuobjetivos:(m>0) {N1,...,Nm}
Ejemplohermanas(ana,pili).
quelasrestriccionesdenotacinnoconllevan
laformulacin.
2.9. Formalizacinderazonamientos
Cualquierrazonamientodeductivosefo
la conclusin. Las premisas pueden ir precedidas de las expresiones: puesto que, ya qu
naparecerprecedidaporlasexpresiones:luego,porlotanto,enconsecuenciaosimila
arunrazonamientoconlleva:
1.Formalizarpremisasyconclusinenellenguajeelegidodefiniendo
ibir ncadalnealafbfdeunapremisaprecedidaporfbfPi,ylaconcl
b) medianteunafrmulaquelorepresente:P1P2

def

Ejemplo ante.Lupenocantaperapuestoquenoescantante.
enada,buscamoslassentenciasquesonaspremisasylaqueeslaconclusin.
ncesescantante
P2:Lupe
Q:Lupe cantapera
pecantapera:p;Lupeescantante:q}
q
Q:

PnQ.
>>Ejemplos ormalizacinderazonamientosconellenguajedeproposiciones
52 SiLupecantaperaentoncesescant
Lainformacinaparecedesord
P1:SiLupecantaperaento
noescantante
no
MC={Lu

FbfP1:p
FbfP2:q
Fbf p
Notacinformal:pq,qp
TEMA 2: EL LENGUAJE DE LA LGICA DE PRIMER ORDEN Y LA TEORA DE CONJUNTOS

MATEMTICAS-I
GII.201112
21
Ejemplo puestoqueobtuvolabecayhablamuybieningls.

sordenada.
1:Lupeobtuvolabeca
P2:Lupe
Q:Lupe ajaraLondres
C={Lupeobtuvolabeca:p;Lupehablamuybieningls:q;LupeviajaraLondres:r}

bfP1:p
Q:r

Ejemplo aungamberro.Comonoha
sidoex

yhasidoungamberro
P2:Noh sidoexpulsado.
Laconcl
ningnaltercadoyJuannoesungamberro.
={Juanesexpulsadodelclub:ex;Juancometealtercado:al;Juanesgamberro:ga}
bfP1:exalga
bfQ:alga
53 LupeviajaraLondres
Lainformacinaparecede
P
hablamuybieningls
vi

M
F
FbfP2:q
Fbf

Notacinformal:p,qr
54 Juannoserexpulsadodelclubamenosquecometaalgnaltercadoyse
pulsado,podemosconcluirquenohacometidoningnaltercadoniesungamberro.
LaPremisa1esunCondicionalquepodemosenunciardeformaequivalentecomo:
P1:SiJuanesexpulsadodelclubesquehacometidoalgnaltercado
a
usinesunaconjuncinquepodemosenunciar,demaneraequivalente,as:
Q:Juannohacometido

MC

F
FbfP2:ex
F

Notacinformal:ex

def dos

jemplo55 P1:Laspersonasquehacendeportenosalendemarcha.
go,existenpersonasquesefatiganynohacendeporte.

Ma(x):xsaledemarcha;Fa(x):xsefatiga}

Formaliz
fbfP1:x[De(x)Ma(x)]
fbfP2:x[Ma(x)Fa(x)]
fbfQ:x[Fa(x)De(x)]

alga,exalga

>>Ejemplos ormalizacinderazonamientosconellenguajedepredica
E
P2:Algunosquesalendemarchasefatigan.
Q:Lue
MC={De(x):xhacedeporte;
acin
TEMA 2: EL LENGUAJE DE LA LGICA DE PRIMER ORDEN Y LA TEORA DE CONJUNTOS

MATEMTICAS-I
GII.201112
22
f bf
Constantes
a, b, ...
Cuantificadores

Li t er al es
Negacin

Tr m i nos
Predicados
P, Q, ...
Variables
x, y, ...
t om os
Conectivas

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 que satisfacen la propiedad P(x). As, por ejemplo, si nuestro universo 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:
TEMA 2: EL LENGUAJE DE LA LGICA DE PRIMER ORDEN Y LA TEORA DE CONJUNTOS

MATEMTICAS-I
GII.201112
23
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,ledaremoscon las
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)
TEMA 2: EL LENGUAJE DE LA LGICA DE PRIMER ORDEN Y LA TEORA DE CONJUNTOS

MATEMTICAS-I
GII.201112
24
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.
TEMA 2: EL LENGUAJE DE LA LGICA DE PRIMER ORDEN Y LA TEORA DE CONJUNTOS

MATEMTICAS-I
GII.201112
25

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.
TEMA 2: EL LENGUAJE DE LA LGICA DE PRIMER ORDEN Y LA TEORA DE CONJUNTOS

MATEMTICAS-I
GII.201112
26
3. pendiendo de cundo, dnde y por
sexualdehoyenda:

5. cusin;FilndeMegaraafirmabalaimplicacin
materialsiguiente:p bastaconquenosedelcasodequeelantecedente
sea verdadero y el con de las mismas. Con esto, los antiguos filsofos no
doporque,entonces,lasiguienteafirmacin:

osicin
condicionalsiesdenoche,entoncesdiscuto"seconvirtiesecircunstancialmenteVduranteelda.ParaDiodorosi
unaproposicinesVlotienequesersiempre,estoes,esimposiblequesedelcasodequeelantecedenteseaVy
elconsecuenteF(implicacinmaterialestricta).Laimplicacindiodricaseconocecomoimplicacinformal.
De modo que, como el Papa y yo somos dos personas, y 2=1, entonces el Papa y yo somos uno. Luego, yo soy el
Papa.
Un trmino puede referirse a muchos objetos y tener un slo significado, de
quinseapronunciado:
Dosamigosestnhablandodeltristeestadodelamoral
Yonuncameacostconmimujerantesdequenoscasramosdiceunodeellos,hacindoseelsanto.Y t?
Noestoysegurorespondeelotro.Cmosellama?
4. EnunpueblosehaformadounclubllamadoelClubdelosCorazones,quetienelossiguientesestatutos: Para
cualquiermujerdelpueblosinoperteneceatodoslosclubs,pertenecealClubdelosCorazones.
Sobreelimplicador.Enlaantigedadsesostenaunainteresantedis
araquedosproposicionesseimpliquen
secuente falso, sin importar el contenido
estabanmuydeacuer
Siesdenoche,entoncesdiscuto
esverdaderacuando:
seadedaaunquenodiscuta(implicacinconantecedenteF).
discutoaunquenoseadenoche(implicacinconconsecuenteV).
Diodoro Crono, maestro de Filn, no aceptaba este punto de vista, porque le pareca absurdo que la prop