永真式 英文

tautology(重言式或永真式)

Definition:
A compound proposition that is always true, no matter what the truth values of the propositions that occur in it, is called a tautology(重言式或永真式).

离散数学里的吧?
contradictory矛盾式
contradiction（or contradictory矛盾式）
satisfiable（可满足式）
希望你发现有帮助 ^_^