¿Qué es?
Es un enunciado cuyo Valor de la verdad (Lógica) es falsa en todas las interpretaciones o filas de una Tabla de verdad (Lógica)
también se denominan con frecuencia enunciados insatisfactibles.
Un enunciado es una una antinomia si y sólo si es una contradicción.