martes, 18 de septiembre de 2012

Demostraciones de Validez

Para la tarea 5 trabajare con demostraciones de validez para esto utilizare el ejemplo 4.19 de The World According to Predicate Logic.

El ejercicio es el siguiente 

The formula  

expresses transitivity of the relation R. Which of the following relations are transitive:

(1) being an ancestor of . . . on the set of human beings,
(2) being a parent of . . . on the set of human beings,
(3) the ‘less than’ relation < on the natural numbers,

**La formula
expresa la transitividad de la relación R. ¿Cuál de las siguientes relaciones son transitivas:

(1) ser un antepasado de. . . en el conjunto de los seres humanos,
(2) ser un padre de. . . en el conjunto de los seres humanos,
(3) la 'menor que' <en relación con los números naturales ** 


Tomando en cuenta que la relacion transitiva se cumple cuando:  "un elemento se relaciona con otro y éste último con un tercero, entonces el primero se relaciona con el tercero"*

El primer inciso sera Transitivo esto es porque existe una relación con el conjunto de seres humanos y sus antepasados.Tanto uno puede tener relación con uno como otro.

Para el segundo inciso un padre podría ser padre de cualquier de los siguientes seres. 

En el tercer inciso si es una relacion transitiva ya que se puede tener "menor que" en cualquier de los siguientes numeros naturales. 





Referencias:

2 comentarios:

  1. La conclusión de la segunda no queda muy claramente negativa (-1); la primera y la segunda están correctamente identificadas como transitivas. 9 pts.

    ResponderEliminar