El término corrección hace mención al accionar y a los resultados de corregir . Este verbo, por su parte, refiere a rectificar o revertir un fallo o un error . Consistencia 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 no es posible deducir una formula y su negación. Completitud Propiedad de un sistema lógico por la que cualquier expresión cerrada es derivable o refutable dentro del mismo sistema. (Bibliografia: https://es.thefreedictionary.com/completitud https://es.wikipedia.org/wiki/Consistencia_(l%C3%B3gica) ...
Blog de Filosofía de Sheila S.J 1ºA Bachillerato del I.E.S Campos y Torozos. Asociado a la criada tracia