Tema 1 Lgica de proposiciones y de predicados de primer orden.

Lgica de proposiciones
Sintaxis
El alfabeto de la Lgica de Proposiciones debe proporcionar los smbolos necesarios para representar
proposiciones sobre el mundo. Como el nmero de proposiciones que pueden manejarse en un mismo
razonamiento no est limitado, debe proveer un nmero infinito de letras proposicionales.
Consta de los siguientes elementos:
1. Infinitas letras proposicionales: p0, p1, p2, p3 . . .
2. Smbolos lgicos: constantes (^,), conectiva monaria () y conectivas binarias (,,,)
3. Dos smbolos auxiliares de puntuacin: parntesis izquierdo( y derecho ).
En las exposiciones tericas, el nmero de letras proposicionales que se consideran simultneamente es
pequeo (por ejemplo, de p0 a p8). En estos caso se suelen notar informalmente con las ltimas letras del
alfabeto latino: {p,q, r, s, t, . . .}.
En la siguiente tabla se adjunta el nombre usual de cada conectiva y su lectura:
^,

Enunciado Falso, Verdadero

Negacin

No p

Conjuncin

pyq

p q

Disyuncin

poq

p q

Condicional

Si p entonces q

p q p q

Bicondicional

p si y slo si q

p q p q q p

Semntica de las conectivas

p
1
1
0
0

q
1
0
1
0

p
0
0
1
1

pq
1
0
0
0

pq
1
1
1
0

pq
1
0
1
1

pq
1
0
0
1

Tablas de verdad
Si interesa conocer cmo se comporta globalmente la frmula habr que estudiarla frente a toda
asignacin posible. La tabla de verdad es una enumeracin completa del valor de la frmula para cada
asignacin distinta. A este tipo de tablas se le denomina tabla de verdad de la frmula.
A una frmula verdadera para toda interpretacin se le denomina tautologa.
A una frmula falsa para toda interpretacin se le denomina contradiccin.
A las frmulas que no son ni tautologa ni contradiccin se las suele denominar contingentes.
Satisfacibilidad
Una interpretacin satisface una o varias frmulas cuando stas se evalan como verdaderas en esa
interpretacin o lnea.
1

Sobre la tabla de verdad, cualquier "lnea" (interpretacin) donde una frmula se evala como 1 satisface
esa frmula.
Una interpretacin satisface a un conjunto de frmulas si todas ellas presentan valor 1 en esa misma lnea.
La satisfacibilidad es la posibilidad de ser satisfecho por alguna interpretacin.
Basta que al menos exista una lnea donde se satisfaga simultneamente ese conjunto de frmulas para
afirmar que es satisfacible.
Si un conjunto o una frmula no es satisfacible se denominar insatisfacible.
Las frmulas insatisfacibles tambin se denominan contradicciones.
En la tabla de verdad 1.7, la primera frmula por la izquierda es insatisfacible, una contradiccin. Las
dos restantes son satisfacibles. De estas dos frmulas satisfacibles, una resulta ser verdadera en toda
interpretacin y la otra no.
p
1
1
1
1
0
0
0
0

q
1
1
0
0
1
1
0
0

r (p q) (q r) (p q) (q r) (p q) (q r)
1
0
1
1
0
0
0
1
1
0
1
1
0
0
1
1
1
0
1
1
0
0
1
1
1
0
1
1
0
0
1
1
Tabla 1.7: Una frmula insatisfacible y dos satisfacibles

En la tabla de verdad 1.8, ese conjunto de tres frmulas es satisfacible. Existe al menos una lnea donde
todas las frmulas tienen el valor 1.
El conjunto de frmulas de la tabla 1.8 se satisface simultneamente en 5 lneas.

Si se eliminase una de las frmulas, el conjunto resultante se satisfara en un nmero igual o

mayor de lneas.
Si se aadiese una frmula cualquiera, el conjunto resultante se satisfara en un nmero igual o
menor de lneas.
p
1
1
1
1
0
0
0
0

q
1
1
0
0
1
1
0
0

r p (q r) (p q) r
1
1
1
0
1
1
1
1
1
0
0
0
1
1
1
0
1
0
1
1
1
0
1
0

r (r p)
1
1
1
1
1
1
1
1

