FORMULA TAUTOLOGICA

Es una formula bien formada de un sistema logico 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.