Diferencia entre revisiones de «Independencia (lógica matemática)»
Contenido eliminado Contenido añadido
Sin resumen de edición |
Sin resumen de edición |
||
Línea 1:
En [[lógica matemática]], la noción de '''independencia''' o '''indecidibilidad''' se refiere a la imposibilidad de de demostrar o refutar una [[
Una sentencia ''σ'' se dice independiente o indecidible en una [[lógica de primer orden|teoría de primer orden]] ''T'' —u otros sistemas lógicos— si ''T'' ni demuestra ni refuta ''σ''; esto es, si no es posible probar ''σ'' partiendo de ''T'', ni probar que ''σ'' es falsa.
|