Está en la página 1de 52

TRANSPARENCIAS MD. Tema 3 CURSO 12-13 Prof.

Maite Foulqui

1
TEMA 3 LGICA

Introduccin

La Lgica nace como ciencia en la poca de los griegos.
En sus discusiones filosficas necesitaban discernir qu
razonamientos eran vlidos y cules no.

En el Renacimiento la Lgica se aplica para asegurar la
correccin de los razonamientos teolgicos.

La Lgica se incorpora a las Matemticas con Leibniz.

Durante el siglo XIX los trabajos de De Morgan, Boole y
Fregge colocan la Lgica en los pilares de las Mate-
mticas.

Durante el siglo XX grandes matemticos como Russel,
Tarski o Gdel continan el estudio de la Lgica.

En los aos cincuenta la Lgica comienza a aplicar-se en
la Informtica:

Se trata de que los ordenadores sean capaces de
resolver ciertos problemas con la aplicacin de reglas
lgicas.

Nace la Inteligencia Artificial con tcnicas como la
bsqueda heurstica y la deduccin automtica.

TRANSPARENCIAS MD. Tema 3 CURSO 12-13 Prof. Maite Foulqui

2
La LGICA es la parte de las matemticas que se utiliza
para estudiar cmo reconocer qu razonamientos son
lgicamente vlidos.

En principio nosotros utilizamos sentencias del lenguaje
natural para formar nuestros razonamientos e intuitiva-
mente podemos decir si son correctos o no.

Por ejemplo, es correcto el siguiente razonamiento?

Si me toca el "GORDO" entonces compro una moto.
Si compro una moto entonces me voy de viaje.

Si me toca el "GORDO" entonces me voy de viaje.


y este otro?

Si me toca el "GORDO" entonces compro una moto.
Si compro una moto entonces me voy de viaje.

Me voy de viaje.


El lenguaje natural (castellano, cataln, ) presenta
ambigedades y para evitarlas la Lgica debe incorporar
un lenguaje formal.

Se utilizan dos tipos de formalizacin: el lenguaje de la
Lgica de Proposiciones y el de la Lgica de Predicados.

