永真式 英文

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（可满足式）

希望你发现有帮助 ^_^