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.