Question

Saben que es la completud en la lógica? Y me pueden dar un ejemplo por favoor

Answer 1

Respuesta:

La propiedad de un sistema formal por la que se llama completo si todo enunciado lógicamente verdadero para el sistema es también deducible de sus axiomas (completud denominada débil). Según el teorema de Gödel, la lógica de enunciados y lógica de predicados (de primer orden) son completas en sentido débil.

Por otra parte, la completitud sintáctica es la propiedad que tienen los sistemas formales cuando, para toda fórmula del lenguaje del sistema, o bien es un teorema o bien su negación lo es. ... Esto es, existe una prueba para cada fórmula o para su negación.

Explicación:

BUENA SUERTE :)

ESPERO TE SIRVA