Tautology

From PKC
Jump to navigation Jump to search

Tautology (logic)(Q209555) is a formula or assertion that is true in every possible interpretation.