Tabla 1.8: El conjunto = {p (q r), (p q) r, r (r p)} es satisfacible

La tabla 1.9 corresponde a un conjunto de frmulas insatisfacible.

p
1
1
1
1
0
0
0
0

q
1
1
0
0
1
1
0
0

r p (q r) (p q) (r p)
1
1
1
0
0
1
1
0
1
1
0
0
0
0
0
0
1
1
0
0
0
1
0
1
1
1
0
0
0
1
0
0

Tabla 1.9: El conjunto = {p (q r), (p q), (r p)} es insatisfacible

El mtodo ms directo para decidir la satisfacibilidad de una frmula o de un conjunto consiste en

recorrer todas las interpretaciones de la tabla de verdad, hasta producir:

Un resultado afirmativo es satisfacible, basta encontrar la primera interpretacin satisfactoria.

Un resultado negativo no es satisfacible hay que recorrer todas las interpretaciones posibles.
Si en un conjunto de frmulas aparecen n letras proposicionales, el nmero de interpretaciones distintas
es 2n.
Validez
Una frmula vlida es aqulla que es verdadera frente a cualquier interpretacin.
Las tautologas son frmulas vlidas.
La satisfacibilidad divide en dos al conjunto de frmulas: en insatisfacibles y satisfacibles.
Este ltimo conjunto tambin se divide en dos: frmulas tautolgicas y frmulas contingentes.
Observe que:

Si niega una frmula insatisfacible, la frmula resultante es una tautologa.

Si niega una tautologa, la frmula resultante es insatisfacible.
Si niega una frmula contingente, la frmula resultante es contingente.
Si niega una frmula satisfacible, la frmula resultante puede ser satisfacible o no serlo, tan slo
se puede afirmar que no ser tautologa.
Notacin: Para expresar que una frmula es vlida se utilizar la notacin .
Para decidir la validez de una frmula, el procedimiento semntico extensivo requiere recorrer toda la
tabla de verdad.
Los resultados negativos se pueden obtener ms rpidamente: basta encontrar la primera interpretacin
que no satisface la frmula.

Consecuencia
Una descripcin informal de "ser consecuencia lgica de" es:
Todas las lneas donde las frmulas denominadas premisas son verdaderas necesariamente la ltima
tambin lo es.
En este ejemplo, (q r) es consecuencia lgica del conjunto de frmulas {(p q), (p r)}, a las que
denominaremos premisas o hiptesis.
p
1
1
1
1
0
0
0
0

q
1
1
0
0
1
1
0
0

r p q p r
1
1
1
0
1
1
1
0
1
0
0
1
1
1
1
0
1
0
1
1
1
0
1
0

qr
1
1
1
0
1
1
1
0

Tabla 1.10: Consecuencia {(p q), (p r)} (q r)

Para representar que es consecuencia lgica de = {1, . . . , n} se suele emplear la notacin ,

= {1, . . . , n} . Es tambin usual omitir las llaves del conjunto: 1, . . . , n .
Cuando no se cumple la relacin de consecuencia se denota tachando el smbolo: .
En Lgica de Proposiciones donde el nmero de interpretaciones distintas es finito, la relacin de
consecuencia lgica se puede decidir mediante el siguiente procedimiento:

Se forma la tabla de verdad de las premisas y la conclusin y se comprueba que siempre que las
premisas toman el valor de verdad 1 tambin la conclusin toma el valor 1.
Para mostrar que no es consecuencia lgica basta encontrar un caso en el que las premisas sean
verdaderas y la conclusin falsa.
Absolutamente cualquier frmula verifica que es consecuencia lgica de un conjunto de frmulas,
premisas, insatisfacible.

Equivalencias
Dos frmulas, y , son equivalentes si y .
Sobre la tabla de verdad, dos frmulas equivalentes tienen exactamente los mismos valores de verdad
sobre cada lnea.
Escribiremos cuando ambas frmulas sean equivalentes y cuando no lo sean.
Cualquier relacin binaria que es reflexiva, simtrica y transitiva se le denomina relacin de
equivalencia. Tiene las siguientes propiedades:

Reflexividad:
Simetra: si entonces
Transitividad: si y entonces
Dadas dos frmulas, y , son equivalentes si y slo si la frmula es una tautologa.

