Independencia (lógica matemática)
imposibilidad de demostrar o refutar un predicado a partir de otros predicados / De Wikipedia, la enciclopedia encyclopedia
Estimado Wikiwand AI, Seamos breves simplemente respondiendo estas preguntas clave:
¿Puede enumerar los principales datos y estadísticas sobre Independencia lógica?
Resumir este artículo para un niño de 10 años
MOSTRAR TODAS LAS PREGUNTAS
En lógica matemática, la noción de independencia o indecidibilidad se refiere a la imposibilidad de demostrar o refutar un predicado a partir de otros.
Una sentencia σ se dice independiente o indecidible en una teoría lógica T si T no demuestra ni refuta σ; esto es, si no es posible probar σ partiendo de T, ni probar que σ es falsa.