Lgica - FCE

LOGICA DE ENUNCIADOS






1. El lenguaje de enunciados

Si se restringe el lenguaje de primer orden (o lenguaje de predicados)
eliminando los cuantificadores y se toma como ultima unidad de anlisis enunciados
(frmulas cerradas) atmicos, se obtiene el lenguaje de enunciados (abreviado LE). En
el lenguaje de enunciados los nicos smbolos lgicos son las conectivas. La lgica que
descansa exclusivamente en las conectivas recibe el nombre de Lgica de enunciados.
As, pueden distinguirse en LE las siguientes categoras de smbolos

1.1 Smbolos descriptivos: Sern los smbolos para enunciados: p, q, r, s, t (o con
subndices p
1
, p
2
, p
3
, etc., de modo de tener una cantidad potencialmente ilimitada de3
smbolos). Estos smbolos son llamados letras esquemticas o a veces variables de
enunciados.

1.2. Smbolos lgicos. Sern las conectivas: conjuncin, & ("y"), disyuncin,
("o"), condicional, ("si ... entonces"), negacin, ("no"). Estos smbolos
vinculan enunciados, o, ms en general, sirven para obtener nuevos enunciados, ms
complejos, a partir de otros dados.

1.3 Observaciones.
(a) Los smbolos de enunciados p, q, r, etc. se usan para referirse a enunciados que no
contienen conectivas (enunciados atmicos como se los llamar).
(b) La negacin se aplica a una sola frmula, de ah que se la llame una conectiva
unaria, o de aridad 1. Las dems conectivas son binarias, o de aridad 2.

1.4. Smbolos auxiliares. Para construir expresiones se emplearn adems, una serie de
smbolos que no tienen significado especificado, sino que son slo auxiliares:
parntesis, corchetes, puntos y comas. Los parntesis ( y ) son, en rigor, tambin
smbolos del LE.

15. Variables metalingsticas. Las letras A, B, C, D y E se emplearan como variables
metalingsticas de frmulas (eventualmente con subndices).

1.6. Frmulas de LE.
(a) los smbolos para enunciados: p, q, r, s, t (o con subndices p
1
, p
2
, p
3
, etc.) son
frmulas de LE
(b) Si A y B son frmulas de LE, entonces (A&B), (AB), (A B) y (A) son frmulas de LE.
(c) Slo son frmulas de LPO las construidas segn las clusulas (a) y (b).

1.6.1. Ejemplos de frmulas de LE. Los siguientes son casos de frmulas de LE: ((p) & q),
(((p&q) q) s), ((q (s&r))).

1.7. Smbolos definidos de LE. Existen otros smbolos lgicos, que pueden definirse
mediante los dados. Uno de ellos es el bicondicional:

(D) (A B) =df ((A B) & (B A)),

que se lee como si y slo si. (El smbolo =df es una manera de abreviar la expresin
metalingstica es igual por definicin.) Tambin se puede definir otro smbolo, w,
que representa la disyuncin exclusiva, generalmente expresada como o bien, ..., o
bien y que se define como

(Dw) (A w B) =df ((A&B) (A&B)).

1.8. Ms observaciones.

1.8.1. Convencin acerca del uso de parntesis. A los efectos prcticos de simplificar la
simbolizacin en LPO, se aceptar la convencin siguiente. Los smbolos , &, , ,
para las conectivas vinculan frmulas de manera ms fuerte en ese orden, de modo
que pueden ahorrarse aplicaciones de parntesis. Asimismo, pueden omitirse los
parntesis externos. Por ejemplo, en vez de escribir (((A)&B) C), se escribir
A&B C; en vez de (A (B & (C))) se escribir A B&C, pero en ((A B) &
(B C)) nicamente se pueden eliminar los parntesis exteriores, obtenindose la
frmula (A B) & (B C) . En lo que sigue se har uso de esta convencin, de
modo de facilitar la escritura.

1.8.2. Concepto de subfrmula. Si A, A&B, A B, AB y AB son frmulas de
LPO, entonces A y B son subfrmulas de esas frmulas.