Equivalencias
p p 
p p ^
p ^ p
p p
p 
p ^^
p p p
p p p
p p
pq q p
pq q p

Nombre
Ley del medio excluido
Ley de contradiccin

Leyes de identidad

Leyes de idempotencia
Ley de doble negacin
Leyes conmutativas

p q r p q r
p q r p q r
p q p r p q r
p q p r p q r
p p q p
p p q p
p q p q
p q p q

Leyes asociativas

Leyes distributivas

Leyes de absorcin

Leyes de De Morgan

p q q p
p q q p

p q q p

Leyes de transposicin

p q p q p q
p q q p

Reduccin al absurdo

p q p q q p

Formas normales
Una forma normal disyuntiva es aquella que est escrita como una disyuncin de conjuncin de literales.
(p q) (q r)
Una forma normal disyuntiva es una contradiccin si y slo si cada una de sus conjunciones incluye una
letra negada y no negada.
Una forma normal conjuntiva es aquella que est escrita como una conjuncin de disyunciones de
literales.
(p q) (q r)
Una forma normal conjuntiva es una tautologa si y slo si cada una de sus disyunciones incluye una letra
negada y no negada.
Forma clausulada
Un literal es una frmula atmica o la negacin de una frmula atmica.
Son literales cada una de las siguientes seis expresiones: p, q, r, p, ^,.
No son literales las expresiones: p, r q, (pq).
A cada literal l le corresponde un literal complementario lc.
Una frmula como la siguiente est en forma normal conjuntiva:

(p q) (r q r p) (r q)
A toda frmula proposicional se le puede hacer corresponder una frmula normal conjuntiva equivalente.
1. Eliminar los bicondicionales, si los hubiera: pq (pq) (qp)
2. Eliminar los condicionales, si los hubiera, mediante el reemplazo: pq p q
3. Introducir todas las negaciones hasta que afecten a frmulas atmicas:

(p q) (p q) (p q) (p q)
4. Eliminar las dobles negaciones:

p p
5. Reubicar correctamente las conjunciones y disyunciones:

p (q r) (p q) (q r)
p (q r) (p q) (q r)

Lgica de Predicados Mondicos

Sintaxis
El alfabeto de un lenguaje de Primer Orden incluye:

Smbolos comunes:
o variables: Var = {x, y, z . . .}
o conectivas: {^, , , , , , }
o cuantificadores: {, }
o smbolos de puntuacin: parntesis y comas
o smbolo de igualdad: {}

Smbolos propios:
o un conjunto de constantes: = {a, b, . . .}
o un conjunto de funciones: = { f, g, . . .}
o un conjunto de relaciones: = {R, S, . . .}

Se utilizan como constantes las letras iniciales del alfabeto latino {a,b,c,d,...}, las letras finales como
variables {...,u,v,w,x,y,z} y letras intermedias {f,g,h,...} como funciones. Para las relaciones se usarn
letras maysculas {R, S,. . .}.
Si queremos expresar los enunciados con una estructura interna necesitamos aadir una coleccin de
posibles propiedades P, Q, R, S,, son predicados mondicos, son cosas que se dicen sobre un
determinado elemento sobre los que diremos algo {a,b,c,d,...}.
P sola sin ningn elemento a, b, no es una frmula, no podemos evaluarla como verdadera o falsa.
Pa, Qb, ya es una frmula atmica con una estructura.

Semntica
Una interpretacin de una frase debe contener informacin suficiente para determinar si la frase es
verdadera o falsa.
Formalmente, una interpretacin de una expresin lgica contiene los siguientes componentes:
1. seleccionar un conjunto U no vaco, cualquiera.
2. Por cada predicado mondico, como P(x), debe escoger un subconjunto de U.
3. Cada interpretacin de este lenguaje debe fijar qu subconjuntos del universo son PI y QI y
qu elementos del universo son aI, bI y cI.
4. Buscar que elementos tienen la propiedad P, Q,
5. Debemos valorar si la frmula completa es verdadera o falsa.

Ejemplos de Lgica de Predicados Mondicos

U = {1,2,3,4,5}; PI = {2,4,5}; QI = {1,4}; aI = 1; bI = 4

QI

PI

Pa Qb

FV

Pa Qb

FF

Pa Qb

