Cuando se establecen propiedades y elementos que las cumplen, aparecen una serie

de definiciones que son necesario conocer

Conjuntos
Conjunto universal, los valores sobre los que definimos todas las propiedades. Se
denota por U o E
conjunto sobre el que se define una propiedad, se identifica como la propiedad.
Ejemplo P 0, 1, 3

Predicados
Tomemos por ejemplo el conjunto de los nmeros enteros
. . . , 5, 4, 3, 2, 1, 0, 1, 2, , 3, 4, . . . en dicho conjunto podemos establecer la propiedad
ser divisible por dos, que llamamos P.
Se define un predicado sobre el conjunto " el elemento x cumple la propiedad x" la
representamos por P x
P x puede tomar el valor verdadero o falso, en el ejemplo anterior P 7 seria falso,
mientras que P 10 seria verdadero.

Cuantificadores.
Sea C un conjunto y P un predicado sobre C, se considera el conjunto donde se
verifica P: C p x C : P x
Cuantificador universal
representa que cualquier elemento del conjunto, se lee "para cada", "para todo", "todo",
"cada", "cualquiera que sean".
si para cada x C se satisface P x , escribimos x CP x , cuando no hay ambiguedad
(casi siempre), se escribir xP x
Nota:
El cuantificador universal es la generalizacin de la condicin de la siguente forma:
Supongamos que C sea un conjunto finito, por ejemplo 2, 4, 6, entonces xP x equivale
a P1 P2 P3
Cuantificador existencial
representa un elemento del conjunto, se lee "existe", "existe al menos" un elemento x
de C
si existe un elemento a C que cumple P a , escribimos x CP x que se lee, existe al
menos un elemento x de C que satisface P; si no hay ambiguedad (casi siempre) se
escribir xP x
Nota:
El cuantificador existencial es la generalizacin de la condicin de la siguente forma:
Supongamos que C sea un conjunto finito, por ejemplo 2, 4, 6, entonces xP x equivale
a P1 P2 P3

Relaciones entre los cuantificadores

la negacin de predicados con cuantificadores
xP x xP x
xP x xP x

Tableau para demostrar la satisfacibilidad o

insatisfacibilidad de un conjunto de proposiciones
Ver cuadro en la hoja aparte
1

Tenemos dos tipos de uniones entre las proposiciones, las de tipo (conjuntivas ) y las
de tipo (disjuntivas)
las de tipo se descomponen en forma lineal

2
mientras que las de tipo se separan en forma de ramas de rbol

nota: siempre se separan primero las de tipo , y en el desarrollo se desarrolla siempre

de izquierda a derecha.

Ejemplo. (sin cuantificadores)

es satisfacible X 1 , X 2 , X 3 ? esto es equivalente a preguntarnos si hay un valor de
verdad.
X 1 : p q r
X 2 : p q p q
X 3 : p q r

X 1 : p q r
X 2 : p q p q
X 3 : p q r

p q

No

p q p q

No

No

como en todas las ramas se obtiene contradiccin, es insatisfacible; corresponderia a

que en la tabla de verdad se obtuvieran todo ceros.