标题1.重言式与矛盾式有什么关系?

相对。重言式（Tautology ）又称为永真式，是逻辑学的名词，它的的数学符号是。矛盾式和重言式相对的是矛盾式。矛盾式(contradictory formula)又称永假式、不可满足公式，是逻辑演算的一类公式。