1.8.3. Frmulas atmicas y moleculares.
(a) Aquellas frmulas que no contienen apariciones conectivas se llaman frmulas
atmicas.
(b) Se llama smbolo principal de una frmula de LE a la conectiva que vincula sus
subfrmulas inmediatas.
(c) Una frmula es llamada molecular, si tiene al menos una conectiva.

1.8.4. El condicional. En el caso del condicional (a diferencia de las dems conectivas
vistas) importa si una frmula est a la derecha o a la izquierda del smbolo , lo cual
est en conexin con el significado que tiene esta conectiva. As, en un condicional A
B, diremos que A es el antecedente y B el consecuente del condicional.

1.8.5. Lema de formacin nica. Toda frmula de LE puede ser formada o construida
de una nica manera (de acuerdo con la definicin de frmula). Esto lleva a la siguiente
afirmacin:

LFU: Si una formula cualquiera A no es atmica, entonces existe un nico smbolo
lgico * tal que A es *Bi (i = 1 o 2).

Este es el lema de formacin nica. De manera correspondiente, hay una nico modo de
descomponer una formula en sus componentes atmicos.

1.8.6. Arboles de generacin para frmulas de LE

El lema de formacin nica se comprueba al descomponer una frmula. Ello
puede representarse grficamente mediante rboles que indiquen la composicin, y a su
vez determinen si una expresin es frmula o no.
Los rboles que se tratarn de ahora en adelante son un tipo particular de grafos:
grafos conectados sin ciclos. Sern adems rboles binarios, es decir, que sus
bifurcaciones generan a lo sumo dos ramas. En el caso de estos rboles de generacin,
se supone que los nodos, es decir, los puntos conectados del rbol son frmulas del LE.
Los siguientes son ejemplos de estructuras que adoptarn los rboles de generacin (los
astericos indican los lugares a ser ocupados por frmulas del LE):

(a)
*

*
/ \
* *
/ \
* * *
(b)
*

*
(c)
*
/ \
* *
/ \
* *

*

Por ejemplo, a la expresin (p (q & r)) le corresponde el siguiente rbol (no se hace
uso de la convencin respecto de parntesis):

(p (q & r))
/ \
p (q & r)
/ \
q r

Puesto que p, q y r son frmulas del LE, lo que se obtiene en cada uno de los pasos de
descomposicin, hasta el ltimo, es una frmula (ya que sigue la definicin recursiva
dada). Por el contrario, tmese la siguiente expresin: ((s & (t & r)) (p)), cuyo rbol
de generacin es:

((s & (t & r)) (p ))
/ \
(s & (t & r)) (p )
/ \
s (t & r) ?
/ \
t r

Esta expresin no es frmula de LE puesto que (p ) no lo es, aunque s, t y r s sean
frmulas.
Los rboles de generacin muestran la manera en que una frmula est
construida de acuerdo con las clusulas de la definicin de frmula. Por ejemplo, las
frmulas ((p&q) r) y (p & (q r)) son frmulas distintas pese a tener las mismas
frmulas atmicas y las mismas conectivas (y en igual cantidad). La diferencia
(evidenciada ya por medio de los parntesis) est en la composicin de cada una: su
estructura es diferente, y esa diferencia en la composicin es lo que indican los rboles.


2. Semntica para LE

2.1. Condiciones de verdad para las conectivas

El significado de las conectivas puede darse mediante la indicacin de las
condiciones de verdad para los enunciados que las contengan como smbolo principal.

(&) Un enunciado de la forma A&B es verdadero si y slo si tanto A como B son
verdaderos.

() Un enunciado de la forma A B es verdadero si y slo si A es verdadero o B es
verdadero.

() Un enunciado de la forma AB es verdadero si y slo si A es falso o B es
verdadero.

() Un enunciado de la forma A es verdadero si y slo si A es falso.

() Un enunciado de la forma AB es verdadero si y slo si A y B son verdaderos o
A y B son falsos.

