Notas 1-La lógica de predicados y su lenguaje Ámbito de un cuantificador Constante (Predicado) Cuantificadores (Predicado) Dominio de una variable Formalización con predicados Lógica de predicados Predicado 2-La Deducción natural Regla de Eliminación del cuantificador existencial (E∃) Regla de eliminación del cuantificador universal (E∀) Regla de Introducción del cuantificador existencial (I∃) Regla de Introducción del cuantificador universal (I∀)