Definición de corrección, consistencia y completitud.

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)

https://definicion.de/correccion/ )

Comentarios

Entradas populares de este blog

Clasificación de las ciencias

① Ciencias Formales ✍ El objeto de estudio las ciencias formales son los entes ideales (ideas y conceptos). ✍ Ciencias, comprenden: → La matemática pura. → La lógica. ② Ciencias Fácticas Las ciencias fácticas son también llamadas ciencias de la realidad, estudia los objetos y hechos materiales. Clasificación: ⓐ Ciencias Naturales ✍ Las ciencias naturales tienen como objeto de estudio entes materiales. ✍ Métodos de estudios: la observación, la experimentación, inducción y otros. ✍ Ciencias, comprenden: → Fenomenológicas: química y física. → Genéticas: cosmologías y embriología. → Sistemáticas taxonómicas: minerología, zoología y botánica. ⓑ Ciencias Sociales (Ciencias del Espíritu) ✍ Las ciencias sociales son también denominadas ciencias humanas, estudia los hechos humanos o sociales que tengan valor, sentido y meta. ✍ Métodos de estudio: La abstracción, deducción, la dialéctica y otros. ✍ Ciencias, c...

Biografía de Charles Darwin.

Charles Robert Darwin; Shrewsbury, Reino Unido, (1809-1882) Naturalista británico que formuló sobre bases científicas la moderna teoría de la evolución, expuesta en su obra Sobre el origen de las especies (1859) Era hijo de un médico de buena posición y nieto del famoso médico, filósofo, naturalista y poeta inglés Erasmus Darwin. A pesar de cursar estudios de medicina en Edimburgo y de teología en Cambridge, su interés principal, se centraba en las ciencias naturales. Este interés le impulsó a incorporarse, al periplo alrededor del mundo del H.M.S. Beagle (1831-1836), al mando del capitán Robert Fitzroy, lo cual lo llevó a viajar por América del Sur, las islas del Pacífico, Australia, Nueva Zelanda y el sur de África. Durante los viajes acopió gran cantidad de materiales de todo tipo y realizó las detalladas observaciones que le permitieron, a su regreso al Reino Unido, enunciar la llamada teoría de la evolución , cuyos primeros esbozos comenzaron a tomar form...

Mapa de la magna Grecia

La filosofía en la naturaleza A)

Buscar este blog