Significado de las palabras:
- 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: Requisito que se presenta a las teorías estructuradas; consiste en que, en un sistema dado, han de ser demostradas 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.
Comentarios
Publicar un comentario