Diferencia entre revisiones de «Independencia (lógica matemática)»
Contenido eliminado Contenido añadido
mSin resumen de edición |
m oops... |
||
Línea 1:
En [[lógica matemática]], la noción de '''independencia''' o '''
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.
|