Si representamos las aserciones que aparecen en los razo-
namientos anteriores por las letras p, q y r como sigue:
p == me toca el "GORDO"
q == compro una moto
r == me voy de viaje
nara el nrimero aueda el siguiente esqueleto:
~ ~ - ~
Si p entonces q.
Si q entonces r.
Si p entonces r.
Si sustituimos p, q y r por otras aserciones:
se obtiene otro razonamiento correcto?
En el lenguaje formal de la Lgica de Proposiciones los
estos razonamientos se representan por:
~ r
Las dos primeras aserciones se
llaman PREMISAS y de ellas,
cuando el razonamiento es correcto,
se deriva la ltima asercin que
,
llamaremos CONCLUSION.
El smbolo ~ se llama IMPLICACIN y
representa las palabras: SI ... ENTONCES ...
3
Sin embargo la formalizacin de la lgica de proposi-
ciones no es conveniente para el estudio de cualquier
razonamiento. Por ejemplo, consideremos los siguientes:
Si llega una persona entonces mi perro ladra.
Llega una persona.
lvIi perro ladra.
Si llega una persona entonces mi perro ladra.
Llega el fontanero.
Mi perro ladra.
Son correctos? Escribe su formalizacin.
Al representar formalmente el segundo razonamiento con
el lenguaje de la Lgica de Proposiciones se pierde la
informacin de que "el fontanero es una persona".
La Lgica de Predicados utiliza para la formalizacin
otro lenguaje, que refleja la "relacin interna" existente
entre las aserciones. En l se representan:
- los individuos.
- las nroniedades v relaciones aue se establecen
..L ..L e/ .J..
entre ellos.
Nosotros no a esta ele la T lgica.
4
El lenguaje natural no slo expresa hechos susceptibles
de ser verdad o mentira sino tambin sentimientos,
deseos, dudas, ... , pero
en Lgica se trabaja nicamente con enunciados.
Definicin.
J
Llamamos enunciado a toda frase declarativa con un
significado completo de la que podemos afirmar que es
verdadera o falsa.
No son enunciados:
= frases incompletas: "el perro ladra a";
"viene"
- frases interrogativas: Viene Mara?
- frases imperativas: Ven aqu!
frases de las que no puede afirmarse si son
verdaderas o falsas:
"Esta frase es falsa"
5
PARTES DE LA LGICA
,
1. La FORMALIZACION es la parte de la Lgica que
consiste en utilizar un lenguaje formal para sustituir
los enunciados del lenguaje natural por smbolos que
representan su estructura.
T 1 1 1
LOS elemenlos necesarIOs para aetermInar un lenguaje
formal son fundamentalmente:
- un ALFABETO de smbolos primitivos.
,
- unas REGLAS DE FORMACION para combinar
estos smbolos.
Estos elementos forman parte de la SINTAXIS de la
Lgica.
2. La INTERPRETACIN es la fase en la que se
asocian valores de verdad a las frmulas utilizadas para
representar los enunciados.
De este estudio se ocupa la parte de la Lgica llamada
SEMNTICA.
3. El estudio de la CORRECCIN de los razona-
mientos es el objetivo final de la T Jgica que puede
abordarse con un enfoque sintctico o bien semntico.
Para ello la Lgica suministra sistemas de axiomas y
RRGLAS DE
6
LGICA PROPOSICIONAL.
1. FORMALIZACIN
El lenguaje formal de la Lgica de Proposiciones resulta
de un anlisis lgico muy simple, basado en la distincin
entre dos clases de enunciados:
- Enunciado simple o atmico: Es aqul del que no se
puede extraer otro enunciado ms simple.
Ejemplo: El mar es amarillo.
- Enunciado compuesto o molecular: Es todo enun-
ciado en el que aparecen uno o varios enunciados
unidos, explcita o implcitamente, por palabras espe-
ciales del lenguaje.
Ejemplo: Mara es feliz y Juan aviador.
Juan es un aviador feliz.
El mar no es amarillo.
Ejercicio: Di cules de los enunciados siguientes son
atmicos y cules compuestos:
- Mara y Juan viajan juntos.
- La bandera espaola es roja y amarilla.
- 3 +4==7.
- Si x, y E R entonces (x + y)2 == X2 + y2.
7
En el lenguaje formal de la lgica de proposiciones:
- Los enunciados atmicos se representan por
variables proposicionales: p, q, r, ...
- Los enunciados compuestos se representan por
frmulas proposicionales constituidas por variables
proposicionales y conectivos que representan a las
palabras especiales del lenguaje.
Conectivos.
a) El conectivo /\ se llama conjuncin.
La frmula p /\ q se utiliza para representar el
enunciado compuesto "p y q".
Hay que observar que en la formalizacin se pierden
los matices del lenguaje natural. AS, los siguientes
enunciados tienen idntica formalizacin:
Juan se lesiona y gana la carrera.
Juan se lesiona pero gana la carrera.
Juan se lesiona aunque gana la carrera.
Juan se lesiona y sin embargo gana la carrera.
La informacin que aportan todos los enunciados es
que Juan se lesiona y que Juan gana la carrera. Las
palabras pero, aunque, sin embargo slo aaden dife-
rentes matices.
8
b) El conectivo -, se llama negacin. La negacin de un
enunciado atmico p se representa por la frmula --,p.
Por ejemplo si p: "Juan se lesiona"
-,p : "Juan no se lesiona"
se tiene que
c) El conectivo v se llama disyuncin. La frmula p v q
se utiliza para representar "p o q o ambas cosas".
Ejercicio: Cules de los enunciados siguientes piensas
que dan la misma informacin?
1. Juan es alto y moreno.
2. Juan es un moreno alto.
3. Juan es alto o moreno.
4. Juan es alto o moreno pero no ambas cosas.
5. Juan no es alto.
6. Juan es bajo.
Representa los enunciados anteriores utilizando los co-
nectivos adecuados y tomando:
p: "Juan es alto"
q: "Juan es moreno"
r: "Juan es bajo"
Si en un enunciado compuesto aparecen varias "palabras
especiales del lenguaje natural" la frmula que lo
represente deber contener varios conectivos.
9
d) El conectivo se llama implicacin o condicional y
la frmula p q se utiliza para representar el enun-
ciado compuesto "si p entonces q".
e) El conectivo se llama doble implicacin o
bicondicional y la frmula p q se utiliza para
representar "p si y slo si q" .
Ejercicio: En los enunciados siguientes x es un nmero
natural. Agrupa los que pienses que dan la misma
informacin.
1. Si x es un primo -:j:. 2 entonces x es impar.
2. Si x es impar entonces x es un primo -:j:. 2.
3. x es impar si x es un primo -:j:. 2.
4. Es suficiente que x sea un primo -:j:. 2 para que x sea
.
Impar.
5. Es suficiente que x sea impar para que x sea un
primo -:j:. 2.
6. Es necesario que x sea impar para que x sea un
primo -:j:. 2.
7. x es un primo -:j:. 2 si y slo si x es impar.
8. Que x sea un primo -:j:. 2 equivale a que x sea impar.
F ormalizalos representando los enunciados atmicos por
las variables proposicionales:
p: " x es un primo -:j:. 2 " Y q: " x es impar "
10
2. SINTAXIS EN LGICA PROPOSICIONAL.
Smbolos Primitivos del Lenguaje.
Variables proposicionales: L == {p, q, r, ... }
Constantes lgicas: {T, .l}
Conectivos: { -., /\, V,
Smbolos auxiliares: { (, ) }
Alfabeto:
)}
Definicin.
Se dice que un conectivo es unario si afecta a una nica
variable proposicional.
Se dice que un conectivo es binario si relaciona dos
variables proposicionales.
El nico unario es la negacin lgica: -.
el resto son binarios: /\, V,
Utilizaremos el smbolo EB para representar cualquiera de
los conectivos binarios: /\, v, y
11
Frmulas proposicionales bsicas.
Son aquellas en las que aparece un nico conectivo y una
o dos variables proposicionales.
NOMBRE
I SMBOLO I FRMULA I ENUNCIADO
,
NEGACION
---,
-'p no p
p yq,
,
CONJUNCION J\ (p J\ q) P pero q,
p y sin embargo q.
po q,
,
(p v q) DISYUNCION v
po q o ambos.
Si p entonces q,
,
IMPLICACION
O
~ p ~ q )
p es suficiente para q,
CONDICIONAL
q es necesarIO para p.
p si y slo si q,
DOBLE
,
si p entonces q y IMPLICACION
O
~ p ~ q )
si q entonces p,
BICONDICIONAL
P es necesarIO y
suficiente nara a .
.J.. .J..
12
Reglas de Formacin.
Son frmulas proposicionales sobre el alfabeto AL
aquellas palabras que podamos construir con los
smbolos del alfabeto, en un nmero finito de pasos,
aplicando las reglas siguientes:
1. T, -.l Y las variables proposicionales son frmulas
proposicionales, llamadas frmulas atmicas.
2. Si F es frmula proposicional, entonces -,F es
tambin frmula proposicional.
3. Si F Y G son frmulas proposicionales, entonces
(F EB G) es tambin frmula proposicional. Es
decir:
(F /\ G), (F v G), (F G) Y (F G)
son frmulas proposicionales.
El conjunto de todas las frmulas proposicionales sobre
el alfabeto AL se representa por LL. AS,
F E LL significa que F es frmula proposicional.
Definicin.
Una frmula se dice que es un literal si es una variable
proposicional o bien una variable proposicional negada.
13
Definicin.
Dada una frmula F E LL: se dice que:
- -, es el conectivo principal de F
si F == -,A con A E LL:.
- EB es el conectivo principal de F
si F == (A EB B) con A, B E LL:.
Convenio de Precedencia.
Para evitar escribir todos los parntesis se introducen
unas reglas atendiendo al siguiente nivel de precedencia
asignado a los conectivos:
NIVEL 1: -, NIVEL 2: /\, v NIVEL 3 : ~ ~
Los criterios para la simplificacin de parntesis son:
a) Los parntesis exteriores de una frmula se pueden
omitir, salvo quizs si se va a utilizar para construir
otra.
b ) Si en una frmula hay dos conectivos que pueden ser
su conectivo principal se tomar el de mayor nivel. Si
los dos conectivos son de igual nivel los parntesis
.... -..., ... ,... "ti...... ...
son ImprescIndIbles para eVItar la ambIguedad.
14
Definicin. Se llamar frmula proposicional a cualquier
expresin, que con el convenio de precedencia anterior,
represente a una frmula de LL: .
Ejemplo: Veamos que parntesis pueden eliminarse en
las frmulas siguientes.
(-,pJ\q)
-, (p !\ q)
es la f nnll 1 a,
es distinta de
Pues el conectivo principal de la frmula -, p !\ q es la
conjuncin y el de -, (p !\ q) es la negacin.
y el conectivo principal de la frmula p !\ q r es el
Entonces:
es la frmula (p !\ q) r
pero es distinta de p !\ (q r)
Ejercicio: Di si las palabras siguientes son o no frmulas
proposicionales e indica su conectivo principal:

c)p!\qvr d) p!\ q -, r
e)pv-,q t) p
g) -, (p 1\ S r ) h) -, (p !\ s) r
i) (p v q) !\ (-, r s) j) (p v q) !\ -, r s
15
Principio de Recursin Estructural
Para definir una funcin cuyo conjunto inicial es el de las
frmulas proposicionales, es decir f: L: E, se puede
utilizar el siguiente esquema recursivo:
l. Regla Bsica: si F es frmula atmica se define f (F)
1 1 l' .
de modo explIcItO.
2. Regla Recursiva l:f(---'P) se define en funcin def(F)
para cualquier frmula P E L:.
3. Regla Recursiva 2: f(F EB G) se define en funcin de
f(F) y f(G) para frmulas cualesquiera F, G E L:.
Ejemplo: Sea C: L: N la funcin talque C(F) es el
nmero de apariciones de conectivos en la frmula F. Por
ejemplo: C( -, P /\ q ---, r) == 4.
Se define:
RB: C(F) == O si F es frmula atmica.
RR
2
: C(F E9 G) == 1 + C(F) + C(G) si F, G E L:.
16
Definicin.
Se define rbol estructural de una frmula F E L:
mediante la funcin A : L: ~ {rboles} definida por:
RB: Si F es frmula atmica A(F) es el rbol
que tiene un nico nodo: F
RR
1
: VF E L: A(-'F) es el rbol: -,F
~
A(F)
RR
2
: VF, G E L: A(F EB G) es el rbol: FEBG
~
A(F) A(G)
Entonces en la raz del rbol aparece la frmula de
partida y en las hoj as o nodos finales aparecen las
variables y constantes proposicionales.
En el resto de los nodos tambin aparecen frmulas.
Definicin.
Llamaremos sub frmulas de F a las frmulas que
aparecen en los nodos del rbol estructural de F.
17
Ejemplos: Vamos a construir los rboles de las frmulas
lgicas siguientes:
F
1
== F 3 == ---, ---,---,p
P /\ q p /\ (q ---,r) ---, ---, ---, p
.------ ------. .------ ------.
1
T
P/\q
---,r
P
q ---,r
---,---,p

+

+
p q r
q
---,r
+
---,p
+
r
p
El conectivo principal de F 1 es y sus subfrmulas
son las seis frmulas que aparecen en los nodos de su
rbol estructural:
F 1 == P /\ q ---,r, p /\ q, p, q, ---,r y r
Obsrvese que q ---,r no es sub frmula de F 1.
Para construir el rbol estructural en cada nodo hay que
decidir cual es el conectivo principal de la frmula que
hay en l y utilizar la regla correspondiente.
18
Ejercicio: Halla el rbol estructural y las subfrmulas de
las frmulas siguientes:
F 1 == (p v q) /\ -,r s
F 2 == -, (p q) S /\ -,r
F3 == P /\ -,q r v (s t)
-,q ( ) r es sub frmula de la frmula F 3 ?
3. SEMNTICA DE LA LGICA PROPOSICIONAL
Finalizada la etapa de formalizacin de enunciados
abordamos la interpretacin de stos, es decir, su
significado.
Nosotros elegimos la Lgica bivalente o bvalorada, es
decir:
Suponemos que a cada enunciado se le puede atribuir un
nico valor de verdad a elegir entre verdadero o falso,
que notaremos por V F, o bien 1 O. (Este es el motivo
por el cual frases del tipo "Esta frase es falsa" o "Maana
llover" quedaban fuera de nuestro estudio).
En el lenguaje natural el valor veritativo de un enun-
ciado compuesto depende del valor de verdad de los
enunciados atmicos que lo componen y de cmo stos
estn
19
Definicin. Una valoracin es cualquier aplicacin que
asigna a cada variable proposicional un nico valor de
verdad, es decir, una aplicacin V: L {O, 1}.
Ejemplos: 1) V(F) == para toda frmula atmica F.
2) V(P) == 1 Y V(F) == para toda frmula atmica F "* p.
Definicin.
Se llama valoracin significativa de una frmula F a
toda aplicacin Vp : <P {O, 1} donde <P es el conjunto
de las variables proposicionales de F.
Ejemplo: La frmula (p v q) /\ -,p tiene cuatro valora-
ciones significativas:
1. V(p) == 0, V(q) == O
2. V(p) == 0, V(q) == 1
3.V(p)==1, V(q)==O
4.V(p)==1, V(q)==l
Podemos indicarlas por:
La frmula -,p tiene slo dos valoraciones significativas:
V(p)==O y V(p)==l.
20
Observacin: Si en una fmlula F aparecen n variables
proposicionales PI, P2, ... , Pn, entonces el nmero de
valoraciones significativas de F es 2
n

Definicin.
Sea V : L ~ {O, 1} una valoracin y F E L> Se define
valor veritativo de la frmula F para la valoracin V
y lo denotarnos por V(F), utilizando el principio de recur-
sin estructural:
RB
1
: V(F) es el mismo valor que asigna la valoracin V
a F si F es variable proposicional.
RB
2
: V(T) == 1 Y V ~ ) == O.
RR
1
: V( -,F) == {0
1
S S l ~ V(F) = O
V(F) == 1
{
1 si V(F) == V(G) == 1
RR
2
: V(FJ\G)== .
en caso contrarIO.
{
O si V(F) == V(G) ==
RR
3
: V(F v G) == .
1 en caso contrarIO.
F, G E LL:
F, G E LL:
{
O si V(F) == 1 Y V(G) ==
: V(F G) == . F, G E LL:
_ 1 en caso contrarIO.
j
I si V(F) == V(G)
RR
s
: V(F G) == .
en caso contrarIO.
\.
21
Tablas de verdad de los conectivos: Los valores verita-
tivos de las frmulas bsicas fJ y p EB q, siendo p y q
variables proposicionales, para todas las valoraciones
significativas posibles se pueden representar mediante las
tablas siguientes:
I p I fJ I
p q pvq pJ\q
1 O 1 1 1 1 1 1
O 1
1 O 1 O O O
O 1 1 O 1 O
O O O O 1 1
Para hallar el valor veritativo de una frmula, fijada una
valoracin, es necesario calcular el valor veritativo de las
sub frmulas que une su conectivo principal, siguiendo el
esquema recursivo de la definicin de valor veritativo.
AS, de modo recursivo, se llega a las frmulas bsicas
para las que hemos definido las tablas de verdad.
Ejemplo: Sea V la valoracin [P q r]. Entonces
100
V( p v q r ) == O Y V( P J\ q -,r ) == 1 pues:

p J\ q
.----- ------.
.----- ------.
pvq
r
pJ\q
-,r

1
.,.
p q
p q r
22
Definiciones. Sea V una valoracin. Diremos que:
1. V es modelo de F E L
12
o bien que V satisface a F si
V(F) == 1.
2. V no es modelo de F E L
12
o bien que V no satisface
a F si V(F) == o.
Ejemplo: La valoracin [P q r] es modelo de la fr-
100
mula p /\ q --,r pero no lo es de p v q r.
Definiciones. Sea F E L
12
una frmula
1. F es tautologa si toda valoracin es modelo de F.
2. F es contradiccin si ninguna valoracin es modelo
de F.
3. F es contingente si alguna valoracin es modelo de F
y alguna no es modelo F.
Ejemplos:
- Las frmulas T y --,p v p son tautologas.
- Las frmulas y --,p /\ P son contradicciones.
- Las frmulas p v q y q --,r son contingentes.
23
Observacin: A partir de una tautologa (contradiccin)
pueden construirse otras tautologas (contradicciones).
Ejemplo: Para cualquier frmula F E L:
F ---,p v p y F v T son tautologas.
F /\ (---,p /\ p) es contradiccin.
Proposicin. Para cualquier frmula F E L:
F es tautologa si y slo si ---,F es contradiccin.
Definicin.
F, G E L: son lgicamente equivalentes, y lo notaremos
F = G, si F y G tienen exactamente los mismos modelos,
es decir, si V(F) == V(G) para cualquier valoracin V.
Ejemplos: p = ---,---,p, --, T = 1- Y --, 1- = T .
Proposicin. Sean F, G, H E L:. Se verifica:
1.F=F.
2. Si F = G entonces G = F.
3. Si F = G Y G = H entonces F = H.
24
Proposicin.
1. Todas las tautologas son equivalentes a T y, por tanto,
equivalentes entre s.
2. Todas las contradicciones son equivalentes a ~ y, por
tanto, equivalentes entre s.
Ejemplo: q ~ -,p v p = T ; q /\ (-,p /\ p) =
Proposicin. Sean F, G E L:.
1. F ~ G es tautologa si y slo si F = G si y slo si
"F y G tienen los mismos modelos"
2. F ~ G es tautologa si y slo si
"Todo modelo de F lo es tambin de G".
3. F ~ G es tautologa si y slo si
"Toda valoracin que no es modelo de G
tampoco lo es de F".
Ejemplos: Las frmulas siguientes son tautologas:
p ~ -,-,p p ~ p v q
Son tautologas: p v q ~ q, p v q ~ q, P /\ q ~ q?
25
Teorema de reemplazamiento.
Si F = G Y X(F) es una frmula que contiene a F como
sub frmula, entonces si sustituimos F por la frmula G
en X(F) se obtiene una frmula X(G) tal que
X(F) = X(G).
Ejemplo: Dadas F == -,-,p y G == p como F = G entonces
si en la frmula X == r -,-,p sustituimos F por G se
obtiene la frmula y == r p. El teorema afirma que Y es
equivalente a X.
Por consiguiente ser til conocer equivalencias que nos
permitan simplificar frmulas complejas.
ALGUNAS EQUIVALENCIAS IMPORTANTES.
Si F, G, H E L: se verifican las equivalencias siguientes:
Leyes conmutativas
FvG=GvF
FJ\G=GJ\F
Leyes distributivas
(F v G) J\ H - (F J\ H) v (G J\ H)
(F J\ G) v H = (F v H) J\ (G v H)
26
Leyes asociativas
(F v G) v H =F v (G v H) (F J\ G) J\ H = F J\ (G J\ H)
Leyes de la identidad
FJ\T=F v ~ F
Leyes del complementario
F v -,F = T F J\ -,F =
Leyes de idempotencia
FvF=F FJ\F F
Leyes de dominacin
FvT=T
Leyes de absorcin
F v (F J\ G) - F
Leyes de De Morgan
-, (F v G) = -,F J\ -,G
F J\ (F v G) - F
-, (F J\ G) = -,F v -,G
Relacin entre conectivos
F ~ G=-,F v G F ~ G - (F ~ G) J\ (G ~ F)
27
Teorema.
Se verifican tambin las siguientes equivalencias:
F ~ G - G ~ - F
-, (F ~ G) = F /\ -,G
F G = (F /\ G) v (-,F /\ -,G)
-'(F ~ G) - (F /\ -'G) v (-,F /\ G)
~ ~ F = T
F ~ T = T
AMPLIACIN CONVENIO DE SIMPLIFICACIN
DE PARNTESIS.
Si los conectivos de mayor nivel que pueden ser el
conectivo principal de una frmula son todos /\ o bien
todos v se pueden omitir los parntesis, considerndose
el ltimo de ellos como conectivo principal. Es decir, son
frmulas:
F 1 /\ ... /\ Fn
Para el estudio de la correccin de las deducciones es
necesario estudiar los modelos comunes a varias
frmulas.
Damos a continuacin una serie de definiciones al
respecto.
28
Definiciones.
Sea <1> un conjunto de frmulas proposicionales, <1> L2:,
Y V una valoracin.
Se dice que la valoracin V satisface al conjunto <1>, o
que V es modelo de <P si V(F) == 1 para cada F E <1>.
<1> es un conjunto satisfactible, si existe una valoracin
V que es modelo de <l>. En caso contrario se dice que <1>
es insatisfactible. Es decir, <1> es insatisfactible si sus
frmulas no tienen modelos comunes.
Ejercicio: Di cul de los siguientes conjuntos es
satisfactible: <1>1 == {p q, -,q, p}
<1>2 == {p v q, p r, r 1\ q}
Proposicin.
Si las frmulas A y B son equivalentes los conjuntos
<1>1 == {F 1, F
2
, ... , F
n
, A} Y <1>2 == {F 1, F
2
, . , F
n
, B} tienen
los mismos modelos. En particular,
<DI es satisfactible (insatisfactible) si y slo si
<1>2 es satisfactible (insatisfactible)
Ejercicio: Tienen los mismos modelos los conjuntos
J
t -'.L V I 1', '1 ------r c), L J
y {-. (r /A, p), = s -.q, t}?
29
TABLEAUX SEMNTICOS
Para cada frmula F L: vamos a construir un rbol,
llamado tableau semntico de F, que facilite la bsqueda
de los modelos y no modelos de F.
Consideremos los rboles siguientes:
pl\q pl\-'q
Pl\-'P
1 1 1
P P P
1 1 1
q -'q
-'P
pvq -'pvp
~ ~
p q q p
Puede observarse que en estos rboles se verifica que:
1. Si a todos los literales de una de las ramas del rbol
le damos el valor de verdad 1 y a los que no
aparecen en ella les damos un valor cualquiera
obtenemos una valoracin que es modelo de la
frmula que est en la raz del rbol.
2. Adems, de este modo se obtienen todos los modelos
.. ..... ", ..
ae alcna IormUla.
30
Por ejemplo, la frmula p /\ q tiene un nico modelo,
V(p) == 1 == V( q), y se obtiene dando valor 1 a los literales
p y q de la nica rama de su rbol.
Anlogamente, la frmula p /\ -'q tiene un nico modelo,
V(P) == 1 Y V( q) == 0, y se obtiene dando valor 1 a los
literales p y -'q de la nica rama de su rbol.
y el rbol de la frmula p /\ -, p, que no tiene modelos,
tiene una nica rama en la que aparecen los literales p y
f), que obviamente no pueden tomar a la vez el valor 1.
Este tipo de rama se llamar cerrada.
En cambio, la frmula p v q tiene tres modelos:
1) La primera rama contiene nicamente el literal p y
entonces proporciona dos modelos, ya que la variable
q puede tomar valor 1 o pues no aparece en la rama.
,
Estos son:
V(p) == 1 Y V(q) ==
V(p) == 1 Y V(q) == 1
2) La segunda rama contiene nicamente el literal q y
anlogamente proporciona dos modelos:
V(q) == 1 Y V(p) == 1
V(q) == 1 Y V(p) == O
Slo hay tres modelos distintos pues V(p) == 1 == V( q) se
O
"htl pnp en ':l111 haC r':l111as
LJ ...:J
31
Antes de ver como se construye el tableau de una
frmula es necesario dar las dos definiciones siguientes.
Definicin
En un rbol binario cuyos nodos son frmulas proposi-
cionales se dice que una rama est cerrada si en ella
existen una frmula F y su negacin ---,F o bien la frmula
atmica ~
En caso contrario se dice que la rama est abierta.
Ejemplos:
Este rbol tiene una
nica rama y es cerrada.
Este es un rbol que tiene
dos ramas y ambas son
abiertas.
32
El siguiente teorema proporciona una clasificacin de las
frmulas que facilita la construccin de su tableau.
TEOREMA
Las frmulas de L se clasifican en:
1. No desarrollables: constantes lgicas y literales.
2. Simplificables: ---,---,A para A E L, ---, T Y ---, ~
3. Frmulas de tipo disyuntivo (es decir, frmulas equi-
valentes a otras cuyo conectivo principal es v:
A v B, ---, (A /\ B), A ~ B, A ~ B Y ---, (A ~ B)
4. Frmulas de tipo conjuntivo (es decir, frmulas equi-
valentes a otras cuyo conectivo principal es /\):
A /\ B, ---, (A v B) y ---, (A ~ B).
La demostracin se basa en las equivalencias siguientes:
---, (A /\ B) = ---,A v ---,B
A ~ B - ---,A v B
A ~ B - (A /\ B) v (---,A /\ ---,B)
---, (A ~ B) = (---,A /\ B) v (A /\ ---,B)
---, (A v B) = ---,A /\ ---,B
---, (A ~ B) = A /\ ---,B
'- /
33
CONSTRUCCIN DEL TABLEA U SEMNTICO
Dada una frmula F E LL: se construye un rbol binario,
llamado tableau semntico asociado a F, siguiendo el
siguiente proceso recursivo:
Paso 1: Si F es no desarrollable (T, ~ o bien un literal)
su tableau es un rbol con un nico nodo, es decir:
-F
Paso 2:
a) Si la frmula es simplificable su tableau comienza a
construirse, como sigue:
- ~
1 1
T
F
b) Si F = G v H, su tableau comienza a construirse
abriendo dos ramas:
F
/ ~
G H
34
c) Si F = G /\ H, su tableau comienza a construirse
abriendo una nica rama:
F
1
G
1
H
En cualquiera de estos casos, se dice que la frmula F ha
sido desarrollada y el proceso contina con el paso 3.
Paso 3: A cada una de las subfrmulas obtenidas en el
paso 2 se les aplica de nuevo el paso 2 o el paso 1, segn
corresponda, de modo que el tableau de una subfrmula
G se desarrolla en cada una de las ramas ya abiertas que
contienen a dicha sub frmula.
Notas:
1. Cuando una frmula ya ha sido desarrollada se marca
con ../ para no volver a considerarla.
2. Se desarrolla primero la subfrmula cuyo tableau tenga
menos ramas (opcional pero prctico para obtener un
tableau lo ms sencillo posible).
35
Paso 4. El desarrollo de una rama del tableau se para por
uno de los dos motivos siguientes:
a) Cuando la rama se cierra, es decir cuando en ella se
obtiene una frmula y su negacin o bien -L. Lo
indicaremos en el rbol con una cruz al final de la
rama.
b ) Cuando todas las frmulas de la rama ya han sido
desarrolladas, en cuyo caso la hoja de la rama es un
literal, o bien T.
Observaciones:
1. Es obvio que no existe un modelo comn a todas las
frmulas de una rama cerrada.
2. Cada rama abierta del tableau proporciona uno o varios
modelos de la frmula de partida, que se obtienen
dando valores de verdad a las variables de forma que:
- los literales que aparecen en la rama tomen valor
de verdad 1.
- los literales que no aparecen en la rama pueden
tomar valor O o 1.
3. Cada modelo de la frmula aparece en al menos una de