El concepto de verdad haba servido para dar una primera caracterizacin de la
validez de una forma de razonamiento: Una forma de razonamiento es vlida si todo
caso concreto, todo ejemplo de la misma con premisas verdaderas tiene conclusin
verdadera, o, de manera equivalente, si no existe un caso concreto, un ejemplo, con
premisas verdaderas y conclusin falsa. Otro tanto ocurra con las leyes lgicas y la
consistencia de conjuntos de enunciados. Si adems se toma en cuenta que, en
definitiva, la validez de un razonamiento depende de los smbolos lgicos que aparecen
en l (lo que se evidencia en su estructura o forma), ser importante caracterizar las
conectivas en trminos de condiciones de verdad.

2.2. Valuaciones booleanas

Tanto la verdad como la falsedad de enunciados pueden considerarse como el
valor que tiene una funcin aplicada a enunciados de LE. Esta funcin la llamaremos
valuacin. Esta funcin de valuacin, a la que representaremos con V, asignar un
nico valor de verdad, verdadero o falso (representados como v y f respectivamente) a
todo enunciado de LE. En esto se sigue el principio de bivalencia que se enunci
anteriormente.
En la lgica de enunciados el concepto de valuacin se restringe a enunciados
atmicos y moleculares. Las valuaciones as restringidas reciben el nombre de
valuaciones booleanas, por el lgico y matemtico ingls George Boole (1815-1864)
quien desarroll la estructura algebraica subyacente a la lgica de enunciados (llamada
justamente lgebra booleana). Las valuaciones booleanas dan a todo enunciado uno de
los dos valores v o f, interpretables como verdad y falsedad, pero tambin se pueden
interpretar abstractamente como objetos cualesquiera. El conjunto {v, f} determina un
lgebra booleana. Es comn emplear 0 y 1 en lugar de v y f para indicar este carcter
abstracto.
As las valuaciones booleanas para LE se definen como sigue:

1. V(A) {v,f}, para todo enunciado A de LE,
2. V(A&B) = v sii V(A) = V(B) = v;
3. V(AvB) = v sii V(A) = v o V(B) = v;
4. V(AB) = v sii V(A) = f o V(B) = v;
5. V(AB) = v sii V(A) = V(B);
6. V(A) = v sii V(A) = f.

2.2.1 Valuaciones booleanas y tablas de verdad

Estas valuaciones booleanas se presentan como matrices conocidas como tablas de
verdad que tienen la siguiente forma: asignando valores de verdad a los enunciados
componentes resultan determibados valores, v o f, para cada conectiva..

A B A A&B AB AB AB
v v
f v
v f
f f
f v v v v
v f v v f
f f v f f
v f f v v


2.2.2 Consecuencia lgica en LE:. Un enunciado C de LE es consecuencia lgica de
enunciados A
1
, ..., A
n
, de LE si y slo si no hay ninguna valuacin booleana V tal que
V(A
1
) = v, ..., V(A
n
) = v, y V(C) = f.



2.2.3. Razonamientos vlidos y valuaciones

Este concepto semntico de consecuencia lgica es una reformulacin precisa,
sobre la base del concepto de valuacin booleana y relativa al lenguaje de enunciados,
del concepto intuitivo de validez para razonamientos basado en el concepto de verdad.
Se obtiene as un mtodo de las valuaciones para determinar la validez de
razonamientos de la lgica de predicados de primer orden: Un razonamiento es vlido,
si y slo si, la conclusin es consecuencia lgica (en el sentido que se acaba de definir)
de las premisas. As puede establecerse la validez de razonamientos.
Tmese el ejemplo del siguiente razonamiento:

p q r, r / p

Supngase una valuacin booleana V tal que V(p q r) = v, V(r) = v y V(p) = f,
es decir V constituye un contraejemplo. Ahora bien, por la definicin de valuacin
booleana V(p) = v y V(r) = f. Adems de la valuacin para la primera premisa se sigue
que V(p q) = f o V(r) = v. En el primer caso, se da que V(p) = V(q) = f, de modo que
se contradice el principio de que a cada enunciado le corresponde un nico valor de
verdad. En el segundo caso, ocurre lo mismo. As no puede darse una valuacin
booleana que funcione como un contraejemplo del razonamiento. Este procedimiento
puede llevarse aun mtodo mecnico mediante el empleo de las tablas de verdad u otros
mtodos (como el de los rboles analticos).


3. tautologas

