Cuantificadores, ejemplo 2

Abstract

En este vídeo se presenta un ejemplo de validación de una proposición cuantificada con dos cuantificadores anidados de la forma “para todo” “existe”. En él se da una argumentación que verifica que dicha proposición es verdadera.

This video presents an example of validation of a quantified proposition with two nested quantifiers of the form "for everything" "exists". There is an argument that verifies that this proposition is true.