Tautología

Es una fórmula bien formada de un sistema lógico que resulta verdadera para cualquier interpretación; es decir, para cualquier asignación de valores de verdad que se haga a sus fórmulas atómicas. Se explica así mismo y el problema no tiene solución