Ésta podría ser una edición anterior y no la más reciente o aprobada. Ir a la versión actual.
¿Qué es?
No se ha añadido ninguna twiki todavía.
Referida a los sistemas formales, la característica defectiva que hace que sea posible deducir de ellos un teorema y su negación. Si los sistemas formales fueran inconsistentes, serían triviales, dado que de ellos podría deducirse cualquier cosa.
Referida a un conjunto de enunciados, se considera inconsistente un conjunto si de él es posible deducir un enunciado y su negación.
Referida a pares de enunciados comparados entre sí, se dice que dos enunciados son inconsistentes si no pueden ser ambos verdaderos o ambos falsos a la vez, de modo que si uno de ellos es verdadero el otro ha de ser falso, y viceversa.