Validación de proposiciones cuantificadas, ejemplo 3, parte a

Este vídeo es la primera parte de un ejercicio de validación de una proposición cuantificada en la cual se involucran conjuntos finitos. Esta proposición es de la forma “para todo” - “existe”.

Autor Principal: Chavarría-Molina, Jeffry
Formato: Otro
Idioma: Español
Publicado: 2019
Materias:
Acceso en línea: https://www.youtube.com/watch?v=0hPYtw7-2Ts&list=PLkzvG4knsNz8tbQ5rDrhRSAdl0S0vr6YZ&index=39
https://hdl.handle.net/2238/11133
Sumario: Este vídeo es la primera parte de un ejercicio de validación de una proposición cuantificada en la cual se involucran conjuntos finitos. Esta proposición es de la forma “para todo” - “existe”.