Funciones Proposicionales (Lógica de Predicados)

Se explica qué es una función proposicional o predicado, cuantificador universal y cuantificador existencial. Ejemplos de simbolización de proposiciones con cuantificadores, negación. Proposiciones con dos o más cuantificadores. FE DE ERRATAS: En el min 7:42 en la segunda proposición falta la negación de Q(x), o sea debería ser: Para todo x: P(x) entonces Q(x)