Corrección: es una característica de las operaciones lógicas y denota que dichas operaciones están en consonancia con las leyes y reglas de la lógica.
Completitud: consiste en que, en un sistema dado, han de ser demostradas (es decir, inferidas de axiomas) todas las proposiciones verdaderas de la teoría.
Consistencia: es la propiedad que tienen los sistemas formales cuando no es posible deducir una contradicción dentro del sistema.
No hay comentarios:
Publicar un comentario