Estrategias de Demostracin (Pt 2)

en Clculo Cuantificacional

Creado por:

PhD (c) Javier Fernando Bota Valderrama

Dept. de Ingeniera de Sistemas
Universidad de Antioquia UdeA

Abril de 2016
 Estrategias de Demostracin: FNC y FND en
Clculo Cuantificacional

Se utiliza el mismo proceso de resolucin visto en el

clculo proposicional

Se considera el mismo algoritmo para convertir una fbf a

una FNC o FND o FNCP o FNDP

Sin embargo, las conjunciones y disyunciones elementales,

as como los mintrminos y los maxtrminos van a estar
expresados en trminos de cuantificadores universales y
existenciales

Y hace necesario considerar las reglas de especificacin y

de generalizacin
 ALGORITMO para obtener una FNC o FND (Clculo
Cuantificacional)

Paso 1 Transformar los conectores , , a sus respectivas

abreviaturas , ,

Paso 2 Si el conector esta presente antes o en una parte de la

frmula, se aplica la ley de Morgan, de tal manera que el
conector se coloca nicamente antes de cada variable.
(P(c) Q(c)) P(c) Q(c)
(P(c) Q(c)) P(c) Q(c)
( x) P(x) (x) P(x)
(x) P(x) ( x) P(x)
(x) P(x) ( x) P(x)
( x) P(x) (x) P(x)

La ley de la negacin anidada

tambin se utiliza
 ALGORITMO para obtener una FNC o FND (Clculo
Cuantificacional)
Paso 3 Establecer los nombres para las variables de predicados que
pertenezcan a diferentes cuantificadores, a si sea del mismo
predicado.

(x) P(x) (x) P(x) (x) P(x) ( y) P(y)

Paso 4 Si es necesario, se aplica las leyes de Idempotencia,

Distributiva, y Asociativa para facilitar la demostracin
con y sin cuantificador.

Paso 5 Eliminar los cuantificadores Existenciales de la siguiente

forma:

( x) P(x) P(c)
O tambin como:
 ALGORITMO para obtener una FNC o FND (Clculo
Cuantificacional)

Paso 5 O tambin como:

(u) (v) (w) (x) (y) (z) P(u, v, w, x, y, z)

(v) (w) (y) P(c, v, w, f(v, w), y, g(v, w, y))

Trmino Funcin que Funcin que

Constante depende de dos depende de tres
variables variables

donde ,

u=c
x = f(v, w)
z = g(v, w, y)
 ALGORITMO para obtener una FNC o FND (Clculo
Cuantificacional)

Paso 6 Convertir cada fbf del paso 5 a una forma especial llamada
QM o conocida como Forma Normal de Skolem (FNS),
siendo:
Q = conjunto o secuencia de cuantificadores universales
M = matriz que contiene una fbf resolvente luego de
trasladar los cuantificadores hacia Q

P(c, v, w, f(v, w), y, g(v, w, y))

(v) (w) (y) R(c, v, w, f(v, w), y, g(v, w, y))

S(c, v, w, f(v, w), y, g(v, w, y))

 ALGORITMO para obtener una FNC o FND (Clculo
Cuantificacional)

Paso 7 Volver a aplicar las leyes de Idempotencia, Distributiva,

y Asociativa en cada matriz M, convirtiendo cada fbf a una
expresin con disyunciones o con conjunciones
elementales.

Paso 8 Transformar la matriz a una GU de tal forma que trabaje

las fbfs como en el clculo proposicional. Luego, elimine
los cuantificadores Universales que ya no son
necesarios.

Paso 9 Eliminar las conjunciones (FNC) o disyunciones (FND)

elementales que se repiten en cada matriz M

NOTA: El algoritmo presentado es compatible con el mtodo por

contradiccin
 Ejemplos de FNC o FND
Demostrar la validez de la siguiente proposicin mediante FNC
por medio de FNS.

( x) (P(x)
( y) (Q(y) R(x,y)), ( y) (S(y)
( x) (P(x)
( y) (Q(y) S(y))
R(x ,y)))

Demostracin:

1) ( y) (Q(y) S(y)) Negacin de la conclusin

2) (( y) Q(y) ( y) S(y)) Implicacin Universal en 1)
3) (Q(d) S(d)) EU en 2)
4) ( Q(d) S(d)) Abreviatura de en 3)
5) Q(d) S(d) Morgan en 4)
6) Q(d) S(d) Doble Negacin en 5)
7) ( x) (P(x) ( y) (Q(y) R(x,y)) Hiptesis 1
8) ( x) P(x) ( x)( y) (Q(y) R(x,y)) Disyuncin Existencial en 7)
 Ejemplos de FNC o FND
