Usuario:Fercho/temas 1
Introducción al cálculo de predicados
COMPONENTES SINTÁCTICOS DEL PREDICADO
El Universo Del Discurso, Predicado, Variables libres, variables ligadas, Particularizaciones (casos o ejemplares), Cuantificadores (universal, existencial), Restricciones de los cuantificadores a ciertos grupos.
INTERPRETACIONES Y VALIDEZ
Interpretaciones, Validez, Demostraciones.
DERIVACIONES
Particularización universal, Generalización universal, Teorema de la deducción y la generalización universal, Eliminación de cuantificadores universales, Generalización existencial, Particularización existencial.