3.1. Las tautologas son las verdades lgicas del lenguaje de enunciados, es decir,
un enunciado A del lenguaje de enunciados es una tautologa si y slo si para toda
valuacin booleana V, V(A) = v.

3.2. Las contradicciones son las falsedades lgicas, es decir, A es una contradiccin (de
la lgica de enunciados) si y slo si para toda valuacin booleana V, V(A) = f.

3.3. Enunciados contingentes son aquellos que no son ni tautologas ni contradicciones.

3.4 .Un conjunto de enunciados del lenguaje de enunciados es inconsistente si y slo
no existe una valuacin booleana V tal que V(A) = v para todo enunciado A de ese
conjunto. De otro modo, es consistente.

4. Arboles lgicos para la lgica de enunciados

4.1 El sistema de rboles lgicos T* tiene reglas nicamente para las conectivas, de
modo que es un sistema de deduccin para la lgica de enunciados, siendo sus reglas las
siguientes.

(&1) A&B (&2) (A&B)

A A B
B

(v1) AB (v2) (AB)

A B A
B

(1) AB ( 2) (AB)

A B A
B

(1) AB (2) (AB)

A A A A
B B B B

(1) A (A es un (2) A
: enunciado |
A atmico) A
x

Puede verse claramente que el sistema T* es una restriccin del sistema T
N
al
caso de LE. De manera anloga a como ocurra con el sistema T
N
, un razonamiento de
la lgica de enunciados es vlido si y slo si el rbol formado a partir de sus premisas y
la negacin de la conclusin es cerrado.
Los conceptos de derivacin y teorema en T* se formula de la misma manera
que para T.2

(4.1.1) Un enunciado C de LE es derivable en T* a partir de enunciados A
1
, ..., A
n
del
LE, si el rbol formado a partir de A
1
, ..., A
n
y C es un rbol cerrado.

(4.1.2) Un enunciado C de LE es teorema en T*, si el rbol formado a partir de C es
un rbol cerrado.


4.2. Debido a que el sistema es adecuado respecto de las valuaciones booleanas, puede
observarse que (i) un enunciado del lenguaje de enunciados es una tautologa, si el rbol
formado a partir de su negacin es cerrado; (ii) un enunciado es una contradiccin si el
rbol formado a partir de l es cerrado; (iii) un enunciado es una contigencia si tanto
rbol formado a partir de l como el rbol formado a partir de su negacin tienen ambos
al menos una rama abierta. As, los conceptos de teorema en T* y tautologa son
equivalentes.

4.3. Adems, de lo anterior se sigue que (i) si un enunciado A de LE es tautologa,
entonces A es una contradiccin y (ii) si A es una contradiccin, entonces A es una
tautologa.

4.4. Ejemplos.

(a) El enunciado (AB) (BA) es una tautologa, lo que se demuestra en T*
mediante la siguiente derivacin.

