En términos sintácticos, un conjunto de fórmulas es consistente si y sólo si para toda fórmula A, no es posible deducir tanto A como ￢A (i.e.