Diferencia entre revisiones de «Independencia (lógica matemática)»
Contenido eliminado Contenido añadido
mSin resumen de edición |
mSin 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 demostrar o refutar un [[predicado (lógica matemática)|predicado]] a partir de otros.
Una sentencia ''σ'' se dice independiente o indecidible en una [[teoría (lógica)|teoría lógica]] ''T''
== Terminología ==
| |||