La consistencia lógica es una propiedad de un conjunto de axiomas. Se dice que un conjunto de axiomas es consistente si a partir de él no puede deducirse simultáneamente una proposición (p) y su contraria (¬p, no-p). En otras palabras, la consistencia lógica concierne a un sistema axiomático si no existe en él un teorema tal que dicho teorema precedido por el prefijo de negación pueda considerarse teorema.
Referido a un argumento es la necesidad de que todas las premisas tengan que ser necesariamente y a la vez, como producto, todas verdaderas, para que el argumento, si es consistente, pueda ser válido o no válido.
Referido al discurso la consistencia tiene que ver con que las implicaciones lógicas del mismo no sean autocontradictorias. A menudo se le suele llamar "coherencia", y es también aplicable a las teorías científicas.
Fuente:
http://es.wikipedia.org/wiki/Consistencia_l%C3%B3gica