FV

Pa Qb

FV

U = {1,2,3,4,5}; PI = {2,4,5}; QI = {2,4,5}; aI = 1; bI = 4

PI

QI

Pa Qb

FV

Pa Qb

FF

Pa Qb

FV

Pa Qb

FV

U = {1,2,3,4,5}; PI = {2,4,5}; QI = {1,4}; aI = 4; bI = 4

QI

PI

Pa Qb

VV

Pa Qb

VF

Pa Qb

VV

Pa Qb

VV

2
5

Sintaxis de los cuantificadores

Al cuantificador para todo se le denomina universal.
Al cuantificador existe, existencial.
Adems vamos a trabajar con el conjunto de las variables: {x, y, z...}, que nos van a servir para completar
el cuantificador y rellenar los trminos de un predicado mondico, didico, etc.
Las constantes no pueden completar un cuantificador.
Variables libres y ligadas
Si una frmula es de la forma (x) o (x) se dice que es el mbito de ese cuantificador.
Todas las apariciones de una variable x, en el mbito de un cuantificador para esa variable, (x) o (x),
se denominan ligadas.
En una frmula sin cuantificadores ninguna variable est ligada.
Todo cuantificador liga, a lo sumo, las apariciones de una variable en su mbito.
Semntica de los cuantificadores
U = {1,2,3,4,5}; PI = {2,3,5};
xPx representa la frase todos los elementos tienen la propiedad P. Px tenemos que evaluarlo para
todas las opciones posibles del universo. Para cualquier interpretacin que tenga que hacer verdadera esta
frmula necesariamente todos los elementos del universo tienen la propiedad P. Es una frmula falsa para
este universo e interpretacin.
xPx representa la frase ningn elemento tiene la propiedad P.
xPx esta frmula es verdadera donde xPx es falsa. Podra representar las frases no todos tienen la
propiedad P.
xPx representa la frase hay algn elemento del universo que tiene la propiedad P. Es slo verdadera
en las estructuras en que P sea distinto del vaco. Si al menos una asignacin de la variable x hace
verdadera Px entonces xPx es verdadero. Es una frmula verdadera para este universo e interpretacin.
xPx representa la frase no todos tienen la propiedad P. Para que esta frmula sea verdadera basta
que exista un elemento que tenga la propiedad P, que est fuera del conjunto P.
xPx representa la frase ningn elemento tiene la propiedad P.
x(PxQx) representa la frase todos los x tienen la propiedad P y la propiedad Q.
U = {1,2,3,4}; PI = {1,2}; QI = {1,2,3}; Resulta ser Falso.
U = {1,2,3,4}; PI = {1,2,3,4}; QI = {1,2,3,4}; Resulta ser Verdadero.
x(PxQx) representa la frase todos los x tienen la propiedad P o bien la propiedad Q o ambas.
U = {1,2,3,4}; PI = {1,2}; QI = {1,2,3}; Resulta ser Falso.
U = {1,2,3,4}; PI = {1,2,4}; QI = {1,2,3}; Resulta ser Verdadero.

x(PxQx) representa la frase todos los P son Q, en tres de las cuatro regiones marcadas puede haber
elementos sin que esta frmula sea falsa, basta que haya un elemento en PQ , que haga verdadero el
antecedente y falso el consecuente, para que se evale como falso todo el bucle.
Observe que una estructura en que P no tenga elementos tambin satisface esta frmula. No se requiere
que P tenga elementos, pero, si los tiene, deben estar en la regin PQ. Es decir, la frmula se hace
verdadera donde PdQ es verdadero. Esta frmula puede leerse todos los P son Q.
U = {1,2,3,4}; PI = {1,2}; QI = {1,2,3}; Resulta ser Verdadero.
U = {1,2,3,4}; PI = {1,2,4}; QI = {1,2,3}; Resulta ser Falso. Hay un elemento en PQ .

U x(PxQx)
1

VV

VV

FV

FF

QI

PI

13

