優範式

優範式又稱主範式、特異範式、正則範式，是邏輯演算中具有唯一性的範式。有優合取範式和優析取範式之分。命題演算中的任一公式只有唯一的優合取範式和唯一的優析取範式。

基本介紹

• 中文名：優範式
• 又稱：主範式
• 作用：顯示重言式，矛盾式
• 同一真值函項：可以有不同的範式

優範式除了具備範式的特徵外還要滿足某些特殊的條件。優範式的作用主要有：①顯示重言式，矛盾式。重言的優合取範式是一零公式；矛盾的優析取範式是一零公式。②同一真值函項可以有不同的範式，但其優範式是唯一的。從優範式是否相同可以確定兩個或不同的公式是否屬於同一真值函項，是否等值。③優析取範式可以完全明確地列出原公式的成真條件。它也顯示了原公式的真值表。求出原公式的否定的優析取範式，就能顯示原公式的成假條件。