PanLinx
English
eng-000
universally valid formula
普通话
cmn-000
全称永真公式
普通话
cmn-000
普遍有效公式
普通话
cmn-000
永真式
English
eng-000
identically true formula
English
eng-000
tautology
русский
rus-000
универсально общезначимая формула
PanLex