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

Entradas populares de este blog