範式存在定理

範式存在定理（existence theorem of normal form）命題演算中任一合式公式A，恆可表示為等值的合取範式或析取範式。一公式和它的範式等值。置換不改變公式的真值，因而通過置換可以把一公式變換為一範式。