Examen Diciembre 2020-Ej 2b

Examen Diciembre 2020-Ej 2b

de Michel Ezequiel Guerrero Da Silva -
Número de respuestas: 1

Buenas tardes, no entiendo su solución en este ejercicio:


Ya que se toman Gama como el vacío, pero Gama no debía ser fi o mpsi?
O al decir que está incluido y no incluido estrictamente, puede ser el vacío?

En mi caso llegué a que fue falsa, pero trabajé con valores genéricos y utilicé la definición de valuación, pero al ver su solución, no entendí esa parte.

Saludos y gracias!

En respuesta a Michel Ezequiel Guerrero Da Silva

Re: Examen Diciembre 2020-Ej 2b

de Guillermo Calderon - InCo -
Hola:
El conjunto vacío está incluido en cualquier otro conjunto (inclusión amplia o estricta).

Cuando probás que una afirmación con cuantificación universal es falsa, se recomienda hacerlo a través de un contra ejemplo, es decir encontrar un caso que no cumpla con lo pedido. Un razonamiento genérico en general se usa para probar que es verdadera la cuantificación.