x(PxQx) esta frmula es verdadera en las estructuras donde al menos un elemento pertenece a P y ese
mismo elemento pertenece tambin a Q. Es decir, cuando la interseccin de ambos conjuntos no sea
vaca.
U = {1,2,3,4}; PI = {1,2}; QI = {1,2,3}; Resulta ser Verdadero.
U = {1,2,3,4}; PI = {2}; QI = {3}; Resulta ser Falso. No hay ningn elemento en PQ.
x(PxQx) esta frmula es verdadera en las estructuras donde al menos un elemento pertenece a P y
ese mismo elemento NO pertenece a Q.
U = {1,2,3,4}; PI = {1,2}; QI = {1,2,3}; Resulta ser Falso.
U = {1,2,3,4}; PI = {2}; QI = {1,3}; Resulta ser Verdadero.
x(PxQx) esta frmula es verdadera en las estructuras donde al menos un elemento NO pertenece a P
y ese mismo elemento NO pertenece a Q.
U = {1,2,3,4}; PI = {1,2}; QI = {1,2,3}; Resulta ser Verdadero.
U = {1,2,3,4}; PI = {1,2,3,4}; QI = {1,2,3,4}; Resulta ser Falso.
x(PxQx) esta frmula es verdadera en las estructuras donde al menos un elemento pertenece a P o ese
mismo elemento pertenece tambin a Q. Podran estar situados en cualquiera de las 3 regiones que
comprende la unin PcQ, que no debe ser vaca.
U = {1,2,3,4}; PI = {1,2}; QI = {1,2,3}; Resulta ser Verdadero.
U = {1,2,3,4}; PI = {2}; QI = {3}; Resulta ser Falso. No hay ningn elemento en PcQ.
10

Lgica de Predicados Didicos

Sintaxis
Rab, es una relacin de a a b donde tenemos que decidir si existe tal relacin.
U = {1,2,3,4,5,6}; RI = {(3,6),(5,4),(6,2)}; aI = 6; bI = 2; Se cumple.
U = {1,2,3,4,5,6}; RI = {(3,6),(5,4),(6,2)}; aI = 2; bI = 6; No se cumple.
U = {1,2,3,4,5,6}; RI = {(3,6),(5,4),(6,2)}; aI = 1; bI = 6; No se cumple.
U = {1,2,3,4,5,6}; RI = {(3,6),(5,4),(6,2)}; aI = 3; bI = 3; No se cumple.

6
4

Ejemplos de Lgica de Predicados Didicos

U = {1,2,3,4,5,6,7};
Raa; aI = 6 Resulta ser Falso.
Raa; aI = 4 Resulta ser Verdadero.

Rab Rab; aI = 4; bI = 2 Resulta ser Falso.

Rab Rba; a = 4; b = 2 Resulta ser Falso.

Rab Rba; aI = 1; bI = 5 Resulta ser Verdadero.

3
4

Rab Rba; aI = 6; bI = 6 Resulta ser Verdadero.

Rab Rba; aI = 3; bI = 5 Resulta ser Verdadero.

I

Rac Rca; a = 4; c = 2 Resulta ser Verdadero.

Rac Rca; aI = 1; cI = 5 Resulta ser Falso.
Rac Rca; aI = 6; cI = 6 Resulta ser Falso.
Rac Rca; aI = 3; cI = 5 Resulta ser Verdadero.
(Rab Rab) Rac; aI = 7; cI = 4; cI = 2 Resulta ser Verdadero.

11

xRax, para que esta interpretacin sea verdadera, la interpretacin tiene que ser tal que a tiene que estar
relacionado con todos los elementos x del universo.
U = {1,2,3,4,5}; RI = {(1,3) (2,1),(2,2),(2,3),(2,4),(2,5),(3,5)}; aI = 2; Se cumple.
U = {1,2,3,4,5}; RI = {(1,3) (2,1),(2,2),(2,3),(2,4),(2,5),(3,5)}; aI = 3; No se cumple.
xRxa, para que esta interpretacin sea verdadera, la interpretacin tiene que ser tal que todos los
elementos x del universo tienen que estar relacionados con a.
xRax, para que esta interpretacin sea verdadera, la interpretacin tiene que ser tal que a tiene que estar
relacionado con al menos uno de los elementos x del universo.
xRxa, para que esta interpretacin sea verdadera, la interpretacin tiene que ser tal que al menos uno de
los elementos x del universo tienen que estar relacionado con a.
yxRyx para que esta interpretacin sea verdadera, al menos un elemento y del universo debe de estar
relacionado con todos los elementos x del universo.
U = {1,2,3,4}; RI = {(1,5),(2,1),(2,4),(3,1),(3,2),(3,3),(3,4)}; Se cumple.
xyRxy, tenemos que determinar si existe al menos un elemento x que est relacionado con todos los
valores de y.
Informalmente se puede leer como existe al menos una fila x para toda columna y tal que la casilla
(x,y) pertenece a la relacin.
U = {1,2,3,4}; RI = {(1,1),(1,2),(1,3),(1,4),(2,3),(3,2),(4,2)}; Se cumple.
1

