logical truth


noun

another term for tautology (def. 2)
the property of being logically tautologous