Descargar número completo (5,95 MB) - Eikasia

Pérez Herranz, Fernando-M.: «Lenguaje e intuición espacial»
ningún par de elementos excepto si ambos son el mismo. Además, no se requiere que
(x,x) o (y,y) pertenezca a la relación. R es Antisimétrica síi:)
{(x,y) | (x,y) ∈ R y (y,x) ∈ R, entonces x = y}.
El hijo único. Sea el Conjunto A = (a,b,c,d) y la relación R'" = ((a,a), (a,el),
(b,a), (b,c), (d,c)). Esta relación es «antisimétrica» porque R 1 " no contiene ninguna
pareja tal como (a,c) y (c,a)... pero sí (a,a) [Fig. 1.3].
Definición 1.7. Una relación R en A es «transitiva» cuando para cualquier
elemento x,y,z, que pertenece a A, se verifica que si (x,y) ∈ R y (y,z) ∈ R, entonces (x,z)
∈ R. R es transitiva Fig. 1.3 Antisimétrica síi l(x,y,z)l (x,y) ∈ R y (y,z) ∈ R, entonces
(x,z) ∈ R).
Al fin encontramos la relación que nos está sirviendo de ejemplo: «Ser
antepasado de». Sea el conjunto A = (a,b,c) y la relación R iv = {(a,a), (a,b), (a,c), (b,b),
(b,a), (b,c), (c,a), (c,b), (c,c)}. Esta relación es Transitiva porque si contiene (a,b) y
(b,c), entonces contiene (a,c), etc.
[Fig. 1.4].
138 Eikasia. Revista de Filosofía, año VI, 36 (enero 2011). http://www.revistadefilosofia.com