xyRxy, al menos un elemento x del universo debe de estar relacionado con un elemento y del universo.
U = {1,2,3}; RI = {(2,3)}; Se cumple.
xyRxy, para todos los valores de x debe de existir al menos un valor de y.
Informalmente se puede leer como para toda fila x existe una columna y tal que la casilla (x,y)
pertenece a la relacin.
U = {1,2,3}; RI = {(1,2),(2,2),(3,1)}; Se cumple.
xyRxy, todos los elementos x del universo tienen que estar relacionados con todos los elementos y del
universo.
U = {1,2,3}; RI = {(1,1),(1,2),(1,3),(2,1),(2,2),(2,3),(3,1),(3,2),(3,3)}; Se cumple.

12

yxRxy "existe una columna y tal que, para toda fila x sobre esa columna", la casilla pertenece a la
relacin. Observe que esta frmula es la que se obtiene de xyRxy permutando los cuantificadores: no
son equivalentes, no es lo mismo decir todo el mundo quiere a alguien que alguien es querido por
todo el mundo.
Ejemplos permutando los cuantificadores
U = {1,2,3};
SI
SI
NO
NO

yxRxy

SI
NO
NO
NO

xyRxy

NO
NO
NO
SI

xyRyx

R = {(3,1),(3,2),(3,3)}

R = {(1,1),(1,3),(3,2)}

R = {(1,1),(1,3),(3,1)}

R = {(1,2),(2,2),(3,2)}

x(Px yRxy)
U = {1,2,3}; PI = {1,2}; RI = {(1,3),(3,2)}; Resulta ser Falso.

U x(Px yRxy)

VV

VF

FV

PI

U = {1,2,3}; PI = {1,2,3}; RI = {(1,3),(2,1),(3,2)}; Resulta ser Verdadero.

U x(Px yRxy)

VV

VV

VV

PI

13

x(Px yRxy)
U = {1,2,3}; PI = {1,2,3}; RI = {(1,3),(2,1),(3,2)}; Resulta ser Verdadero.

U x(Px yRxy)

VV

VV

VV

PI

U = {1,2,3}; PI = {1,2}; RI = {(1,3)}; Resulta ser Falso.

U x(Px yRxy)

VV

VF

FV

PI

Esta frmula no obliga a que haya elementos en P, pero en el caso que los haya debe de cumplirse el
consecuente.
U = {1,2,3}; PI = {}; RI = {(1,3)}; Resulta ser Verdadero.

PI

U x(Px yRxy)

FV

FF

FF

14

Funciones
x(PxQ f(x))
U = {1,2,3}; PI = {1,2}; QI = {1,2}; f(1) = 3, f(2) = 2, f(3) = 2, que se poda haber escrito como
f={(1,3),(2,2),(3,2)}. Resulta ser Verdadero.
xRx f(c) Esta frmula podra representar la sentencia "todo el mundo quiere a la madre de Juan".
xR f(x)x Esta frmula podra ser una versin simblica de la expresin "mi mam me mima": para toda
persona, su madre quiere a esa persona.
Identidad
Tratamos con predicados didicos cuyos elementos se relacionan exclusivamente consigo mismo.
Iab

U = {1,2,3}; I = {(1,1),(2,2),(3,3)}; Resulta ser Verdadero.

Una forma para hacer la negacin es: Iab; (a = b); a b;

