Relativamente. La tautología, también conocida como verdad eterna, es un término de lógica y su símbolo matemático lo es. Lo opuesto al oxímoron y la tautología es el oxímoron. La fórmula contradictoria, también conocida como fórmula falsa permanente y fórmula insatisfactoria, es un tipo de fórmula en el cálculo lógico.