Edición de «Segundo Parcial 1er Cuat 2016 (Paradigmas)»
De Cuba-Wiki
Puedes deshacer la edición. Antes de deshacer la edición, comprueba la siguiente comparación para verificar que realmente es lo que quieres hacer, y entonces publica los cambios para así efectuar la reversión.
Revisión actual | Tu texto | ||
Línea 39: | Línea 39: | ||
*1) <math>\forall t_1 \forall t_2 subclase(t_1, t_2) \implies subtipo(t_1, t_2)</math> | *1) <math>\forall t_1 \forall t_2 subclase(t_1, t_2) \implies subtipo(t_1, t_2)</math> | ||
*2) <math>\forall t_1 subclase(t_1, t_1)</math> | *2) <math>\forall t_1 subclase(t_1, t_1)</math> | ||
*3) <math>\forall t_1 \forall t_2 (\exists t_3 subclase | *3) <math>\forall t_1 \forall t_2 (\exists t_3 subclase t_3, t_2 \wedge extiende(t_1, t_3)) \implies subclase(t_1, t_2)</math> | ||
*4) <math>extiende(perro, animal)</math> | *4) <math>extiende(perro, animal)</math> | ||
*GOAL) <math>\forall x \neg subtipo(perro, x)</math> | *GOAL) <math>\forall x \neg subtipo(perro, x)</math> |