Satisfacibilidad
Una frmula es satisfacible si existe algn universo, interpretacin y asignacin donde sea verdadera.
Un conjunto de frmulas es satisfacible si existe algn universo, interpretacin y asignacin donde
coincidan todas en ser verdaderas.
Tambin podemos decir que un conjunto de frmulas es satisfacible si, y slo si, la frmula conjuncin de
todas ellas es satisfacible.
Otra forma de definir la satisfacibilidad es:
Un conjunto de predicados es satisfacible si existe algn modelo para el que todos los predicados sean
verdaderos.
Un conjunto de predicados es insatisfacible si no existe ningn modelo para el que todos los predicados
sean verdaderos, es decir, si cualquier modelo hace que alguno de los predicados sea falso.

Consecuencia
En todas las lneas en que las frmulas denominadas premisas coinciden en ser verdaderas la
consecuencia tambin lo es.
Diremos que C es consecuencia lgica de X,Y y Z. {X, Y, Z} C;
Otra forma de hacerlo es as, las premisas implican lgicamente a la conclusin: X Y Z C
A partir de una relacin de consecuencia se construye un conjunto que necesariamente es insatisfacible.

15

Validez
Una frmula es vlida si se satisface para todo universo, toda interpretacin y asignacin.
Una frmula es vlida si y slo si su negacin es insatisfacible. Un conjunto de frmulas es satisfacible si
y slo si la frmula conjuncin de todas ellas es satisfacible.
Una frmula es consecuencia lgica de un conjunto de frmulas si en toda estructura U,I y
asignacin en que todas las frmulas de sean verdaderas tambin lo es . Se expresar entonces como
.

Equivalencias
Dos frmulas y son equivalentes si y .
Sobre la tabla de verdad, dos frmulas equivalentes tienen exactamente los mismos valores de verdad
sobre cada lnea.
Escribiremos cuando ambas frmulas sean equivalentes y cuando no lo sean.

xPx yPy
xPx xPx
xPx xPx

Forma prenexa
La forma normal prenexa es una expresin que tiene todos los cuantificadores desplazados a la parte
delantera de la expresin.
Una expresin est en forma normal prenexa si no hay cuantificadores en el mbito de las conectivas
lgicas , , , , .
Toda expresin puede transformarse en forma normal prenexa siguiendo estos pasos:

Eliminar todas las apariciones de y de la expresin.

Desplazar todas las negaciones hacia el interior de modo que al final las negaciones slo
aparezcan como partes de literales.
Normalizar todas las variables.
La forma normal prenexa se puede obtener desplazando todos los cuantificadores a la parte
delantera de la expresin.

Encontrar la forma normal prenexa de

x yR x, y yS x, y yR x, y P

Primero eliminamos

x yR x, y yS x, y yR x, y P

Desplazamos las negaciones

x yR x, y yS x, y yR x, y P

Se normalizan los cuantificadores

x y1R x, y1 y2 S x, y2 y3R x, y3 P

Se desplazan los cuantificadores

xy1y2y3 R x, y1 S x, y2 R x, y3 P

16

La confirmacin de insatisfacibilidad: Tableaux

Si desea comprobar que una frmula es consecuencia de otras, niguela e incorprela a esas otras.
Si este nuevo conjunto resulta insatisfacible, efectivamente exista aquella relacin de consecuencia.
1.
2.
3.
4.
5.
6.
7.

Se utilizan para decidir la satisfacibilidad de un conjunto de frmulas; indirectamente, para decidir la

relacin de consecuencia entre una frmula y un conjunto: niegue aqulla e incorprela al conjunto
inicial analizado
Se construye un primer rbol, con una sola rama, que consta de tantos nodos como frmulas haya en
el conjunto inicial
Las ramas se pueden bifurcar si es de tipo (disyuntiva) o ampliar linealmente si es de tipo
(conjuntiva), los nodos aadidos son subfrmulas adecuadas negadas o no de una frmula en esa
rama
Una rama es satisfacible si lo es el conjunto de todas sus frmulas.
Si entre ellas se encuentran tanto una frmula como su negacin, la rama es insatisfacible.
Un rbol es satisfacible si lo es alguna de sus ramas
El rbol inicial es tan satisfacible como los sucesivos rboles ampliados; as, si se detecta que alguno
de ellos es insatisfacible, tambin lo era el conjunto inicial de frmulas

Notacin uniforme

Conjuntiva

1 2

XY
(XY)
(XY)
(XY)
(X Y)
X Y
XY
XY

X Y
X Y
X Y
X Y
X
Y
X Y
X Y
X Y

