Validación de proposiciones cuantificadas, ejemplo 3 parte b

Abstract

En 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 “existe” - “para todo”.

In this video it is the first part of a validated exercise of a quantified proposition in which finite sets are involved. This proposition is of the form "exists" - "for everything".