PanLinx: identically true formula

English	eng-000
identically true formula

普通话	cmn-000	永真式
English	eng-000	tautology
English	eng-000	universally valid formula
русский	rus-000	тождественно истинная формула

PanLex-PanLinx