IX Encuentro Internacional de Didctica de

la Lgica

Lgica de las Relaciones
Jos Alfredo Cervantes Guzmn
UMSNH
Coautor: Jess Rivera
Algebra de Relaciones
Qu es una Relacin?
Podemos entender de manera intuitiva a una relacin como una propiedad que liga un
elemento a con otro elemento b
Algunas Operaciones Fundamentales
Inclusin:




Identidad:

). )( )( ( def. xSy xRy y x S R = =
). )( )( ( def. xSy xRy y x S R = c
Suma:



Producto:



Complemento:



Relacin Universal:



Relacin Nula:



) (

def. xSy xRy y x S R v =
) ( y

def. xRy x R =
) (

def. xSy xRy y x S R . =
) ( y

def. y y x x V = . = =

) ( y

def. y y x x = . = = A

Algunas Leyes del Algebra de Relaciones:

R S R b R
R S R a R
R R R R
R R R R
V R R
R R
R R R
V R R R
R R R
R R R
c
c
=
=
c
c A
c
=
A =
=
) ( : 10
) ( : 10
) ( : 8
) ( : 7
: 6
: 5
: 4
) ( : 3
) ( : 2
: 1

) ( ) ( : 20
) ( ) ( : 19
) ( ) ( : 15
) ( ) ( : 15
) ( ) ( : 13
) ( ) ( : 12
S R S R R
R S S R R
S R S R b R
S R S R a R
R S S R R
R S S R R
= =
c c
=
=
=
=

V V R R
R R R
R R
R V R R
V R
V R
V R
R S S R S R R

=
= A
A = A
=
A =
A =
= A
c . c =
) ( : 28
) ( : 27
( : 26
) ( : 25
: 24
: 23
: 22
)) ( ) (( ) ( : 21
Propiedades de las Relaciones
Reflexiva.-




Irreflexiva.-



No Reflexiva.-
) )( ( xRx x
) ( ) ( xRx x
) ( ) ( ) )( ( xRx x xRx x +
Simetra.-



Asimetra.-




No Simtrica.-




) )( )( ( yRx xRy y x
)) ( )( )( ( yRx xRy y x
)) ( )( )( ( ) )( )( ( yRx xRy y x yRx xRy y x +
Transitiva.-



Intransitiva.-




No Transitiva.-
) ) )(( )( )( ( xRz yRz xRy z y x .
)) ( ) )(( )( )( ( xRz yRz xRy z y x .
)) ( ) )(( )( )( ( ) ) )(( )( )( ( xRz yRz xRy z y x xRz yRz xRy z y x . + .
Funciones

En un esquema relacional xRy llamaremos a x relacionante y a y relacionado.
Estableceremos tres clases de relaciones:

Relaciones de uno a muchos o aquellas en las cuales todo y cada uno de los
relacionados de una relacin R tiene exactamente un relacionante.

Relaciones de muchos a uno o aquellas en las cuales todos y cada uno de los
relacionantes de una relacin R tiene exactamente un relacionado.

Relaciones de uno a uno o aquellas en las cuales todos y cada uno de los
relacionantes de una relacin R tienen exactamente un relacionado, y todos y
cada uno de los relacionados de la misma relacin R tienen exactamente un
relacionante.

Las funciones son relaciones de muchos a uno y de uno a uno. Las funciones
constituyen, un tipo especial de relaciones.
Estructura?



I
A
A
Relaciones entre la Lgica Proposicional
y la Lgica de Primer Orden.
Lenguaje de primer orden L, de un tipo dado. El tipo consta de los smbolos de
predicado, de funcin y de constante y el resto de los smbolos son comunes a
cualquier lenguaje de primer orden y son:
a) Variables:

b) Cuantificadores:

c) Smbolos de Igualdad:

d) Conectivos:

