Respuestas
Respuesta dada por:
2
Respuesta:
es la propiedad que tienen los sistemas formales cuando no es posible deducir una contradicción dentro del sistema.
Explicación:
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.
soyotaku324:
Gracias:3
Preguntas similares
hace 3 meses
hace 3 meses
hace 3 meses
hace 4 años
hace 4 años
hace 7 años