You are on page 1of 20

IX Encuentro Internacional de Didáctica de

la Lógica

Lógica de las Relaciones
José Alfredo Cervantes Guzmán
UMSNH
Coautor: Jesús Rivera
Algebra de Relaciones
 ¿Qué es una Relación?
Podemos entender de manera intuitiva a una relación como una propiedad que liga un
elemento a con otro elemento b
 Algunas Operaciones Fundamentales
Inclusión:




Identidad:

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



Producto:



Complemento:



Relación Universal:



Relación Nula:



) (
ˆ ˆ
def. xSy xRy y x S R v =
) ( y
ˆ ˆ
def. xRy x R ÷ =
) (
ˆ ˆ
def. xSy xRy y x S R . = ·
) ( y
ˆ
x
ˆ
def. y y x x V = . = =

) ( y
ˆ
x
ˆ
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 ÷ +
Simetría.-



Asimetría.-




No Simétrica.-




) )( )( ( 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 relación R tiene exactamente un relacionante.

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

 Relaciones de uno a uno o aquellas en las cuales todos y cada uno de los
relacionantes de una relación R tienen exactamente un relacionado, y todos y
cada uno de los relacionados de la misma relación 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 Lógica Proposicional
y la Lógica de Primer Orden.
 Lenguaje de primer orden L, de un tipo dado. El tipo consta de los símbolos de
predicado, de función y de constante y el resto de los símbolos son comunes a
cualquier lenguaje de primer orden y son:
a) Variables:

b) Cuantificadores:

c) Símbolos 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 interpretación.
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

 Interpretación de términos. Si t es un término del lenguaje L y A es una
estructura interpretación para L y S es una sucesión de elementos de su
universo A, denotamos con la interpretación del termino t en la
estructura con la sucesión de S.

 Satisfacción de fórmulas. Si es una fórmula del lenguaje L, A es una
interpretación para L y S una sucesión de elementos de A, denotamos
para abreviar que la fórmula es satisfecha por la sucesión S en la estructura
A.


, , , A o c = (A )
| |
A
t s
|
] [ s
A | 
|
 Verdad de Tarski. Si es fórmula de L y A es una interpretación para L. con
denotamos que es verdadera en A o que A es modelo de ; es decir que para
toda sucesión S de elementos de A,


 Verdad universal. Si es fórmula de L. Con denotamos que es
universalmente válida, es decir, que para toda interpretación A de L, .
Es decir, es verdadera en toda interpretación de L.


 Consecuencia lógica. Si es un conjunto de fórmulas de L y es una fórmula
de L, con denotamos que es consecuencia lógica de ; es decir,
que para toda interpretación A de L y toda sucesión S de elementos de A, se
cumple lo siguiente: si para toda , entonces .


 Satisfacibilidad. Si es un conjunto de fórmulas de L decimos que es
satisfacible, si hay una interpretación A de L y una sucesión 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, están
dados los predicados, los símbolos de función y las constantes.

 Una fórmula de L se llama un bloque si es una fórmula atómica o es una
cuantificación.
Ejemplos de bloques:
1)Si P es un predicado de n argumentos y son términos,
Es un bloque ya que es una fórmula atómica.
2) Es una cuantificación.
No es un bloque debido hay que hay variables libres.

 Sea E el conjunto de todos los bloques de L.
 Una expresión es una sucesión de símbolos de L.
 Una Proposición se define como:
1)Los bloques son proposiciones
2)Si son proposiciones, entonces
Son proposiciones.
3) Una expresión es una proposición sólo 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 expresión :
es una fórmula es una proposición

 Una valuación es una función v definida sobre el conjunto E y con valores en
{0,1}. Es decir

 Dada una valuación v, definimos su extensión v* sobre todas las fórmulas de