e) Auxiliares:
0 1 2
, , ,... x x x
, . -
~
, , , , . v
), (, '.
Estructuras Algebraico-Relacionales de un tipo dado.
Aqu el tipo corresponde al tipo de lenguaje del cual la estructura es interpretacin.
Las denotaremos con las letras A, B, C, etc.; y respectivamente con las letras
latinas A, B, C, etc., a sus universos.

La estructura A es una cuarteta

Interpretacin de trminos. Si t es un trmino del lenguaje L y A es una
estructura interpretacin para L y S es una sucesin de elementos de su
universo A, denotamos con la interpretacin del termino t en la
estructura con la sucesin de S.

Satisfaccin de frmulas. Si es una frmula del lenguaje L, A es una
interpretacin para L y S una sucesin de elementos de A, denotamos
para abreviar que la frmula es satisfecha por la sucesin S en la estructura
A.


, , , A o c = (A )
| |
A
t s
|
] [ s
A |
|
Verdad de Tarski. Si es frmula de L y A es una interpretacin para L. con
denotamos que es verdadera en A o que A es modelo de ; es decir que para
toda sucesin S de elementos de A,


Verdad universal. Si es frmula de L. Con denotamos que es
universalmente vlida, es decir, que para toda interpretacin A de L, .
Es decir, es verdadera en toda interpretacin de L.


Consecuencia lgica. Si es un conjunto de frmulas de L y es una frmula
de L, con denotamos que es consecuencia lgica de ; es decir,
que para toda interpretacin A de L y toda sucesin S de elementos de A, se
cumple lo siguiente: si para toda , entonces .


Satisfacibilidad. Si es un conjunto de frmulas de L decimos que es
satisfacible, si hay una interpretacin A de L y una sucesin S de elementos de
A, tales que para toda , entonces .
| | A
| |
] [ s
A |
|
|
|
| A
|
E
|
| |
E
oeE
] [ s
A o
] [ s
A |
E
E
oeE
] [ s
A o
Consideremos a L un lenguaje de primer orden, fijo pero arbitrario; es decir, estn
dados los predicados, los smbolos de funcin y las constantes.

Una frmula de L se llama un bloque si es una frmula atmica o es una
cuantificacin.
Ejemplos de bloques:
1)Si P es un predicado de n argumentos y son trminos,
Es un bloque ya que es una frmula atmica.
2) Es una cuantificacin.
No es un bloque debido hay que hay variables libres.

Sea E el conjunto de todos los bloques de L.
Una expresin es una sucesin de smbolos de L.
Una Proposicin se define como:
1)Los bloques son proposiciones
2)Si son proposiciones, entonces
Son proposiciones.
3) Una expresin es una proposicin slo si lo es con base en 1) y 2)
| |
n
t t ,...,
1
) ,..., (
1 n
t t P
) ( Qx Px x
Qx Px x v ) (
, o |
( ), ( ), ( ), ( ), ( ), o o | o | o | o | v .
Teorema 1 Para cualquier expresin :
es una frmula es una proposicin

Una valuacin es una funcin v definida sobre el conjunto E y con valores en
{0,1}. Es decir

Dada una valuacin v, definimos su extensin v* sobre todas las frmulas de
L, como:
|
| |

} 1 , 0 { : E v
{ }
{ }
*
* *
* * *
* * *
* *
*
* *
*
* *
( ) ( ) si E
v ( ) 1 ( )
( ) mximo v ( ), ( )
( ) minimo v ( ), ( )
0 si v ( ) 1 y v ( ) 0
( )
1 en otro caso
0 si v ( ) ( )
( )
1 si v ( ) ( )
v v
v
v v
v v
v
v
v
v
o o o
o o
o | o |
o | o |
o |
o |
o |
o |
o |
= e
=
v =
. =
= =
=
=
=
=
Dada una interpretacin para L: una estructura A y dada una sucesin S de
elementos de A, definimos la valuacin asociada









Lema Sea frmula cualquiera, A interpretacin para L y S una sucesin de
elementos de A. Entonces:
As(P)
(P) [s]
: {0,1} tal que para todo bloque P:
1 si P[ ]
v
0 si / P[ ]
Es decir:
1 sii P
As
As
v E
A s
A s
v A

=
=
=
|
*
s
( ) 1 sii [s] ( )
A
v A | | =
Teorema Principal: Toda Tautologa es Universalmente
vlida. Es decir si , entonces , pero no
inversamente.

Demostracin:
Sea . Supongamos que , entonces hay A, S tales que
entonces por Lema, de donde
no es tautologa.

Contraejemplos para el inverso:

T
|
|
|
/ | =
[ ]
/
s
A | =
*
s
( ) 0
A
v | =
|
T
T
( P( ) P( )) pero / ( P( ) P( )).
( ) pero / ( ).
x x c x x c
x x x x x x
=
~ = ~
Conclusin
La comprensin de la Lgica de Relaciones es
fundamental para profundizar en los estudios de Lgica a
nivel medio y superior. Ya que permite conectar con
conceptos vitales de la matemtica, tales como las
relaciones de orden y la nocin de funcin, proponiendo un
tratamiento alternativo ya que generalmente se reduce el
estudio de las funciones a sus aspectos numricos
olvidando la estructura asociada a ella.
Si nos fijamos ms en las estructuras tendremos la
posibilidad de encontrar similitudes entre distintas
relaciones que aparentemente no tienen que ver entre s,
llegando en el caso finito a entender de manera clara la
nocin de relacin isomorfica a travs de la representacin
grafica de la relacin..
Referencias
Amor. M, Jos Alfredo. Lgica Proposicional dentro de
la Lgica de premier orden. Serie: Notas de clase,
vnculos matemticos #113, 1993.Publicaciones del
Departamento de Matematicas de la Facultad de
Ciencias de la UNAM.
Ferrater Mora, Jos. Leblane, Hugues. Lgica
Matemtica. Fondo de Cultura Econmica. 1975.
Amor. M, Jos Alfredo. Compacidad en la Lgica de
Primer Orden y su relacin con el teorema de
completitud. Facultad de Ciencias UNAM, 2006