Parte 3.

[jalliende]

En la pregunta 3 parte a cuando nos piden realizar el algoritmo para un head de uno a dos elementos podemos referirnos a ellos como elemento1 y elemento2 o necesariamente debemos "encontrarlos" a través de operaciones de conjuntos?

[jalliende]

y en la parte 2 a, se pide mostrar que el modelo obtenido no es correcto, pero este código no obtiene un modelo sino que se propone un modelo y retorna true o false. Entonces en verdad debemos mostrar un modelo que retorne false y debería retornar true, o viceversa? o estoy entendiendo mal la pregunta? Lo mismo para la parte b. Muchas gracias de antemano.

[jabaier]

Sobre tu primera pregunta: puedes llamar a los elementos como quieras, pero debes tener en cuenta que pueden existir múltiples reglas que contengan dos elementos en la cabeza. Sobre la segunda pregunta, debes, a través de un contraejemplo, mostrar que la definición no es correcta respecto de cómo sabemos funcionan las restricciones de cardinalidad.