These are certain formulas in a formal language that are universally valid, that is, formulas that are satisfied by every assignment of values.
Need on formaalses keeles kindlad valemid, mis on üldkehtivad, st valemid, mida rahuldavad ükskõik millised väärtused.