標題1.重言式與矛盾式有什麽關系?

相對。重言式（Tautology ）又稱為永真式，是邏輯學的名詞，它的的數學符號是。矛盾式和重言式相對的是矛盾式。矛盾式(contradictory formula)又稱永假式、不可滿足公式，是邏輯演算的壹類公式。