Definición de Corrección y consistencia, y Completitud: 

  • Corrección:

Modificación que se hace en una cosa o a una persona para corregir sus faltas, errores, defectos o imperfecciones.

  • Consistencia:
Cualidad de la materia que resiste sin romperse ni deformarse fácilmente

  • Completitud:
En meta-lógica, la completitud semántica es la propiedad metateórica que tienen los sistemas formales cuando todas las fórmulas lógicamente válidas (todas las verdades lógicas) del sistema son además teoremas del sistema.​ Es decir, cuando el conjunto de las verdades lógicas del sistema es un subconjunto del conjunto de teoremas.

Comentarios

Entradas populares de este blog