9) P(c) ( x) (y)(Q(y) R(x,y)) EE en 8)
10) P(c) ( y)(Q(y) R(c,y)) Eliminacin de en 9)
11) P(c) ( y)( Q(y) R(c,y)) Abreviatura de en 10)
12) ( y) (P(c) ( Q(y) R(c,y))) FNS en 11)
13) ( x) (P(x) ( y) (S(y) R(x ,y))) Hiptesis 2
14) ( x) ( y) (P(x) (S(y) R(x ,y))) FNS en 13)
15) ( x) ( y) (P(x) ( S(y) R(x ,y))) Abreviatura de en
14)
16) ( x) ( y) ( P(x) ( S(y) R(x ,y))) Abreviatura de en
15)
Considere las FNS o QM obtenidas, y defina como sigue:

Q1 : No hay M1 : Q(d) S(d)

Q2 : (y) M2 : P(c) ( Q(y) R(c,y))
Q3 : (x) (y) M3 : P(x) ( S(y) R(x ,y))
 Ejemplos de FNC o FND
Usando el Paso 8, solo consideramos M

M1 : Q(d) S(d)
M2 : P(c) ( Q(y) R(c,y))
M3 : P(x) ( S(y) R(x ,y))

Usando el Paso 9 y como se desea en FNC, se ignora los y se

convierte en un smbolo de extra-calculo , .

M1 : { Q(d), S(d) }
M2 : { P(c), ( Q(y) R(c,y)) }
M3 : { P(x) ( S(y) R(x ,y)) }

Hasta este punto, tenemos la representacin FNC del clculo

cuantificacional. A partir de M, se puede demostrar la validez de la
proposicin dada al inicio del ejercicio.
 Ejemplos de FNC o FND
M1 : { Q(d), S(d) }
M2 : { P(c), Q(y) R(c,y) }
M3 : { P(x) ( S(y) R(x ,y)) }

Se define las siguientes hiptesis:

Q(d) Hiptesis Nueva 1

S(d) Hiptesis Nueva 2
P(c) Hiptesis Nueva 3
Q(y) R(c,y) Hiptesis Nueva 4
P(x) ( S(y) R(x ,y)) Hiptesis Nueva 5
 Ejemplos de FNC o FND
1) Q(d) Hiptesis Nueva 1
2) S(d) Hiptesis Nueva 2
3) P(c) Hiptesis Nueva 3
4) Q(y) R(c,y) Hiptesis Nueva 4
5) P(x) ( S(y) R(x ,y)) Hiptesis Nueva 5
6) Q(d) R(c, d) Ley de simetra en 4)
7) P(c) ( S(d) R(c,d)) Ley de simetra en 5)
8) Q(d) Q(d) R(c, d) Conjuncin 1) y 6)
9) 0 R(c, d) Quine en 8)
10) R(c, d) Quine en 9)
11) P(c) P(c) ( S(d) R(c,d)) Conjuncin 3) y 7)
12) 0 ( S(d) R(c,d)) Quine en 11)
13) S(d) R(c,d) Quine en 12)
14) S(d) S(d) R(c,d) Conjuncin 2) y 13)
15) R(c,d) Quine en 14)
16) R(c,d) R(c, d) Conjuncin 10) y 15)
17) 0 Contradiccin en 16)
 Ejemplos de FNC o FND

Cmo se podra demostrar el slide

17, usando resolucin y unificacin?
 PROXIMAMENTE

TEORA DE CONJUNTOS, RELACIONES

ENTRE CONJUNTOS Y FUNCIONES
 MUCHAS GRACIAS POR SU ATENCIN ESTUDIANTES DE
MATEMTICAS DISCRETAS
Skolem tends to treat general problems by concrete examples. He often
seemed to present proofs in the same order as he came to discover them. This
results in a fresh informality as well as a certain inconclusiveness. Many of his
papers strike one as progress reports. Yet his ideas are often pregnant and
potentially capable of wide application. He was very much a 'free spirit': he did
not belong to any school, he did not found a school of his own, he did
not usually make heavy use of known results... he was very much an
innovator and most of his papers can be read and understood by those without
much specialized knowledge. It seems quite likely that if he were young

today, logic... would not have appealed to him .

Hao Wang
Skolems Accomplishments, 1970

THANK YOU FOR YOUR ATTENTION STUDENTS OF DISCRETE

MATHEMATICS