Disyuntiva

(XY)
XY
XY
XY
X Y
(X Y)
(X Y)
(X Y)

17

1 2

X Y
X Y
X Y
X Y
X Y
X
Y
X Y
X Y

Reglas de expansin y

Universales
(t)

Existenciales
(t)

xX

xX

xX

X (t)
X (t)

xX

X (a)
X (a)

Todas ellas producen una expansin del rbol en un slo nodo. No producen bifurcacin del rbol.
Se obtiene una frmula omitiendo el cuantificador principal.
Es lo que se conoce como instancia por sustitucin de esta subfrmula.
El prrafo siguiente expone cules pueden ser las cadenas sustituyentes.
Parmetros. Cada lenguaje de primer orden fija sus propias constantes y funciones. Si se pretende que el
lenguaje sirva, por ejemplo, para razonar sobre nmeros naturales, debe incluir una constante (que se
asignar al 0) y una funcin (la funcin sucesor).
Regla de expansin .
Los nodos universales, pueden reutilizarse, expandirse en todas las ramas a las que pertenezcan
cuantas veces se desee. Se puede escoger en su expansin cualquier constante, utilizada anteriormente
o no, estratgicamente, conviene utilizar constantes ya empleadas, para cerrar ramas.

Las frmulas son del tipo x x. Su expansin es un nico nodo de la forma (x/p) o (x/p)
respectivamente, donde todas las apariciones libres de la variable del cuantificador se han sustituido por
el mismo trmino t. Este trmino debe ser cerrado: no debe incluir variables, slo constantes y funciones
de L o constantes auxiliares.
Regla de expansin .
Deben utilizarse constantes no empleadas anteriormente, al menos no empleadas en esa rama.

Las frmulas son del tipo x x. Su expansin es un nico nodo de la forma (x/p) o (x/p)
respectivamente, donde todas las apariciones libres en de la variable del cuantificador se han sustituido
por el mismo parmetro p. Este parmetro, esta constante auxiliar, debe ser nueva en el rbol: no puede
figurar en ninguna frmula previa (realmente, basta que sea nueva en la rama).
Cada instanciacin debe hacerse sobre una constante nueva. De lo contrario, esta constante tendra unas
propiedades (fijadas en otras frmulas, donde aparece) que pueden modificar (innecesariamente) la
decisin final sobre la satisfabilidad del conjunto.
Estratgicamente, siempre es preferible expandir primero las frmulas proposicionales y , luego las
existenciales () y finalmente las universales () para intentar cerrar.

18

Contenido
Tema 1 Lgica de proposiciones y de predicados de primer orden. ............................................................. 1
Lgica de proposiciones ................................................................................................................................ 1
Sintaxis ...................................................................................................................................................... 1
Semntica de las conectivas ...................................................................................................................... 1
Tablas de verdad........................................................................................................................................ 1
Satisfacibilidad .......................................................................................................................................... 1
Validez....................................................................................................................................................... 3
Consecuencia ............................................................................................................................................. 4
Equivalencias............................................................................................................................................. 5
Formas normales ....................................................................................................................................... 6
Forma clausulada ....................................................................................................................................... 6
Lgica de Predicados Mondicos .................................................................................................................. 7
Sintaxis ...................................................................................................................................................... 7
Semntica .................................................................................................................................................. 7
Ejemplos de Lgica de Predicados Mondicos ......................................................................................... 8
Sintaxis de los cuantificadores .................................................................................................................. 9
Variables libres y ligadas .......................................................................................................................... 9
Semntica de los cuantificadores .............................................................................................................. 9
Lgica de Predicados Didicos ................................................................................................................... 11
Sintaxis .................................................................................................................................................... 11
Ejemplos de Lgica de Predicados Didicos .......................................................................................... 11
Ejemplos permutando los cuantificadores ............................................................................................... 13
Funciones................................................................................................................................................. 15
Identidad .................................................................................................................................................. 15
Satisfacibilidad ........................................................................................................................................ 15
Consecuencia ........................................................................................................................................... 15
Validez..................................................................................................................................................... 16
Equivalencias........................................................................................................................................... 16
Forma prenexa ......................................................................................................................................... 16
La confirmacin de insatisfacibilidad: Tableaux .................................................................................... 17

19