(AB) (BA)
(AB)
((BA)
A
B
B
A
x

(b) El enunciado AA B&B es una contradiccin, lo que se demuestra en T*
mediante el siguiente rbol.

AA B&B
/ \
( AA) B&B
A B
A B
A x
x

(c) El enunciado AB B es una contingencia, lo que se demuestra del siguiente
modo mediante rboles en T*.

(AB B)
AB
B
/ \
A B
x


AB B
/ \
(AB) B
A
B

5. Decidibilidad de la lgica de enunciados

La lgica de enunciados es decidible. Esto quiere decir: existe un mtodo
mecnico o algoritmo para decidir si un enunciado es tautologa o no, o si un
razonamiento de enunciados es valido o no.
El mtodo de los arboles -restringido a la lgica de enunciados- es un ejemplo
de un algoritmo semejante. Esto es as porque tanto los enunciados como los
razonamientos de la lgica de enunciados dan lugar siempre a rboles finitos, es decir,
con ramas que tienen un nmero finito de nodos, de modo que siempre podr afirmarse,
para toda rama, si es abierta o cerrada, y, por lo tanto, para todo rbol, si es abierto o
cerrado. Asimismo, puede verse claramente por qu los rboles son, respecto de la
lgica de enunciados, siempre finitos: Cada enunciado del lenguaje de enunciados
contiene un nmero finito de conectivas y toda regla de rboles para las conectivas da
lugar a un nmero finito de ramas, cada una de ellas con un nmero finito de
enunciados, y, finalmente, el conjunto de enunciados que es necesario examinar en la
lgica de enunciados es siempre finito.

6. una notacin uniforme

Los enunciados del lenguaje de enunciados de la forma A*B y (A*B), donde *
es una conectiva diadica cualquiera, pueden agruparse en dos categoras, aquellas que
se comportan de manera conjuntiva y aquellas que lo hacen de manera disyuntiva.
Las primeras se llamaran frmulas y a las segundas frmulas . Para cada formula
se definen dos componentes
1
y
2
, y lo mismo para las frmulas , obtenindose la
siguiente tabla:

enunciados conjuntivos enunciados disyuntivos


1

2

1

2

A&B A B (A&B) A B
(A B) A B A B A B
(A B) A B A B A B

De acuerdo con esta tabla, las reglas del sistema de arboles pueden dividirse en
reglas y reglas (es decir, reglas conjuntivas y disyuntivas):
reglas : (&1), ( 2), ( 2) reglas : (&2), (1), ( 1)

forma: forma:
| / \

1

1

2


2


7. Dualidad

7.1 Sean * y + dos conectivas binarias. Entonces, se dir que * es el dual de + si
(A+B) es equivalente con A*B.

7.2 Si A una formula del lenguaje de enunciados, entonces A
D
es el resultado de
reemplazar las apariciones de toda conectiva binaria por su dual y diremos que A
D
es el
dual de A.

Proposicin: el dual de una tautologa es una contradiccin (y conversamente).

Proposicin: Si un enunciado de LE es una tautologa, entonces la negacin de su dual
es tambin una tautologa.

8. Formas normales

8.1 Si p es un enunciado atmico de LE, entonces tanto p como p sern llamados
literales.

8.2 Forma normal disyuntiva: Un enunciado del LE est en forma normal disyuntiva
(FND), si es una serie de disyunciones, cada miembro de la cual es un literal o una
conjuncin de literales. Esto puede representarse simblicamente del siguiente modo:

C
1
.... C
n
, con C
i
= l
1
& ... & l
m
, donde l
1
, ..., l
m
son literales.

8.3 Forma normal conjuntiva: Un enunciado del lenguaje de enunciados est en forma
normal conjuntiva (FNC), si es una serie de conjunciones, cada miembro de la cual es
un literal o una disyuncin de literales. En smbolos:

D
1
& ... & D
n
, con D
i
= l
1
... l
m
, donde l
1
, ..., l
m
son literales.

8.4 Teorema de la forma normal: Para todo enunciado del lenguaje de enunciados existe
una FND y una FNC equivalentes.

8.5 Obtencin de la FND: Dado un enunciado, constryase el rbol correspondiente,
aplicando exhaustivamente las reglas. Entonces, para cada rama abierta del rbol,
pngase en conjuncin a los literales que contenga. Las ramas cerradas no cuentan.
Finalmente, pngase en disyuncin a todas estas conjunciones. El siguiente es un
ejemplo de rbol de un enunciado y la FND que resulta de l:

p&r (qp rp)
/ \
(p&r) (qp rp)
/ \
p q q p
(rp)
r
p
/ \
q p
x

FND: p q (r & p)


Arboles de este tipo sern aqu denominados rboles rectos en oposicin a los rboles
que se expondrn a continuacin.

8.6 Obtencin de la FNC: rboles duales

A cada regla, ya sea del tipo o , le corresponde una regla dual, segn la
siguiente estructura:



/ \ |

1

2

1


2


As, cada enunciado tiene su "rbol dual". Para obtener la FNC de un enunciado,
constryase su rbol dual correspondiente. A continuacin, para cada rama del rbol
as obtenido, ponga en disyuncin a los literales que contiene, eliminando los que se
repitan. Finalmente, ponga en conjuncin todas las disyunciones obtenidas.

Ejemplo de rbol dual y la FNC obtenida de l:

p&r (q&p rp)
(p&r)
(q&p rp)
p
r
/ \
q&p (rp)
/ \ / \
q p r p
x

FNC: (q r p) & (r p) & (p r)



8.7 Formas normales como mtodo de decisin

8.7.1 Dada una FND, si en cada miembro (conjuncin) de la misma aparece un
enunciado atmico y su negacin, entonces el enunciadooriginario es una
contradiccin. En este caso, cada miembro es eliminado y se obtiene entonces la FND
vaca, que por convencin se escribe como: p & p.

8.7.2 Dada una FNC, si en cada miembro (disyuncin) de la misma aparece un
enunciado atmico y su negacin, entonces el enunciado originario es una tautologa.
En este caso, cada miembro es eliminado y se obtiene, entonces, la FNC vaca, que, por
convencin, se escribe como: p p.

8.7.3 De aqu, resulta que la construccin de la FND es til para determinar si el
enunciado es contradiccin o no: Si el la FND del enunciado no es vaca, entonces no es
una contradiccin. Igualmente, la obtencin de la FNC es til para determinar si el
enunciado en cuestin es una tautologa o no: Si la FNC del enunciado no es vaca,
entonces no es una tautologa.

8.7.4 Ejemplos:
(a) la FND de pq (q p) es p&q q p. As, no es vaca, y por lo tanto no es
una contradiccin, pero su FNC es vaca, de modo que es una tautologa.
(b) la FNC de ((p q) q) & p es (q p) & q & p. As, no es vaca y por lo tanto
no es una tautologa, pero su FND es vaca, de modo que es una contradiccin.
(c) la FND de (p r) p&r es p&r p&r, de modo que no es una contradiccin. Su
FNC es p & (rp) & (pr), de modo que no es una tautologa. Luego, es una
contingencia.

9. Reduccin de conectivas

En relacin con las formas normales normales, puede verse que todo enunciado
A de LE puede reducirse a otro enunciado A que contenga exclusivamente las
conectivas y , o a otro enunciado A que contenga exclusivamente las conectivas
y &.

10. Clusulas

10.1 Como se ha mencionado antes, se llama literal a una frmula atmica del LPO o su
negacin. Por ejemplo, p, p, q, q, Pa, Rxa, Qcd, Saxbc, etc. son literales. Sean l
1
,
..., l
n
literales, entonces se dice que

l
1
... l
n

es una clusula. Es decir, una clusula es una disyuncin de literales. Las formas
normales conjuntivas son tambin llamadas formas clausuladas.

10.2 Las clusulas que tienen la forma

p
1
... p
n
q

son llamadas clusulas de Horn (por el lgico Alfred Horn, quien se ocup de ellas). Es
decir, una clusula de Horn tiene a lo sumo una frmula atmica sin negacin, que es
llamada la cabeza de la clusula. Ntese que q tambien es una clusula de Horn, pero
que carece de frmulas atmicas negadas. Ntese tambin que la forma de las clusulas
de Horn es equivalente, en lgica clsica, con la siguiente forma

p
1
& ... & p
n
q,

lo cual puede demostrarse mediante cualquiera de los sistemas vistos anteriormente. Es
decir, las clusulas de Horn expresan frmulas condicionales. Las clusulas de Horn
que contienen una nica frmula atmica afirmada son llamadas tomos.
Esta terminologa (clusulas, clusulas de Horn, tomos, etc.) se emplea
particularmente en la interpretacin de la programacin lgica (programacin basada en
lgica; el lenguaje Prolog es un ejemplo de programacin lgica).

11. Resolucin

Uno de los caminos en la bsqueda de mtodos automticos de demostracin
condujo, a fines de la dcada de 1950, a trabajar exclusivamente con clusulas. Es
sabido que, en lgica clsica, cualquier frmula del lenguaje de enunciados puede
expresarse mediante formas clausuladas, en las cuales cada conyunto puede ser
considerado una clusula independiente, de modo que no se pierde capacidad expresiva.
Sobre la base de clusulas se desarroll el mtodo de resolucin (debido a John Alan
Robinson en 1965), que es un mtodo de refutacin y emplea una nica regla de
inferencia.

11.1 Regla de resolucin. Sean A
1
, ..., A
m
, B
1
, ..., B
n
, literales y p una frmula atmica.
Entonces, se tiene la siguiente regla:

p A
1
... A
m

p B
1
... B
n


A
1
... A
m
B
1
... B
n



que puede verse como una forma generalizada de la regla del silogismo disyuntivo y es,
por lo tanto, una forma vlida de razonamiento. La conclusin recibe el nombre de
resolvente y las premisas son las clusulas progenitoras.

11.2 El Mtodo de resolucin. Se trata de un mtodo de refutacin (como tambin lo
era el de rboles), pero que tiene como nica regla la de resolucin. Dado un
razonamiento en lgica de enunciados, el mtodo consiste en: 1) representar las
premisas y la negacin de la conclusin como clusulas, 2) aplicar la regla de
resolucin al conjunto de clusulas obtenido (dispuesto en una columna), analizando en
cada oportunidad de arriba hacia abajo (aunque esto no es esencial) y marcando las
clusulas que se van empleando (es decir, cada clusula puede emplearse una nica
vez). 3) como resultado de este procedimiento pueden ocurrir dos cosas: o bien quedan
clusulas a las que no se les puede aplicar la regla, o bien se obtiene la clusula vaca, a
la que podemos simbolizar, retomando una vieja idea, como . Obviamente, la clsula
vaca representa una contradiccin (o inconsistencia, desde el punto de vista semtico),
con lo cual el razonamiento originario ser vlido. De otro modo es invlido.

