-Completitud: 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.
-Consistencia: En metalógica, la consistencia o consistencia lógica es la propiedad que tienen los sistemas formales cuando no es posible deducir una contradicción dentro del sistema. Es decir, dado un lenguaje formal y un aparato deductivo (axiomas y reglas de inferencia), no es posible deducir una fórmula y su negación. La existencia de un modelo implica que una teoría lógica es consistente.
-Corrección: supone la aprobación de una ley válida. Si los teoremas demostrables en el cálculo permitieran probar una ley inválida,ese cálculo sería incorrecto.
-Consistencia: En metalógica, la consistencia o consistencia lógica es la propiedad que tienen los sistemas formales cuando no es posible deducir una contradicción dentro del sistema. Es decir, dado un lenguaje formal y un aparato deductivo (axiomas y reglas de inferencia), no es posible deducir una fórmula y su negación. La existencia de un modelo implica que una teoría lógica es consistente.
-Corrección: supone la aprobación de una ley válida. Si los teoremas demostrables en el cálculo permitieran probar una ley inválida,ese cálculo sería incorrecto.
Comentarios
Publicar un comentario