Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Proposicional3 120321182456 Phpapp02 PDF
Proposicional3 120321182456 Phpapp02 PDF
Noviembre - 1998
Resolucin Proposicional
Introduccin
Introduccin
Los presentes apuntes contienen una introduccin a la lgica proposicional y sus aplicaciones
orientada principalmente a carreras tcnicas.
Los apuntes se utilizan en la primera parte de la asignatura Lgica de la Escuela Universitaria de
Ingeniera Tcnica Informtica de Oviedo impartida por los autores.
Para cualquier consulta o sugenrencia, puede ponerse en contacto con los autores en:
labra@lsi.uniovi.es anaisabel@lsi.uniovi.es
J. E. Labra G
Ana I. Fernndez M.
Octubre, 1998
Resolucin Proposicional
Introduccin
Contenido
Introduccin...............................................................................................................1
1. Lenguaje de la Lgica Proposicional......................................................................3
1.1. Alfabeto de la Lgica Proposicional......................................................3
1.2. Sintaxis de la Lgica Proposicional.......................................................3
1.3. Semntica de la Lgica Proposicional...................................................4
2. Equivalencia lgica ................................................................................................6
3. Consecuencia Lgica.............................................................................................7
4. Tcnicas Semnticas de Estudio de Validez Proposicional......................................8
4.1. Tablas de Verdad ................................................................................8
4.2. rboles Semnticos .............................................................................8
4.3. Demostraciones por Contradiccin.......................................................9
4.4. Resolucin Proposicional....................................................................10
4.4.1. Formas Normales .............................................................10
4.4.2. Algoritmo de Resolucin Proposicional..............................11
4.4.3. Estrategias de resolucin ...................................................16
4.4.3.1. Estrategias de Borrado.....................................16
4.4.3.1.1. Eliminacin de clusulas con literales puros.........16
4.4.3.1.2. Eliminacin de tautologas ..................................16
4.4.3.1.3. Eliminacin de Subsunciones..............................17
4.4.3.2. Resolucin unitaria ...........................................17
4.4.3.3. Resolucin de Entrada .....................................17
4.4.3.4. Resolucin Lineal.............................................18
4.4.3.5. Resolucin Ordenada.......................................19
5. Teora de la Prueba: Deduccin Natural...............................................................22
6. Aplicacin al diseo de Circuitos: lgebra de Boole.............................................26
6.1. Introduccin.......................................................................................26
6.2. Definicin de lgebra de Boole y Teoremas ........................................26
6.3. Puertas Lgicas..................................................................................30
6.4. Funciones Booleanas..........................................................................31
6.4.1. Formas Cannicas ............................................................31
Transformacin en forma cannica .................................33
6.4.2. Simplificacin de funciones lgicas.....................................35
Mtodo de Karnaugh.....................................................36
Funciones incompletas ...................................................38
7. Ejercicios............................................................................................................40
8. Soluciones...........................................................................................................45
Bibliografa...............................................................................................................48
Indice.......................................................................................................................49
Resolucin Proposicional
Representacin
Negacin
no p
es falso p
no es cierto p
Conjuncin
pq
p yq
p pero q
p sin embargo q
p no obstante q
p a pesar de q
Disyuncin
pq
o p o q o ambos
al menos p o q
como mnimo p o q
Condicional
pq
si p entonces q
p slo si q
q si p
q cuando p
q es necesario para p
para p es necesario q
p es suficiente para q
para q es suficiente p
no p a menos que q
(Implicacin)
Bicondicional
(Equivalencia)
pq
Resolucin Proposicional
V si V I ( G) = F
F si V I ( G) = V
G entonces V I ( F ) =
V
Si F es de la forma G H entonces V I ( F ) =
F
si V I ( G ) = V I ( H ) = V
en caso contrario
F
Si F es de la forma G H entonces V I ( F ) =
V
si V I ( G) = VI ( H ) = F
en caso contrario
F
Si F es de la forma G H entonces V I ( F ) =
V
si V I ( G) = V y V I ( H ) = F
en caso contrario
V
Si F es de la forma G H entonces V I ( F ) =
F
si V I ( G) = V I ( H )
en caso contrario
V I ( q) = V
Es posible establecer una clasificacin de las frmulas proposicionales en funcin de los valores que
tomen bajo las diferentes interpretaciones, de esta forma una frmula F se clasifica en:
Vlida Tautologa: Todas las interpretaciones son un modelo (Para toda interpretacin I, VI ( F ) = V )
Satisfacible: Alguna interpretacin es un modelo (Existe una interpretacin I tal que VI ( F ) = V )
Resolucin Proposicional
Insatisfacible: Ninguna interpretacin es un modelo (No existe una interpretacin I tal que VI ( F ) = V )
Una frmula puede ser: satisfacible o insatisfacible. Un tipo especial de frmula satisfacible, es
aquella que toma siempre valor V (es vlida). Por tanto, las frmulas vlidas son un subconjunto de las
satisfacibles.
Teorema 1: Una frmula F es vlida si y slo si su negacin F es insatisfacible.
Dem:
F es vlida
{ Def. vlida}
I VI(F)= V
{ Def. Interpretacin }
I VI(F) = F
{ Def. Insat. }
F es Insatisfacible
NOTA: A lo largo de estos apuntes se utilizar un formato lineal para las demostraciones promovido por E.
W. Dijkstra [Dijkstra, 90]. En este formato, las lneas impares contienen los principales pasos de la
demostracin y las lneas pares, comentarios para pasar de un paso a otro.
En algunas ocasiones, el comentario recurre a la regla de Leibniz que dice lo siguiente:
Si se cumple F(X) y X = Y entonces tambin se cumple F(Y)
Resolucin Proposicional
Equivalencia lgica
2. Equivalencia lgica
Definicin 4: Se dice que dos frmulas A y B son equivalentes lgicamente (se denota por A B
A B ) si para toda interpretacin I, se cumple que VI ( A ) = VI ( B )
Teorema 2: A B si y slo si la frmula AB es vlida
Dem:
AB
{ Def. }
I VI(A) = VI(B)
{ Def. Interpretacin }
I VI(AB) = V
{ Def. Vlida }
AB es vlida
El teorema anterior reduce la demostracin de equivalencia entre frmulas a la demostracin de validez de
una frmula.
A continuacin se presenta una tabla con una serie de equivalencias de uso comn y de fcil
demostracin
Supresin de Implicacin: A B A B
Contraposicin:
A B B A
Supresin de Doble Implicacin:
A B ( A B ) ( B A)
A ( B A) A
A ( B A) A
Idempotencia
Commutativa
Asociativa
AF F
AV A
Contradiccin
A A F
A A A
A B B A
A ( B C) ( A B) C
AV V
AF A
Medio Excluido
A A V
A A A
A B B A
A (B C ) ( A B) C
Distributiva
A ( B C ) ( A B) ( A C)
A ( B C ) ( A B) ( A C)
De Morgan
( A B) A B
( A B) A B
Doble Negacin
(Involucin)
A A
Absorcin
Elemento neutro
E. Complementario
A es vlida
{ Def. Vlida }
I VI(A) = V
{Si AB entonces I VI(A) = VI(B), Leibniz }
I VI(B) = V
{ Def. Vlida }
B es vlida
Con el teorema anterior, si se sabe que X es vlida, para demostrar que Z es vlida se podr utilizar el
formato:
X
{...}
Y
{...}
Z
Resolucin Proposicional
Consecuencia Lgica
3. Consecuencia Lgica
Definicin 5: Sea C un conjunto de frmulas
{ P1 , P2 ,L Pn }
consecuencia lgica del conjunto C de premisas (se denotar C Q ) si toda interpretacin que es un
modelo de C es tambin un modelo de Q .
Es decir, si para toda interpretacin I se cumple que si V I ( P1 ) = V I ( P2 ) =L = V I ( Pn ) = V entonces
Resolucin Proposicional
q
F
V
F
V
pq pq
V
V
V
V
Definicin 8: Los nodos del rbol semntico en los que el conjunto de significados atribuidos hasta ellos
hacen Falsa la frmula, se denominan nodos de fallo y los que la hacen verdadera, nodos de xito
Ejemplo 2: Dada la frmula (pq) (pq). Seleccionando los literales por orden alfabtico, se obtiene
el rbol semntico:
p
V
Como puede observarse, no ha sido necesario evaluar las interpretaciones p=V, q=V y p=V, q=F.
Resolucin Proposicional
Este tipo de demostraciones se suelen representar etiquetando la frmula con valor F y evaluando
posibles valores hasta que se llegue la contradiccin.
Ejemplo 3. A continuacin se demuestra que la frmula pq(pq) es vlida
p q ( p q)
V
V 23
V
{
{V
1
F424
F
V
1
3
1
424
3
F4
F
142
3
14V4424443
F
Contradiccin
A la hora de evaluar una conectiva pueden aparecer varias alternativas. Conviene recordar que:
Para poder asegurar que F es vlida debe llegarse a contradiccin por todas las alternativas
Si no se llega a contradiccin por alguna alternativa se puede decir que F no es vlida
Ejemplo 4. A continuacin se demuestra que la transitividad de la equivalencia lgica. Es decir que:
{A B, B C) (A C)
Para ello, basta con demostrar que la frmula (AB)(BC)(AC) es vlida. En dicha
demostracin aparecen dos alternativas y, como se llega a contradiccin por ambas, puede concluirse que
la frmula es vlida.
A B B C A C
V 23
V
V
V
V
V
1
1
23
1
23
V 4244
V3
V3
14
12
V 4
1444
424444F4
3
Contradiccin
A B B C A C
F 23
F
F
F
1
1
23F
1
23F
V 4244
V 3
V 3
14
12
V
14444
424444F4
3
F
Contradiccin
Resolucin Proposicional
n0
n0
10
Resolucin Proposicional
(A B) A A
(A B) A A
Ejemplo 8: Para transformar la frmula (pq)pr a Forma Normal Conjuntiva, se pueden emplear los
siguientes pasos:
(pq)pr
{ Eliminacin }
( (p q) p r) ( (p r) (p q))
{ Eliminacin }
( ( (p q) p r) ( (p r) ( p q))
{ Eliminacin doble negacin }
(p q p r ) ( (p r) ( p q))
{ Eliminacin disyuncin con literal y su opuesto }
( (p r) ( p q))
{ De Morgan }
(p r) (p q)
{ Eliminacin doble negacin }
(p r) (p q)
{ Distributiva }
((p r) p) ((p r) q)
{ Distributiva }
(p p) (p r) (pq) ( q r)
{ Eliminacin disyuncin con literal y su opuesto }
(p r) (pq) ( q r)
{p q, p q r , p}
en Forma Clausal
Definicin 16: Una clusula sin literales se denomina clusula vaca, se representa por
siempre Falso.
y su valor es
Definicin 17: Una clusula que tiene a lo sumo un literal positivo, se denomina clusula Horn. Una
clusula Horn ser de la forma: A B1 B2 L Bn .
Si n=0, se denomina hecho, si no existe literal positivo (no existe A) entonces se denomina objetivo y,
finalmente, si n>0 y existe literal positivo, se denomina regla.
11
Resolucin Proposicional
La idea del principio de resolucin es simple: Si se sabe que se cumple: "P Q" y tambin se sabe que se
cumple "no P R" entonces se puede deducir que se cumplir "Q R".
Ejemplo 10: Si se tiene: "Gana o Pierde o Empata" y "Si Gana entonces da una Fiesta o Va de Viaje". Se
puede deducir que: "O Pierde o Empata o da una Fiesta o va de Viaje".
Formalizando, la primera frase sera: G P E y la segunda: G F V G F V
La regla de resolucin inferir: P E F V
Definicin 18: Dadas dos clusulas C1 y C2 tales que exista un literal l de forma que l C1 y l C2 , se
denomina resolvente de C1 y C2 respecto a l a la clusula:
Contradiccin
Puesto que se llega a una contradiccin, la frmula no puede ser Falsa y ser siempre verdadera, es decir,
la frmula es Vlida.
n
Teorema 7: Dadas dos clusulas C1 y C2 pertenecientes a un conjunto C y resolubles respecto un literal l,
entonces: C C Rl (C1 , C 2 ) .
Dem:
C Rl (C1 , C 2 )
Teorema 8: Si el resolvente de dos clusulas C1 y C2 pertenecientes a un conjunto C es la clusula vaca,
entonces C es insatisfacible.
Dem:
Rl (C1 , C 2 ) =
{ Teorema 7, Leibniz }
CC
{ Def. F }
CC F
{ El. Neutro, C F F }
CF
{ Def. Interpretacin }
I VI(C) = VI(F)
12
Resolucin Proposicional
Un conjunto de clusulas C
Salida:
Detecta si C es insatisfacible
1.- Buscar dos clusulas C1 , C2 C tales que exista un literal l que cumple que l C1 y l C2
2.- Si se encuentran:
3.- Calcular Rl ( C1 , C2 ) y aadirlo al conjunto C
4.- Si Rl ( C1 , C2 ) = r entonces SALIR indicando que C es insatisfacible.
5.- Si no, Volver a 1
3.- Si no se encuentran: SALIR indicando que C no es insatisfacible.
Ejemplo 11: Sea C el siguiente conjunto de clusulas
{ p, p q, r , p q r} , se puede demostrar
{P , P
c
c
2
,L Pnc , Q c
} es insatisfacible. Cada
P1 , P2 , L , Pn Q
Dem:
{ Teorema 4}
P1 P2 L Pn Q es vlida
{ Teorema 1}
( P1 P2 L Pn Q ) es insatisfacible
{P , P
c
c
2
,L Pnc , Q c es insatisfacible
{ p q r s, p s} p q
es correcto por
resolucin, es necesario transformar cada premisa a forma clausal y aadir el resultado de transformar la
negacin
de
la
conclusin
a
forma
clausal.
El
conjunto
obtenido
sera
r
,
s
,
s
,
p
,
q
.
Aplicando
el
algoritmo
de
resolucin:
{
}
- Se resuelve la segunda clusula ( p q s ) con la tercera ( p s), obteniendo p q
- Se resuelve ahora la clusula anterior con la cuarta clusula (p) obteniendo: q
13
Resolucin Proposicional
F ( r )
F ( p)
F ( p q)
F ( p q r )
Lema 1: Si un conjunto de clusulas es insatisfacible, entonces el rbol semntico es finito y est limitado
por nodos de fallo, se denomina, en ese caso, rbol de fallo.
Lema 2: Cada nodo de fallo n falsifica al menos a una de las clusulas del conjunto que ser la clusula
asociada a n.
Lema 3: La clusula C asociada a un nodo de fallo n contiene un subconjunto de los complementos de los
literales que aparecen en la rama que va desde la raz del rbol semntico hasta n.
Dem: Puesto que la clusula C es falsificada en el nodo n, todos sus literales deben tener asignado un
valor en la interpretacin parcial correspondiente a n. Adems, el valor de esos literales debe ser F (puesto
que C es una disyuncin). El valor asignado debe ser el complementario.
n
Definicin 19: Se denomina nodo de inferencia a un nodo del rbol semntico cuyos dos hijos son nodos
de fallo.
Lema 4: En un rbol de fallo, salvo que slo tenga un nodo, debe existir al menos un nodo de inferencia.
Dem: Puesto que el rbol de fallo es finito y las ramas se desarrollan de dos en dos, necesariamente
tendremos un ltimo nodo desarrollado con dos hijos.
n
Lema 5: Si el rbol semntico de un conjunto de clusulas es de fallo y contiene un slo nodo, entonces
dicho conjunto contiene la clusula vaca.
Lema 6: Un nodo de inferencia i indica un paso de resolucin de las clusulas asociadas a sus dos hijos.
El resolvente de dichas clusulas es falsificado por el nodo i y, ocasionalmente, por alguno de sus
antecesores.
Dem: En un nodo de inferencia i cualquiera, se tendr un esquema como el que sigue:
14
Resolucin Proposicional
i
( p )
p=F
( p)
p=V
j
F (C j )
k
F (C k )
- Puesto que el nodo i no falsific C j y lo nico que cambia en el nodo j respecto a i es el valor de p, la
clusula C j debe contener el literal p (complementado para que sea Falso).
- Por la misma razn anterior, la clusula Ck debe contener el literal p (sin complementar para que sea
Falso)
Por tanto C j y Ck son resolubles respecto a p. El esquema ser:
C j = p resto_ C j
R ( C , C ) = resto_ C j resto_ Ck
Ck = p resto_ Ck p j k
En el nodo j, C j toma valor Falso, por tanto resto_ C j tomar tambin valor Falso, como resto_ C j no
contiene el literal p tambin tomarn valor Falso en el nodo i. De la misma forma, resto_ Ck tomar valor
Falso en el nodo i. Por tanto, R p ( C j , Ck ) = resto_ C j resto_ Ck tomar valor Falso en el nodo i, es decir,
el nodo i, es un nodo de fallo para el resolvente de C j y Ck
En ocasiones, puede ocurrir que el resolvente sea falsificado tambin por alguno de los padres del nodo de
inferencia, como ejemplo, considrese el conjunto de clusulas { p, p q, r, p r } , el rbol
semntico, junto con los resolventes sera:
p
( p)
q
F ( r )
F ( p)
F ( p q)
F ( p r )
El resolvente de los nodos 6 y 7 es (p ) que falsifica al nodo 4 pero tambin falsifica a su antecesor, el
nodo 2.
n
Teorema 10 (Completud del Algoritmo de Resolucin Proposicional): Si un conjunto de clusulas es
insatisfacible entonces, aplicando el algoritmo de resolucin, se alcanza la clusula vaca.
Dem:
15
Resolucin Proposicional
Repitiendo el proceso se llegar a un rbol semntico con un solo nodo que corresponder a la
clusula vaca {Lema 5} y, por tanto, queda demostrado que se alcanza la clusula vaca por
resolucin.
Resolucin Proposicional
un conjunto de clusulas para que no intervengan en el proceso de bsqueda sin alterar la satisfacibilidad
del conjunto.
17
Resolucin Proposicional
Rq (1, 3)
Se puede demostrar que la resolucin unitaria y la resolucin de entrada tienen el mismo poder de
inferencia en el sentido de que si con una estrategia se puede alcanzar la clusula vaca, con la otra
tambin.
Una consecuencia de lo anterior es que la resolucin de entrada es completa para clusulas Horn, pero
incompleta en general. Como contraejemplo, se puede tomar el del apartado anterior.
R0 = C0
Ri +1 = R( Ri , Ci )
tal que Ci C Ci = R j
( j i)
La resolucin lineal toma su nombre del aspecto lineal que presentan las inferencias realizadas. Una
resolucin lineal comienza con una clusula del conjunto inicial y produce una cadena lineal de
resoluciones como la que se muestra en la figura para el conjunto de clusulas
C = { p q, p q, p q, p q} . Obsrvese que cada resolvente, despus del primero, se obtiene
del resolvente anterior y de alguna otra clusula del conjunto.
p q
p q
p q
p q
Resolucin Lineal
La resolucion lineal evita muchas resoluciones intiles centrndose en cada paso en los antepasados de
una clusula y en los elementos del conjunto inicial.
Los resultados obtenidos aplicando resolucin para una determinada clusula cabeza se pueden mostrar
en forma de rbol de resolucin. La raz del rbol es la clusula cabeza y se forman los nodos
descendientes segn las clusulas con las que se pueda resolver. El rbol de resolucin para el ejemplo
anterior sera:
18
Resolucin Proposicional
2p
3 qp
5: q
3q
9: p
2p
13: q
1q
15: p
4q
10: p
4p
7: qq
Tautologa
6: p
2p
11: q
4p
8:p p
Tautologa
4p
12: q
4q
14: q
2q
5q
16: p
rbol de resolucin
En la figura se representan las resoluciones indicando el nmero de clusula y el literal por el que se
resuelve. A cada resolvente se le asigna un nuevo nmero. Obsrvese que pueden existir caminos infinitos
(el camino ms a la izquierda), caminos que llevan a tautologas y caminos de xito que alcanzan la clusula
vaca.
Se puede demostrar que la resolucin lineal es completa. Para cualquier conjunto de clusulas
insatisfacibles, aplicando resolucin lineal, se alcanza la clusula vaca.
Debido al siguiente teorema, no siempre es necesario probar con todas las clusulas del conjunto inicial
como clusulas cabeza.
Teorema 11: Si un conjunto de clusulas S es satisfacible y S C es insatisfacible, entonces se
encuentra la clusula vaca mediante resolucin lineal tomando como clusula cabeza una clusula del
conjunto C.
El teorema anterior tiene aplicacin al estudio de los razonamientos, en los cuales las premisas son, por lo
general, satisfacibles. Si al aadir las clusulas resultantes de negar la conclusin el conjunto resultante es
insatisfacible (y el razonamiento es correcto) entonces, segn el teorema anterior basta con probar como
clusula cabeza con las que resultaron de negar la conclusin.
5.- q r
Rp ( 1, 2)
2.- p r
6.- r
Rq ( 3, 5)
3.- q r
7.- r
Rr ( 4 , 6 )
4.- r
19
Resolucin Proposicional
La clusula 5 es el nico resolvente ordenado entre las clusulas 1 y 4. Las clusulas 1 y 3 no resuelven
puesto que sus literales complementarios no son los primeros. Por la misma razn tampoco resuelven las
clusulas 2 y 4 ni las clusulas 3 y 4. Una vez generada la clusula 5, resuelve con la clusula 3 para
producir la clusula 6, la cual resuelve con la clusula 4 para producir la clusula vaca.
La resolucin ordenada es la ms eficiente (en el ejemplo, se obtuvo la clusula vaca en el tercer paso de
resolucin). Desafortunadamente, la resolucin ordenada no es completa. Sin embargo, se ha demostrado
que la resolucin ordenada s es completa para clusulas Horn.
Tras este breve repaso de las principales estrategias de resolucin, cabe resear que los principales
sistemas de demostracin automtica basados en el principio de resolucin (por ejemplo, los sistemas
Prolog) utilizan una combinacin de las dos ltimas estrategias restringidas a conjuntos de clusulas
Horn 1.
Los sistemas Prolog utilizan la resolucin lineal ordenada para clusulas Horn en lgica de
predicados. Conocida como resolucin SLD (Selective Linear Resolution for Definite Clauses).
20
Resolucin Proposicional
21
Resolucin Proposicional
Reglas de Eliminacin
A
-I
-E
A B
-I
A B
A B
A B
A B
A B
A C
B C
Deduccin
Modus Ponens
A
A B
-E
-I
A B
-I
A B
B A
-E
A B
A B
A B
A B
B A
A
B B
-I
-E
V -I
A A
V
V -E
F -I
A A
F
F -E
B B
A
V
A A
F
A
22
Resolucin Proposicional
pq
Premisa
-E 1
-E 1
qp
-I 2,3
Para el estudio de razonamientos de la forma {P1, P2, ...Pn} Q se parte de las premisas y se intenta
llegar a la conclusin.
Ejemplo 21: Demostrar que p q p (q r)
1
pq
Premisa
-E 1
-E 1
qr
-I 3
p (q r)
-I 2,4
Esta regla enuncia que, si se supone A y se llega a demostrar B, entonces, se puede deducir la
frmula A B.
Ejemplo 22: Demostrar que p (q r) p q r
1
p (q r)
Premisa
pq
Supuesto
-E 2
qr
E 1,3
-E 2
E 4,5
p qr
I 2-6
p qr
Premisa
Supuesto
Supuesto
pq
-I 2,3
E 1,4
qr
I 3-5
p (q r)
I 2-6
23
Resolucin Proposicional
Premisa
Supuesto
pp
-I 1,2
F-I 3
F-E 4
pq
I 2,5
Supuesto
Supuesto
p p
-I 1,2
I 2-3
p p
I 2-4
Supuesto
Supuesto
p p
-I 6,7
-E 7-8
10
p p
-I 6-9
11
p p
-I 5,10
pq
Premisa
Supuesto
pq
p (p q)
I 3-4
Supuesto
Supuesto
pq
-I 7-8
10
q (p q)
-I 6-10
11
pq
-E 1,5,10
24
Resolucin Proposicional
pq
Premisa
(p q)
Supuesto
Supuesto
pq
-I 3
(pq) (pq)
-I 4,2
-E 3-5
-E 1,6
p q
-I 7
10
(pq) (pq)
-I 8,2
11
pq
-E 2-10
25
Resolucin Proposicional
a +b A y a b A
a,b A
aA
aA
a,b A
a,b A
a,b,c A
a,b,c A
aA
aA
aA
aA
a *a = 0
{conmutativa +}
{conmutativa }
{distributiva +}
{distributiva }
{neutro +}
{neutro }
{inverso +}
{inverso }
En el caso ms sencillo, el conjunto A tiene como nicos elementos a los neutros de las
operaciones, A={ 0 , 1 }. Esto quiere decir que las variables slo pueden tomar los valores 0 o 1. En este
caso, el lgebra de Boole se dice que es bivaluada.
Ejemplo 28: La lgica proposicional LPROP, tiene estructura de lgebra de Boole.
Basta con demostrar que la tupla ({F,V}, , , , F, V) cumple la definicin de lgebra de Boole
Los elementos de LPROP, las frmulas de la lgica proposicional, slo pueden tomar los valores F
o V, o lo que es lo mismo, 0 o 1.
La disyuncin y la conjuncin son operaciones binarias (intervienen dos operandos) e internas.
El complementario es una operacin unaria interna.
Como ya se ha demostrado, se cumplen los postulados del lgebra de Boole:
Commutativa:
a b = b a
y a b = b a
Distributiva:
a (b c) = (a b) (a c)
a,bA
a (b c) = (a b) (a c)
Elemento neutro:
a F= a
a V =a
Elemento inverso:
a,bA
aA
26
Resolucin Proposicional
Ejemplo 29: Dado un conjunto C, la estructura {2C, , , -, C, }, donde 2C es el conjunto de todos los
subconjuntos de C, , y - son las operaciones de unin, interseccin y complementario entre conjuntos
y es el conjunto vaco, tiene estructura de lgebra de Boole
Ejemplo 30: La estructura {A, , , ', 0, I} donde A contiene los elementos: {0, 1, S, S' } y las operaciones
se definen mediante las siguientes tablas, tambin tiene estructura de lgebra de Boole
S'
S'
X'
S'
S'
S'
S'
S'
S'
S'
S'
S'
S'
Ejemplo 31: Dado un nmero natural n, la estructura {Dn, mcm, mcd, (n/), n, 1 } donde Dn es el conjunto de
divisores de n, mcm y mcd son el mnimo comn mltiplo y (n/) x = n / x tiene estructura de lgebra de
Boole.
a A
a +1=1
a 0=0
[Dual]
Demostracin:
1
= { inverso + }
a +a
= {neutro , a/ a }
a+ a1
= { distributiva + }
(a + a ) (a + 1)
= { inverso + }
1 (a + 1)
= { neutro }
a+1
A partir del teorema anterior se pueden construir las tablas de verdad de las operaciones boolenas + y
Teorema 14 (Idempotencia)
a +a =a
a A
a a =a
[Dual]
Demostracin
a
= { neutro + }
a+0
27
Resolucin Proposicional
= { inverso }
a + a a
= { distributiva + }
(a + a) (a + a )
= { inverso + }
(a + a) 1
= { neutro }
a+a
Teorema 15 (Absorcin)
a +a b=a
a,b A
a (a + b) = a
[Dual]
Demostracin
a
= { neutro }
1 a
= { dominacin + }
(1 + b) a
= { distributiva }
1 a +b a
= { neutro }
a + a b
Teorema 16 (Asociativa). a + (b + c) = (a + b) + c = a + b + c
a,b,c A
a (b c) = (a b) c = a b c
Demostracin: Se demostrarn dos teoremas auxiliares TA1 y TA2:
TA1: a ((a + b) + c) = a (a + (b + c))
a ((a + b) + c)
= { distributiva }
a (a + b) + a c
= { absorcin }
a+ac
= { absorcin + }
a
= { absorcin , b / b+c }
a (a + (b + c))
[Dual]
28
Resolucin Proposicional
(a + b) + c
= {neutro }
((a + b) + c) 1
= { inverso + }
((a + b) + c) (a + a )
= { distributiva , conmutativa }
a ((a + b) + c) + a ((a + b) + c)
= { TA1 }
a (a + (b + c)) + a ((a + b) + c)
= { TA2 }
a (a + (b + c)) + a (a + (b + c))
= { distributiva }
(a + a ) (a + (b + c))
= { inverso + }
1 (a + (b + c))
= { neutro }
a + (b + c)
Teorema 17. (Unicidad del complementario) El elemento a asociado a un elemento a en un lgebra de
Boole es nico, es decir, existe un nico elemento, x, que cumple la propiedad de elemento inverso, es
decir, que cumpla que : a + x = 1 y a x = 0
Demostracin:
Supngase que existen dos elementos x e y que cumplen la propiedad:
a+x=1
(H1)
ax=0
(H2)
a+y=1
(H3)
ay=0
(H4)
x
= { neutro }
1 x
= { H3 }
(a + y) x
= { distributiva }
a x+y x
= { H2 }
0+ y x
= { H4 }
a y+y x
= { distributiva , conmutativa }
(a + x) y
= { H1 }
1 y
= { neutro }
y
Concluyendo que x e y son el mismo elemento
Teorema 18 (Involucin).
Demostracin:
a =a
aA
a +a
= { conmutativa + }
a+ a
= { inverso + }
1
aa
= { conmutativa }
a a
= { inverso }
0
29
Resolucin Proposicional
Por tanto, a = a
Teorema 19. (De Morgan)
a + b + c +... = a b c ...
a b c ... = a + b + c +...
[Dual]
Demostracin
Se realizar en dos partes: En la primera parte se demostrar para dos variables, y la segunda parte,
se generaliza el resultado para n variables.
1.- Demostracin para dos variables: a + b = a b
Por la unicidad del complementario, el nico x que cumple que (a + b) + x = 0 y (a + b) x = 1 es a + b .
Si se demuestra que
a + b + a b = 0
y que
(a + b) a b = 1
entonces quedar demostrado
a +b = a b
Las demostraciones de ambas igualdades son sencillas:
a + b + a b
= { Distributiva + }
(a + b + a ) (a + b + b )
= { Conmutativa +, inverso + }
(1 + b) (1 + a)
= { dominacin + }
1 1
= { neutro }
1
(a + b) a b
= { distributiva }
a a b + b a b
= { conmutativa , inverso }
0b +0 a
= { dominacin }
0+0
= { neutro + }
0
La demostracin para n variables se realizara de la siguiente forma:
a + b + c + ...
= { Sea p = b + c+ ... }
a+p
= { De Morgan (2 variables) }
a p
= { Deshaciendo }
a b + c +...
= { repitiendo el proceso anterior hasta sacar todas las variables }
a b c ...
Resolucin Proposicional
como 1 (verdadero) 0 (falso). Un circuito combinacional se caracteriza por ser un sistema sin memoria:
el valor de las salidas en cada instante depende slo del valor de las entradas en ese momento.
Un circuito de estas caractersticas puede representarse analticamente, mediante una funcin
booleana, o grficamente, mediante un diagrama de puertas lgicas. En estos diagramas se representan
las entradas, las salidas, las operaciones o puertas lgicas y sus conexiones.
Las diferentes conectivas pueden representarse mediante las siguientes puertas lgicas.
Puerta AND
Puerta OR
a b
a
b
Puerta NAND
a
b
a
b
Puerta NO (Inversor)
a+b
+
Puerta NOR
a b
a
b
a+b
a
b
ab
Mediante la utilizacin de puertas NAND NOR pueden implementarse el resto de operaciones. A modo
de ejemplo, se muestra cmo se implementa mediante puertas NAND las operaciones a , a + b,a b
a
= { idempotencia }
a a
a+b
= { involucin }
a +b
= { De Morgan + }
a = aa
a b
a b
ab
= { { involucin }
a b
a
b
a
a b
31
Resolucin Proposicional
a bcd 0110 2 6 10
a + b + c + d 1001 2 910
Definicin 28. Una funcin est en forma cannica si es una suma de productos cannicos o un producto
de sumas cannicas.
Cuando la funcin es una suma de productos cannicos, se utiliza el smbolo , mientras que para un
producto de sumas cannicas se utiliza el smbolo .
Ejemplo. 35 : A continuacin se presentan dos funciones en forma cannica:
f ( a, b, c) = a bc + abc + a b c =
(2,6,0)
3
g ( a, b, c ) = ( a + b + c )( a + b + c)( a + b + c) =
(0,5,7)
3
Resolucin Proposicional
Multiplicando (o sumando) las expresiones anteriores por a ( a ) se obtienen las siguientes igualdades:
a f(a,b,c...) = a f(1, b, c...)
a b c f(0,0,1...) + a b c f(0,0,0...)
Las expresiones f(...) toman valores 0 1 dependiendo de la funcin particular. Cuando toman valor 1,
el trmino cannico correspondiente permanece, mientras que si toman valor cero, el trmino desaparece.
Con lo cual, cualquier funcin puede expresarse en forma cannica.
La expresin de producto de sumas, dual de la anterior, sera:
f(a,b,c...) =
( a + b + c + f(0,0,0...))
( a + b + c + f(1,1,0...))
( a + b + c + f(1,0,1...))
( a + b + c + f(0,1,1...))
(a + b + c + f(1,0,0...))
( a + b + c + f(0,1,0...))
( a + b + c + f(0,0,1...))
( a + b + c + f(0,0,0...))
33
Resolucin Proposicional
Obsrvese que en producto de sumas, los trminos cannicos permanecen cuando la funcin toma valor
cero y desaparecen cuando toma valor 1. Adems, los trminos no corresponden de forma directa, sino
que cuando la variable est en forma directa, le corresponde un 0 y cuando est en forma inversa, un 1.
El teorema anterior ofrece un mtodo para obtener la expresin cannica de una funcin a partir de la tabla
de verdad
Suma de productos: Toman trminos en los que la funcin vale 1 numerando de arriba abajo
Producto de Sumas: Tomar trminos en los que la funcin vale 0 numerando de abajo a arriba
Ejemplo 37.
de sumas:
a b
0 0 0
1 0 0
2 0 1
3 0 1
4 1 0
5 1 0
6 1 1
7 1 1
f(a,b,c)
0
0
1
0
0
1
1
1
7
6
5
4
3
3
1
0
a b c + a b c + a b c + a b c + a b c
= { convenio }
3(1,3,4,5,7)
En producto de sumas, el procedimiento sera:
a ( b + c) + c
= { distributiva + }
(a + c) ( b + c + c)
34
Resolucin Proposicional
= { idempotencia }
(a + c) ( b + c)
= { neutro +, inverso }
(a + c + b b ) ( b + c + a a )
= { distributiva +, conmutativa + }
(a + b + c) ( a + b + c) (a + b + c)( a + b + c)
= { idempotencia , conmutativa }
( a + b + c) ( a + b + c) (a + b + c)
= { convenio }
3(1,5,7)
Simplificacin.
En estos apuntes se tratan los tres primeros pasos, dejando las tcnicas de implementacin a otros
libros especializados. En cuanto a la simplificacin, existen diversos mtodos dependiendo del tipo de
puertas lgicas disponibles. Uno de los mtodos de simplificacin ms comunes consiste en la aplicacin
reiterada del siguiente teorema de simplificacin
a b c ... + a b c ... = b c ...
Teorema 22 (Simplificacin)
[Dual]
Demostracin.
a b c ... + a b c ...
= { distributiva }
(a + a ) b c ...
= { inverso + }
1 b c ...
= { neutro }
b c ...
Definicin 29: Dos trminos son adyacentes si slo difieren en el valor de una variable. Su representacin
binaria slo diferir en un bit.
A partir del teorema de simplificacin, dos trminos adyacentes pueden agruparse eliminando la variable
respecto a la que difieren y quedando nicamente la parte comn.
Los principales mtodos de simplificacin reiteran este proceso de agrupamiento hasta obtener una
expresin que ya no contenga ms trminos adyacentes.
Ejemplo 39. f = a
b4
cd
+ a4b4
cd
c4
d2
+ a4b4
c3
d f = bd
1
42
3 + a1b4
b
cd
b
c
d
1444442444443
bd
Utilizando las representaciones binarias de los trminos cannicos, los agrupaciones anteriores seran:
35
Resolucin Proposicional
Grupos
11 - 1011
3 - 0011
9 - 1001
1 - 0001
3-11 - X011
1-9 - X001
Uno de los mtodos ms utilizados para funciones de menos de 6 variables es el mtodo de Karnaugh que
permite visualizar los trminos adyacentes en una cuadrcula. Sin embargo, para funciones de un mayor
nmero de variables, el mtodo algebraico ms general es el mtodo de Quine-McCluskey.
Mtodo de Karnaugh
Es un mtodo grfico que visualiza los trminos adyacentes en cuadrculas intentando que dos
trminos adyacentes estn prximos entre s. Los pasos del mtodo son:
1.
Construir una tabla de 2n casillas, siendo n el nmero de variables de la funcin. Cada casilla
corresponder a un trmino cannico, producto o suma. Cada casilla se etiqueta con el trmino
asociado intentando que los trminos adyacentes estn prximos entre s. Cuando esto no es
posible (funciones de ms de tres variables) se disponen los trminos en los lmites de la tabla
y se supone que los trminos de un lmite son adyacentes a los del lmite opuesto. A
continuacin aparecen las tablas para funciones entre 2 y 5 variables con el nmero decimal
asociado a los trminos cannicos.
2 variables, f(a,b)
3 Variables, f(a,b,c)
b
0
bc
a
00
4 Variables, f(a,b,c,d)
01
11
10
5 Variables, f(a,b,c,d,e)
cd
ab
00
01
11
de
bc
00
10
01
11
10
00
00
01
01
12
13
15
14
11
10
11
12
13
15
14
11
10
11
10
10
a=0
bc
de
00
01
36
10
00
16
17
19
18
01
20
21
23
22
11
28
29
31
30
10
24
25
27
26
a=1
Son cuadros adyacentes:
11
Resolucin Proposicional
Ejemplo 40
2.
3.
4. Construir la expresin reducida. Por cada agrupamiento se obtiene una expresin formada por
las variables comunes a los trminos adyacentes.
Nota 1: Para construir grupos mayores pueden utilizarse casillas que ya han sido previamente agrupadas.
Ejemplo:
cd
ab
00 01
11 10
00
01
11
12
13
1 15
14
10
1 11 1 10
Nota 2: Algunas funciones pueden agruparse de varias formas. En dichos casos, existe ms de una
solucin. Ejemplo:
cd
ab
00 01
00
01
11
12
10
cd
ab
00 01
11 10
1
00
01
1 13 1 15
14
11
12
1 10
10
11
37
11 10
1
1 13 1 15
14
11
1 10
Resolucin Proposicional
cd
ab
00 01 11 10
00
01
11
12
10
12
15 1
1 15
14
13
9
3 - 0011
7 - 0111
15 - 1111
11 - 1011
2 - 0010
3 - 0011
11 - 1011
10 - 1010
1 11 1 10
5 - 0101
7 - 0111
3-7 - 0X11
3-7-15-11 - XX11 = cd
15-11 - 1X11
2-3 - 001X
2-3-10-11 - X01Xb=c
10-11 - 101X
a bd
5-7 - 01X1 =
1 - 0001
3 - 0011
9 - 1001
11- 1011
cd
ab
00 01 11 10
00
01 0
02
01
06
11
12
13
10
2 - 0010
3 - 0011
6 - 0110
7 - 0111
0 15 0 14
0 9 0 11
6 - 0110
7 - 0111
14 - 1110
15 - 1111
10
1-3 - 00X1
1-3-9-11 - X0X1 =b + d
9-11 - 10X1
2-3 - 001X
a +c
2-3-6-7 - 0X1X =
6-7 - 011X
6-7 - 011X
14-15 - 111X
Resultado: f ( a, b, c, d ) = ( a + c) (b + c) ( b + d )
Funciones incompletas
Existen funciones que no estn totalmente definidas, llamadas funciones incompletas. Las razones son:
1. Combinaciones de entrada imposibles, pudiendo ser su valor de salida 1 0 indistintamente.
2. Con salidas inhibidas: el valor de salida es indiferente.
En la forma cannica de la funcin se representan de forma separada los trminos indefinidos del resto.
Los trminos indefinidos se agrupan mediante el smbolo .
Ejemplo 42. Sea f(a,b,c,d) = 4(1,3,10,11)+(0,2,4,13)
En la minimizacin de funciones incompletas los valores indefinidos se representan mediante X y
actan como comodines. No es necesario agruparlos, pero, si al agruparlos se obtiene un grupo mayor, se
pueden agrupar.
38
Resolucin Proposicional
cd
ab
00 01 11 10
00 X 0 1 1 1
01 X4
11
12
X13
10
Grupos
X2
15
14
1 11 1 10
0
1
2
3
0000
0001
0010
0011
2 - 0010
3 - 0011
11 - 1011
10 - 1010
Resultado: f ( a, b, c, d ) = b c + ab
39
0-1 - 000X
ab=
0-1-2-3 - 00XX
2-3 - 001X
2-3 - 001X
bc
2-3-10-11 - X01X =
10-11 - 101X
Resolucin Proposicional
Ejercicios
7. Ejercicios
Los siguientes ejercicios se han recopilado de diversas fuentes. Una de las fuentes fundamentales,
ha sido el "Boletn de Ejercicios" ofrecido en la asignatura "Lgica Informtica" de la Escuela Universitaria
de Ingeniera Tcnica Informtica de Gijn.
[1]
[2]
h) no p a menos que q
b) p pero q
i) p slo si q
c) como mnimo p
j) p sin embargo q
d) p no obstante q
k) p suficiente para q
e) q necesario para p
l) p siempre que q
f) q suficiente para p
m) a veces p, siempre q
g) p a pesar de q
n) p a no ser que q
" Si el resultado obtenido es superior al previsto en 5 unidades, ser debido a no haber realizado
el proceso a la temperatura adecuada o a la existencia de errores en los clculos finales."
" El anlisis realizado, innecesario si nos dejamos llevar por la precipitacin, se torna necesario si
nos paramos a reflexionar sobre el mensaje que se pretende transmitir."
" El cncer no lograr curarse a no ser que se logre determinar su causa y se consiga encontrar
frmacos adecuados o bien para prevenirlo o para curarlo."
[3]
a) x + xy + y
b) xy + xyz + y ( x + z ) + y z
c) wx + xy + yz + zw + w xyz + w x yz
d) wxy z + wxyz + wxyz + wxyz + w xyz + w xyz + w x y z + wxyz + wxy z + wxyz
e) vw( x + y + xz ) + v xz ( wy + x ( z + vy ))
[4]
a) Asociativa
b) Conmutativa
c) Existencia de elemento neutro e tal que x e = x
d) Existencia de Inverso (A todo elemento x se le puede hacer corresponder un elemento x$ tal que
x x$ = e
e) Distributiva del Producto respecto a la O-exclusiva: x ( y z ) = xy xz
f) que mediante la O-exclusiva y la funcin AND se pueden realizar las otras dos operaciones
fundamentales del lgebra de Boole: negacin y suma (OR).
40
Resolucin Proposicional
Ejercicios
[5]
Una funcin de tres variables f(a,b,c) debe tomar el valor cero cuando la variable b est a uno y la
variable a no est en estado uno. En los dems casos posibles debe estar en estado uno.
a) Realizar la tabla de verdad de la funcin.
b) Obtener las formas cannicas en forma de suma de productos y producto de sumas.
c) Minimizar dichas expresiones.
[6]
Obtener la expresin algebraica mnima de una funcin lgica de cuatro variables que toma el
valor uno cuando el nmero de variables que estn en estado uno es superior al de las que se encuentran
en estado cero. Nunca pueden estar ms de tres variables en estado uno. Realizar la expresin obtenida
con puertas NOR y NAND.
[7]
[8]
Formalizar el siguiente enunciado donde hemos notado "si p entonces q y en caso contrario r" de
la siguiente forma:
p q; r
- Normalizar dicho enunciado.
- Estudiar la validez de la siguiente frmula en la que se emplea la notacin anterior:
[9]
(( p q) ( p q)) ( ( p ( q r ) ) ( p r ))
(
b) p ( q p ) p
c) ( p q )
[10]
( ( p q) r )
( p ( p q )) p q
b) ( p q) ( r s)
[11]
[12]
[13]
(( p q) r ) s
{ p q, q r , p} r
b)
{ p ( q (r s)), p , s} q
Resolucin Proposicional
Ejercicios
a.-" Si Antonio gan la carrera, entonces Baltasar o Carlos fueron los segundos. Si Baltasar fue
segundo, entonces no gan Antonio. Si Demetrio fue segundo, no lo fue Carlos. Antonio gan la
carrera. Por tanto, Demetrio no fue segundo".
b.-" No llora, re. Si no llora, re slo si tiene un juguete. Nunca tiene un juguete cuando se est riendo
si no come un caramelo. Luego come un caramelo."
c.-" Juan quiere a Mara si y slo si Mara quiere a Juan y promete casarse con l. Mara no quiere a
Juan si Juan no quiere a Mara. Mara promete casarse con Juan si y slo si Juan promete casarse con
Mara. Por tanto, Juan quiere a Mara y Mara no quiere a Juan".
d.-" Si ha nevado ser difcil conducir. Si no es fcil conducir llegar tarde si no salgo temprano. Ha
nevado. Luego saldr temprano. "
e.-" Si no llueve salgo al campo. Si salgo al campo respiro. Por tanto, respiro si y slo si no llueve."
f.-" Si un monte se quema algo tuyo se quema. Algo tuyo se quema si y slo si eres descuidado. Si eres
descuidado no mereces que te feliciten. Por tanto si no mereces que te feliciten entonces es que un monte
se quema."
h.-" Es suficiente whisky para que chocolate. Chocolate si y solo si jamn. No ginebra a menos que
chocolate. Whisky. Es posible afirmar: (1) que bebi ginebra? (2) que no tom chocolate?"
i.-" Si no especifico las condiciones iniciales mi programa no comenzar. habr programado un ciclo
infinito solo si mi programa no termina. Basta que el programa no comience o no finalice para que falle.
De ah que sea necesario no solamente especificar las condiciones iniciales sino tambin no programar
un ciclo infinito para que el programa no falle."
j.-"Si 25 divisiones son suficientes, el general ganar la batalla; por otra parte, o se suministran 3 alas
de apoyo areo tctico, o el general no ganar la batalla. Adems, no es cierto que sean suficientes 25
divisiones y que se vayan a suministrar 3 alas de apoyo areo tctico. Coclusin: no son suficientes 25
divisiones."
42
Resolucin Proposicional
Ejercicios
[15]
Don Juan Tenorio, hizo las siguientes declaraciones, con respecto a las doncellas Ins, Juana y
Mara, que le costaron la vida. Quin o quines son las asesinas?.
" Amo a la ltima de las tres"
" Si amo a Ins pero no a Mara, entonces tambin amo a Juana"
" O amo a Mara y a Juana o no amo a ninguna"
" Si amo a Mara, entonces amo a Ins"
(se supone que la asesina era aqulla a la que Don Juan no amaba)
43
Resolucin Proposicional
Ejercicios
UN TIGRE.
- Suponiendo que los dos carteles siguientes dicen ambos la verdad o mienten ambos. Deducir en qu
habitacin hay una dama, sabiendo, como antes, que puede no haberla.
CARTEL 1
AL MENOS EN UNA DE ESTAS HABITACIONES HAY UNA DAMA
CARTEL 2
HAY UN TIGRE EN LA OTRA HABITACION
44
Lgica proposicional
Soluciones
8. Soluciones
[1]
a) p q
h) p q
b) p q
i) p q
j) p q
c) p
[2]
d) p q
k) p q
e) p q
l) q p
f) q p
m) ( p p) q q
g) p q
n) q p
( q r )
( q p ) (r p )
p = El cncer lograr curarse.
q = Se logra determinar su causa.
r = Se consigue encontrar frmacos adecuados para prevenirlo.
s = Se consigue encontrar frmacos adecuados para curarlo.
( q ( r s )) p p ( q ( r s) )
[3]
a) x + y
b) x + y + z
c) xw + xz + wy
d)
xy + w z + xyz + wyz
e)
[4]
Para realizar las demostraciones se parte de que x y = xy + xy , y se desarrollan las expresiones
resultantes hasta llegar a la demostracin deseada. A continuacin se presentan los primeros pasos de la
demostracin de asociatividad:
45
Lgica proposicional
Soluciones
[5]
[6]
[7]
( p q ) ( p ( ( p1 q1) ( p1 r1)) )
[8]
( p q) ( p r )
[9]
a) NO es vlida, ejemplo p = V, q = V, r = F
b) SI es vlida.
c) NO es vlida, ejemplo p = V, q = V, r = F
[10]
a) Al operar quedara: p p q p V
b) ( p q r ) ( p q s)
[11]
a) p q
b) ( p q s) ( r s )
[13]
c) El razonamiento NO es vlido, ya que puede darse el caso de que ninguno de los dos quiera al
otro, y las premisas seran ciertas, pero la conclusin Falsa.
d) El razonamiento NO es vlido porque puede darse el caso de NO salir temprano y llegar tarde
habiendo nevado y siendo difcil conducir. Cumplindose todas las premisas.
e) NO es vlido, puedo salir al campo, lloviendo y respirar. Luego no se deduce que respire si y
solo si no llueve.
46
Lgica proposicional
Soluciones
f) NO es vlido.
g) NO es correcto.
h) NO se puede deducir ninguna de los dos, ni que bebiese Ginebra ni que no tomase chocolate.
i) El razonamiento ES correcto.
j) El razonamiento ES correcto.
[14]
Ambas expresiones se deducen lgicamente suponiendo que todas las frases sean
Verdaderas, se puede comprobar que slo existe esa posibilidad.
[15]
[16]
Si es Falsa la sentencia "Si el acusado es culpable entonces tena un testigo", por la tabla
de verdad de la implicacin, el antecedente es Verdadero y el consecuente Falso, luego el antecedente es
Verdadero, es decir, el acusado sera culpable.
[17]
[18]
[19]
- La nica forma de que un cartel diga la verdad y otro mienta es que el Cartel 1 mienta y el Cartel 2
diga la verdad. Con lo cual habra un tigre en la habitacin 1 y una dama en la habitacin 2.
- La nica posibilidad es que los dos carteles digan la verdad y habra una dama en la habitacin 2
y un tigre en la habitacin 1.
[20]
S, se sigue que la universidad expenda ttulos de Informtica a partir de las premisas. El
razonamiento es correcto.
47
Lgica proposicional
Bibliografa
Bibliografa
[Abramsky, 92] S. Abramsky, D.M. Gabbay, T.S. Maibaum
Handbook of Logic in Computer Science
Oxford Science Publications
(1992)
(1993)
(1970)
[Burke, 96]
E. Burke, E. Foxley
Logic and its Applications
Prentice Hall Intl.
(1996)
(1990)
[Fitting, 96]
M. Fitting
First-Order Logic and Automated Theorem Proving
Springer-Verlag, 2nd Ed.
(1996)
(1987)
(1996)
[Gries, 94]
[Kelly, 97]
[Maier, 88]
D. Gries, F. B. Schneider
A Logical Approach to Discrete Math
Springer-Verlag
(1994)
J. Kelly
The Essence of Logic
Prentice Hall
(1997)
(1988)
(1988)
(1991)
[Whitesitt, 61]
J. E. Whitesitt
Boolean Algebra and its Applications
Addison-Wesley
(1961)
48
Lgica proposicional
Indice
Indice
A
Absorcin, 24
Alfabeto, 2
lgebra de Boole, 21
lgebra de Boole, 21
lgebra de Boole bivaluada, 22
Algoritmo de resolucin proposicional,
I
Idempotencia, 23
interpretacin, 3
Interpretacin, 5
Involucin, 25
rbol de resolucin, 16
rbol semntico, 6
Asociativa, 24
M
MAXTERM, 28
MINTERM, 28
modelo, 3
L
literal puro, 14
10
C
circuito combinacional, 27
circuito digita, 26
circuitos digitales combinacionales, 21
clusula, 8
clusula cabeza, 15
clusula Horn, 9
clusula inicial, 15
clusulas resolubles, 9
Commutativa, 22
Completud del Algoritmo de Resolucin
Proposicional, 13
Conmutativa, 22
consecuencia lgica, 5
correcto, 5
N
nodo de fallo, 6
nodo de inferencia, 12
nodos de xito, 6
P
Principio de dualidad, 23
producto cannico, 28
pruebas subordinadas, 19
R
razonamiento, 5
regla de resolucin, 9
Resolucin Lineal, 15
Resolucin proposicional, 8
resolvente, 9
resolvente de entrada, 15
D
De Morgan, 26
Distributiva, 22
Dominacin, 23
S
Semntica, 3
Sintaxis, 2
subsuncin, 14
suma cannica, 28
E
Elemento inverso, 22
Elemento neutro, 22
equivalencia lgica, 4
Estrategias de resolucin, 13
T
tabla de verdad, 6
tautologa, 14
Tautologa, 3
teora de la prueba, 18
teora semntica, 18
trmino cannico, 27
F
forma cannica, 28
Forma Clausal, 9
Forma Normal Conjuntiva, 8
Forma Normal Disyuntiva, 8
Formas Normales, 8
Frmula Insatisfacible, 4
Frmula Satisfacible, 4
Frmula Vlida, 3
funcin Booleana, 27
U
Unicidad del complementario, 25
V
valor de una frmula, 3
variable booleana, 27
49