Edición de «Práctica 6 (LyC Verano)»
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 97: | Línea 97: | ||
*El maximo: Tomo la conjuncion de las negaciones de todos los predicados anteriores. Hay un solo elemento que la cumple, y es este. | *El maximo: Tomo la conjuncion de las negaciones de todos los predicados anteriores. Hay un solo elemento que la cumple, y es este. | ||
==Ejercicio | ==Ejercicio 11== | ||
Probar que si el universo de una interpretacion es finito con n+1 elementos, y tiene la propiedad que n elementos del universo son distinguibles, entonces todos los elementos son distinguibles. | Probar que si el universo de una interpretacion es finito con n+1 elementos, y tiene la propiedad que n elementos del universo son distinguibles, entonces todos los elementos son distinguibles. |