Euuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuuu
-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 ...
Comentarios
Publicar un comentario