Usuario:Fercho/temas 1

De Wikilibros, la colección de libros de texto de contenido libre.

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.

Obtenido de «https://es.wikibooks.org/w/index.php?title=Usuario:Fercho/temas_1&oldid=18620»