Please enable JavaScript.
Coggle requires JavaScript to display documents.
LOGICA (Teoría de la implicación entre premisas y conclusión (La…
LOGICA
-
-
-
Lenguaje lógica primer orden: variables, conectivas, cuantificadores, constantes, predicados, identidad, paréntesis.
Cálculos lógicos amplían cálculo lógica enunciados para cuantificadores, identidad.
Propiedades: Corrección, Completud, Compacidad, Finitud, Skolem, Lindström.