Diferencia entre revisiones de «Consistencia (lógica)»

La '''consistencia lógica''' oes queuna (Lapropiedad canacade estaun bien tablas)conjunto de [[axioma]]s. 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.