L, como:
|
| |
÷
} 1 , 0 { : ÷ E v
{ }
{ }
*
* *
* * *
* * *
* *
*
* *
*
* *
( ) ( ) si E
v ( ) 1 ( )
( ) máximo 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 interpretación para L: una estructura A y dada una sucesión S de
elementos de A, definimos la valuación asociada









 Lema Sea fórmula cualquiera, A interpretación para L y S una sucesión 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 Tautología es Universalmente
válida. Es decir si , entonces , pero no
inversamente.

Demostración:
Sea . Supongamos que , entonces hay A, S tales que
entonces por Lema, de donde
no es tautología.

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
¬ = ¬ ÷
¬ ~ = ¬ ~
Conclusión
 La comprensión de la Lógica de Relaciones es
fundamental para profundizar en los estudios de Lógica a
nivel medio y superior. Ya que permite conectar con
conceptos vitales de la matemática, tales como las
relaciones de orden y la noción de función, proponiendo un
tratamiento alternativo ya que generalmente se reduce el
estudio de las funciones a sus aspectos numéricos
olvidando la estructura asociada a ella.
 Si nos fijamos más 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
noción de relación isomorfica a través de la representación
grafica de la relación..
Referencias
 Amor. M, José Alfredo. Lógica Proposicional dentro de
la Lógica de premier orden. Serie: Notas de clase,
vínculos matemáticos #113, 1993.Publicaciones del
Departamento de Matematicas de la Facultad de
Ciencias de la UNAM.
 Ferrater Mora, José. Leblane, Hugues. Lógica
Matemática. Fondo de Cultura Económica. 1975.
 Amor. M, José Alfredo. Compacidad en la Lógica de
Primer Orden y su relación con el teorema de
completitud. Facultad de Ciencias UNAM, 2006

Algebra de Relaciones

¿Qué es una Relación? Algunas Operaciones Fundamentales
R  S  def.( x)( y)(xRy  xSy).

Podemos entender de manera intuitiva a una relación como una propiedad que liga un elemento a con otro elemento b

Inclusión:

Identidad:

R  S  def.( x)( y)(xRy  xSy).

x y ( x  x  y  y) ˆˆ Relación Nula:    def. x y ( x  x  y  y) ˆˆ .Suma: R  S  def. x y ( xRy  xSy) ˆˆ Producto: R  S  def. x y ( xRy  xSy) ˆˆ R  def. x y ( xRy) ˆˆ Complemento: Relación Universal:  V  def.

R1 : R  R  Algunas Leyes del Algebra de Relaciones: R12 : ( R  S )  ( S  R) R13 : ( R  S )  ( S  R ) R15a : ( R  S )  ( R  S ) R15b : ( R  S )  ( R  S ) R19 : ( R  S )  ( S  R ) R 20 : ( R  S )  ( R  S )  R2 : ( R  R )    R3 : ( R  R )  V R4 : R  R  R5 :   R  R6 : R  V R7 : ( R  R)  R R8 : ( R  R)  R R10a : ( R  S )  R R10b : ( R  S )  R .

R 21 : ( R  S )  ((R  S )  ( S  R ))   R 22 :   V   R 23 : V     R 24 : V    R 25 : ( R  V )  R   R 26 : ( R      R 27 : ( R   )  R   R 28 : ( R  V )  V .

 Propiedades de las Relaciones Reflexiva.- ( x)( xRx) No Reflexiva.- ( x)(xRx) Irreflexiva.- ( x)( xRx )  ( x)( xRx ) .

- ( x)( y)( xRy  yRx )  ( x)( y )( xRy  ( yRx )) .Simetría.- ( x)( y)(xRy  ( yRx)) No Simétrica.- ( x)( y)(xRy  yRx) Asimetría.

Transitiva.- ( x)( y)(z )((xRy  yRz)  xRz) Intransitiva.- ( x)( y)(z )((xRy  yRz)  ( xRz)) No Transitiva.- ( x)( y)( z )(( xRy  yRz )  xRz )  ( x)( y)( z )(( xRy  yRz )  ( xRz )) .

 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 relación R tiene exactamente un relacionante. Las funciones son relaciones de muchos a uno y de uno a uno. Las funciones constituyen. y todos y cada uno de los relacionados de la misma relación R tienen exactamente un relacionante. Relaciones de muchos a uno o aquellas en las cuales todos y cada uno de los relacionantes de una relación R tiene exactamente un relacionado.   Relaciones de uno a uno o aquellas en las cuales todos y cada uno de los relacionantes de una relación R tienen exactamente un relacionado. un tipo especial de relaciones. .

¿Estructura? A I A .

. .  ). c) Símbolos de Igualdad: d) Conectivos: e) Auxiliares:  . de un tipo dado.Relaciones entre la Lógica Proposicional y la Lógica de Primer Orden. x . . de función y de constante y el resto de los símbolos son comunes a cualquier lenguaje de primer orden y son: a) Variables: x . .. (. '. Lenguaje de primer orden L. El tipo consta de los símbolos de predicado.. x ..  0 1 2 b) Cuantificadores: . .

  Satisfacción de fórmulas. denotamos con t A s la interpretación del termino t en la estructura con la sucesión de S. B. a sus universos. Aquí el tipo corresponde al tipo de lenguaje del cual la estructura es interpretación. Las denotaremos con las letras A. C.   Interpretación de términos.  .  La estructura A es una cuarteta  A  . Si t es un término del lenguaje L y A es una estructura interpretación para L y S es una sucesión de elementos de su universo A.Estructuras Algebraico-Relacionales de un tipo dado.. etc. y respectivamente con las letras latinas A. .. Si  es una fórmula del lenguaje L. denotamos A  [ s ] para abreviar que la fórmula  es satisfecha por la sucesión S en la estructura A. etc. C. A es una interpretación para L y S una sucesión de elementos de A. . B.

Si  es un conjunto de fórmulas de L decimos que  es de satisfacible. es decir. Si  es un conjunto de fórmulas de L y  es una fórmula de L. que para toda interpretación A de L y toda sucesión S de elementos de A. entonces A  [ s ] . tales que para toda  . es verdadera en toda interpretación de L. Si  es fórmula de L y A es una interpretación para L. con A   denotamos que  es verdadera en A o que A es modelo de  . es decir. entonces A   [ s ]. se cumple lo siguiente: si A   [ s ] para toda   . es decir que para toda sucesión S de elementos de A. A   . con    denotamos que  es consecuencia lógica de  . A  [ s ] Verdad universal. que para toda interpretación A de L.   Consecuencia lógica. Verdad de Tarski. Si  es fórmula de L. Es decir. si hay una interpretación A de L y una sucesión S de elementos A.  . Con   denotamos que  es universalmente válida. Satisfacibilidad.

los símbolos de función y las constantes.. fijo pero arbitrario... (   ). (   ). P (t1 . 2) x( Px  Qx) Es una cuantificación.  Sea E el conjunto de todos los bloques de L.. Ejemplos de bloques: 1)Si P es un predicado de n argumentos y t1 . (   ). t n son términos. 3) Una expresión es una proposición sólo si lo es con base en 1) y 2)  ..  Una expresión es una sucesión de símbolos de L.. x( Px)  Qx No es un bloque debido hay que hay variables libres. entonces ( ). están dados los predicados. es decir..Consideremos a L un lenguaje de primer orden. (   ). Una fórmula  de L se llama un bloque si  es una fórmula atómica o es una cuantificación.  son proposiciones.. t n ) Es un bloque ya que es una fórmula atómica. Son proposiciones.  Una Proposición se define como: 1)Los bloques son proposiciones 2)Si  .