11.2.1 Ejemplos. Tmese el siguiente razonamiento:

p&q r, (r&s), q p s .

Entonces,


1) p q r de la primera premisa
2) r s de la segunda premisa
3) q de la tercera premisa
4) p de la negacin de la conclusin
5) s de la negacin de la conclusin
6) p q s de 1) y 2)
7) p s de 6) y 3)
8) s de 7) y 4)
9) de 8) y 5)

El razonamiento es vlido, pues se obtuvo la clusula vaca. Ahora bien, si se desea
determinar si de p&q r se sigue p r, se tiene

1) p q r de la primera premisa
2) p de la negacin de la conclusin
3) r de lo negacin de la conclusin
4) q r de 1) y 2)
5) r de 3) y 4)

El razonamiento no es vlido, pues no puede llegarse a la clusula vaca.

11.2.2 Observaciones. (a) El orden en que se tome las clusulas es irrelevante. (b) La
resolucin es claramente un mtodo de decisin.

11.3 Arboles y resolucin. El mtodo de resolucin est fuertemente vinculado con el
de los rboles. Por de pronto, ambos mtodos son formalizaciones de la estrategia de la
refutacin, pero adems, el mtodo de resolucin se obtiene al simplificar los rboles.
Tmese el siguiente caso. Se quiere determinar si r se sigue de p q y q r. El rbol
sera como sigue:
p q
q r
r
/ \
q r
/ \ x
p q
x

El rbol muestra que la inferencia es invlida. Si se aplica el mtodo de resolucin al
mismo caso, se tiene


1) p q
2) q r
3) r
4) q
5) p

(que tambin muestra que la inferencia es invlida). Si se compara la derivacin
obtenida al aplicar la regla de resolucin con el rbol, se advierte que la derivacin
coincide, en sus elementos, con la rama abierta. Pinsese en la distincin entre reglas
y respecto de los rboles para la lgica de enunciados. En realidad, los rboles
trabajan implcitamente con formas normales. Y el mtodo de resolucin es una
simplificacin de los rboles. La resolucin va, por as decirlo, generando la rama que
va quedando abierta hasta que finalmente se cierre o quede definitivamente abierta. Otra
manera de presentar graficamente el proceso de resolucin en este ejemplo sera la
siguiente:


r
q r >> q
p q >> p

y que es aplicable a los casos precedentes (la doble flecha >> representa la aplicacin de
la regla de resolucin).
Histricamente, el concepto de clusula y el mtodo de resolucin han sido ideas
bsicas para desarrollar el lenguaje de programacin Prolog (aunque, de hecho, la regla
de resolucin no sea la nica manera de interpretar el mecanismo computacional de
Prolog).