PanLinx
普通话
cmn-000
永真式
English
eng-000
identically true formula
English
eng-000
tautology
English
eng-000
universally valid formula
PanLex