..L"-"'U ..L"-"'..L..L..L"-"'U "-"''-'..L'''' ___ '''",,",U.
36
REGLAS DEL TABLEAU
1. Para desarrollar frmulas simplificables:
-,T
-'.l
1 1 1
T F
2. Para desarrollar frmulas conjuntivas:
AJ\B
1
A
1
B
3. Para desarrollar frmulas disyuntivas:
AvB ~ B
A B
~ B -'(A B)
/ ~ / ~
A
-,A -,A
A
1 1 1 1
B
-,B
B
-,B
37
Observacin:
Las reglas que se utilizan para desarrollar los tableaux se
apoyan en las equivalencias que daban lugar a los
diferentes tipos de frmulas:
-, (A 1\ B) = -,A v -,B
.4. _ .4.
A ti = -,A V ti
A B = (A 1\ B) v (-,A 1\ -,B)
-, (A B) - (-,A 1\ B) v (A 1\ -,B)
-, (A v B) = -,A 1\ -,B
-, (A B) - A 1\ -,B
Definicin
Diremos que un tableau semntico finito es cerrado si
todas sus ramas son cerradas. Y, en caso contrario,
diremos que es abierto.
Entonces, un tableau semntico es abierto si tiene una
rama que no es cerrada y que no puede prolongarse ms
con las reglas de construccin dadas.
38
Ejemplo: Vamos a desarrollar el tableau de la frmula
F == (p v q r) /\ (p -,r).
vl"l
(p V q r) /\ (p
-,r)
+
vl"3