como:  v* ( )  v( ) si   E v* ( )  1  v* ( ) v* (   )  máximo v* ( ).1}. Teorema 1 Para cualquier expresión  :  es una fórmula  es una proposición   Una valuación es una función v definida sobre el conjunto E y con valores en {0. v* (  ) v* (   )  minimo v* ( ). v* (  ) 0 si v* ( )  1 y v* (  )  0 v (   )  1 en otro caso 0 si v* ( )  v* (  ) * v (   )  1 si v* ( )  v* (  ) * . definimos su extensión v* sobre todas las fórmulas de L. Es decir v : E  {0.1 } Dada una valuación v.

definimos la valuación asociada vAs : E  {0. Dada una interpretación para L: una estructura A y dada una sucesión S de elementos de A. A interpretación para L y S una sucesión de elementos de A.1} tal que para todo bloque P: 1 si A P[ s] v As(P)  0 si A /  P[s] Es decir: vAs (P)  1 sii A  P[s] Lema Sea  fórmula cualquiera. Entonces: v * As ( )  1 sii A  [s] () .

S tales que Sea  . v As ( )  0 de donde  no es tautología. pero no válida. Contraejemplos para el inverso: (x P( x) x (x  x) P(c)) pero pero / T  (x P( x)  P(c)). entonces inversamente. Es decir si T  . . entonces hay A. Demostración: /   . Supongamos que * A /  [ s ] entonces por Lema. / T  x (x  x). Teorema Principal: Toda Tautología es Universalmente   .

Conclusión   La comprensión de la Lógica de Relaciones es fundamental para profundizar en los estudios de Lógica a nivel medio y superior. llegando en el caso finito a entender de manera clara la noción de relación isomorfica a través de la representación grafica de la relación. Si nos fijamos más en las estructuras tendremos la posibilidad de encontrar similitudes entre distintas relaciones que aparentemente no tienen que ver entre sí. proponiendo un tratamiento alternativo ya que generalmente se reduce el estudio de las funciones a sus aspectos numéricos olvidando la estructura asociada a ella. tales como las relaciones de orden y la noción de función. .. Ya que permite conectar con conceptos vitales de la matemática.

Referencias    Amor. M. José. Fondo de Cultura Económica. Serie: Notas de clase. Lógica Proposicional dentro de la Lógica de premier orden. Compacidad en la Lógica de Primer Orden y su relación con el teorema de completitud. Hugues.Publicaciones del Departamento de Matematicas de la Facultad de Ciencias de la UNAM. Leblane. Amor. 2006 . José Alfredo. Facultad de Ciencias UNAM. Ferrater Mora. 1975. M. vínculos matemáticos #113. Lógica Matemática. 1993. José Alfredo.

7. 5074  .   8 ( 03943.03. 4397.:944J.0854702.0025485.0784   !   ! . /0/43/0  34089.

%   !  F ! .       5074  .

%       .

81:3..8 70.O3 7.5741:3/.9..20394.3/4.43086:0..7829:/0803970/8939.4257038O3/0.34.43.430.80897:.9483:2F7.43 .O3/01:3.O3 57454303/4:3 97.:8O3 .9:7.7.9:7./0#0.7./.. 3...08/0.O.84..4397.703902039034903036:0....424.8:8.97.F8/0.2482E803.07039708J  0.1.307.O3842471.9.00 089:/4/0.//003..902E9...O3/070.430808 1:3/.O3 .9073.9..2.4308/047/03.5.08.70348089:/48/0O.203908070/:.4308.841394.6:00307. 9.6:0507290. 34.70.7......43./0.8 70.03903/07/02.4.020/48:50747 .05948.48 4.850.705708039.2039.5.9.0../. $3481.3/4030..0897:.8903/70248.. 548-/.

//003./0 .O.:482.../03.902.902E9.80  .!74548..902E9..8& . 48F 0-.8/0.../03974/0 .. ..#010703.425099:/ .//0 03.J3.30 ::08 O.9./0 !7207 7/038:70..8&   .79..90747.43.4308/0 05..:9..:9. 43/4/0:9:7.43O2.48  !:-.425099:/ .& 077...  247  48F170/4 425.O.430904702....:9...8/0./057020747/03 $07049.//003.O3./..8/0.20394/0.8 247  48F170/4 O..