"
vl"2
.---- ------.
p -,p
+ +
-,r r
vl"4

-,(pvq) r -,(pvq) r
+
+
+
(2)
-,p -,p
+ +
-,q -,q
+
(1)
El tableau de esta
frmula tiene dos
ramas cerradas, que
se indican con +, y
las otras dos ramas
son abiertas.
Por tanto, es un
tableau abierto.
Las ramas abiertas proporcionan los modelos de F:
p q r Rama
O O 1 (1) (2)
O 1 1 (2)
39
Teorema Dada una frmula FE L: se verifica:
1. F es contradiccin si y slo si el tableau semntico
asociado a F es cerrado.
2. F es tautologa si y slo si el tableau semntico
asociado a ---,F es cerrado.
3. F es contingente si y slo si los tableaux semnticos
asociados a F y a ---,F son ambos abiertos.
4. F Y G son equivalentes si y slo si A B es tautologa
si y slo si el tableau de ---'(A B) es cerrado.
Ejemplo: La frmula F == (p v q r) /\ (p --,r) es
contingente. Sus nicos modelos son los proporcionados
por su tableau semntico, como vimos en el ejemplo
anterior. Por ejemplo, V(p) == V(q) == Ver) == 1 no es
modelo.
La frmula G == q --,p v p
es tautologa pues el tableau
de ---,G es cerrado.
Adems, la frmula ---,G es
contradiccin pues su tableau
es cerrado.
--. (q --.p v p )
+
q
+
--.( --.p v p )
+
--.p
+
40
Definicin
Dado un conj. de frmulas <1> == {F 1, ... , Fn} un
tableau semntico asociado a <1> se define como
el tableau semntico de la frmula F 1 /\ ... /\ Fn
Es decir, se comienza a construir el tableau
colocando las frmulas de <l> en una nica rama
y se contina desarrollando cada una de ellas
siguiendo las reglas del tableau dadas.
Teorema. Si T es el tableau semntico del
conjunto de frmulas <1> se verifica:
<D es insatisfactible si y slo si T es cerrado.
<1> es satisfactible si y slo si T es abierto.
1
1
Cada rama abierta de T proporciona uno o varios
modelos de <1>, que se obtienen dando valores de verdad
a las variables proposicionales de forma que los litera-
les que aparecen en la rama tomen valor de verdad l.
Cada modelo de <1> aparece en al lnenos una de las
ramas abiertas de T.
41
Ejemplos: El conjunto <1>1 == {p v q ~ r, p ~ -,r} es sa-
tisfactible: el tableau de la frmula F desarrollado en la
pgina 39 coincide con el de <1>1 (eliminando su raz) y
proporciona los dos nicos modelos comunes a las dos
frmulas de <1>1.
Consideremos ahora <1>2 == {p, P v q ~ r, p ~ -,r}. Para
ver si es satisfactible construimos el tableau semntico
siguiente:
~
-,(pvq)
+
-,p
+
-,q
+
p
+
r
+
-,p
r
+
Como este tableau es
cerrado se tiene que
<1>2 es insatisfactible,
es decir, sus frmulas
no tienen modelos
comunes.
42
ESTUDIO DE LA CORRECCIN DE LAS
ESTRUCTURAS DEDUCTIVAS.
Una deduccin es un proceso de razonamiento que
permite obtener una conclusin a partir de algunas
.
premIsas.
Una estructura deductiva es una representacin formal de
una deduccin.
Representaremos una estructura deductiva por:
Q
o bien
Q
PI, ... , P
n
se llaman premisas o hiptesis.
Q se llama conclusin o tesis.
Definicin
Se dice que una estructura deductiva PI, ... , P
n
=> Q es
correcta si toda valoracin que es modelo del conjunto
<1> == {P 1, ... , P n} es modelo tambin de la conclusin Q.
Es decir, los modelos comunes a todas las premisas Pi
son modelo de la conclusin.
43
Definicin.
Una estructura deductiva es incorrecta si y slo si existe
una valoracin que es modelo de todas las premisas y no
es modelo de la conclusin.
Dicha valoracin recibe el nombre de contraejemplo de
la deduccin.
Ejemplo: Veamos si son correctas las deducciones
siguientes:
Q: q Q: p
En la primera hay un nico modelo comn a las premisas
PI y P
2
: V(p) == 1 == V(q) y es modelo de Q. Por tanto, la
estructura deductiva es correcta.
En la segunda PI y P
2
tienen dos modelos comunes:
- V(q) == 1 == V(p) que es modelo de Q
- V(q) == 1 y V(p) == O que no es modelo de Q
Por tanto, la estructura deductiva es incorrecta y la
valoracin V( q) == 1 y V(p) == O es un contraejemplo.
44
Caracterizaciones.
1. La deduccin PI, ... , P n => Q es correcta
si y slo si
el conjunto {PI, ... , P
n
, -,Q} es insatisfactible.
2. La deduccin PI, ... , P n Q es correcta
si y slo si
la deduccin PI, ... , P n, -,Q => ..l es correcta.
Ejemplo: Consideramos de nuevo las deducciones del
ejemplo anterior.
a) Como la deduccin" p q, p => q " es correcta, se
tiene que:
- El conjunto {p q, p, -,q} es insatisfactible.
- La deduccin" p q, p, -,q => ..l " es correcta.
- Tambin son correctas las deducciones:
" p q, -,q => -,p" y "p, -,q => -, (p q) "
b) Como la deduccin "p q, q => p" es incorrecta, el
conjunto <1> == {p q, q, -,p} es satisfactible.
El contrejemplo de la deduccin, es un modelo de <1>:
45
Teorema.
La deduccin PI, ... , P
n
=> Q es correcta
si y slo si el tableau de {PI, ... , P
n
, -,Q} es cerrado.
Observacin:
La deduccin PI, ... , P
n
=> Q es incorrecta
si y slo si el tableau de {PI, ... , P
n
, -,Q} es abierto.
Los contraejemplos de una estructura deductiva incorrec-
ta pueden obtenerse a partir de las ramas abiertas del
tableau del conjunto {PI, ... , P
n
, -,Q}, dando valores de
verdad a las variables de forma que los literales de una
misma rama abierta tomen valor de verdad 1.
Ejemplo: Construimos los tableaux de las deducciones
anteriores "p q, p => q" y "p q, q => p ":
p ~ q p ~ q
Este tableau es
~ ~
abierto y sus dos
p q
ramas abiertas
~ ~
proporcionan el
contraejemplo de
-,q -,p
la deduccin:
~ ~
-,p q -,p q
V(q)==l
+ +
V(P)==O
Tableau cerrado.
46
Ejercicio: Estudia la correccin de las deducciones
siguientes, utilizando el mtodo de los tableaux. Y da un
contraejemplo si es incorrecta.
PI: p q, P 2: q r => Q: p r
PI: p q /\ -r, P
2
: q /\ S r, P
3
: -s => Q:-p
Teorema.
Si {Al, A
2
, ... , An} es un conjunto insatisfactible entonces
es correcta cualquier deduccin del tipo:
Ejercicio:
Probar que el conjunto {p q, p, -q} es insatisfactible.
A partir de l construir tres estructuras deductivas que
sean correctas.
Definicin.
Diremos que A <=> B es correcta si son correctas las dos
deducciones A => B Y B => A.
Teorema.
A <=> B es correcta si y slo si A = B.
Ejercicio: Probar v <=> /A\ q
47
Teorema.
1. Si A = B Y PI, ... , P
n
, A => Q es correcta entonces
tambin PI, ... , P n, B => Q es correcta.
2. Si Q = Q' y PI, ... , P
n
=> Q es correcta entonces
tambin PI, ... , P
n
=> Q' es correcta.
Es decir, si tenemos frmulas equivalentes podremos
sustituir unas por otras para facilitar el estudio de la
correccin de las deducciones.
Ejemplo: La deduccin "-q -p, p => q " es correcta
puesto que:
-q -p = p q y
- "p q, p => q " es correcta
REGLA DE LA CADENA
Si son correctas las deducciones
entonces tambin es correcta la deduccin
48
Ejemplo: Estudiemos la deduccin
" PI == P q, P 2 == q r, P 3 == P => Q == r "
1 ) "P 1 == P q, P 2 == q r => Q 1 == P r " es correcta.
2) Podemos incorporar Ql == p ---+ r como premisa.
3) "Ql == P r, P
3
== P => Q == r " es correcta.
Entonces por la regla de la cadena podemos afirmar que
la deduccin de partida es correcta.
Observacin:
Esto justifica que sea conveniente conocer deducciones
correctas que sean sencillas.
Las podremos utilizar concatenndolas con la regla de la
cadena para probar la correccin de estructuras deduc-
tivas ms complejas.
49
Definicin.
Llamamos reglas de inferencia a una serie de
deducciones correctas bsicas.
Las reglas de inferencia ms importantes son:
MODUS PONENS: A ~ B, A => B
MODUS TOLENS: A ~ B ,-,B => -,A
SILOGISMO: A ~ B B ~ C => A ~ C
SILOGISMO DISYUNTIVO: A v B, -,B => A
SIMPLIFICACIN:
A, B => A J\ B
A => A vB
B => A vB
50
Ejemplo: Escribiremos como sigue el razonamiento que
hicimos antes para probar que es correcta la deduccin:
" PI == P q, P 2 == q r, P 3 == P => Q == r "
Se obtiene:
1. p r
2. r
n\r P-t P-"", y
y'-J..L l' ...L L ..L'-'b..LU
por P
3
, 1 Y Modus Ponens.
En este caso hemos razonado de modo directo.
Realmente hay dos formas de abordar el estudio de la
correccin de una estructura deductiva.
Proposicin.
Hay dos maneras de razonar para probar que una
estructura deductiva PI, ... , P n => Q es correcta:
a) Por implicacin directa: partir de las premisas de la
deduccin, PI, ... , P n, Y utilizando reglas de inferencia
obtener la conclusin Q.
b) Por reduccin al absurdo: incorporar a las premisas
la negacin de la conclusin PI, ... , P n, ---,Q, Y utilizando
reglas de inferencia obtener como conclusin la
contradiccin .1.
51
Ejemplo: Probar que es correcta la deduccin:
" PI == P ~ q, P
2
== q ~ r, P
3
== P => Q == -,r s"
a) Por implicacin directa se obtiene:
1. p ~ r
2. r
3. -,-,r
4. -,-,r v s
5. Q == -,r s
por PI, P
2
Y Silogismo.
por P
3
, 1 Y Modus Ponens.
por 2 y A = -,-,A.
por 3 y A => A v B.
por 5 y A ~ B = -,A v B
b) Por reduccin al absurdo. Se trata de probar que es
correcta la deduccin:
"PI == P ~ q, P
2
== q ~ r, P
3
== p, -,Q == -,(-,r s) => ~
Se obtiene:
1. -,Q == -,r 1\ -,s
2. -,r
3. -,s
4. -,q
5. -, P
6. p 1\ -,p =
por -, (A B) = A 1\ -,B
por 1 y A 1\ B => A
por 1 y A 1\ B => B
por 2, P2 Y Modus Tolens
por 4, PI Y Modus Tolens
por 5, P 3 Y A, B => A 1\ B
52