析取范式

---

支命题是简单合取的析取式。(1)(pq)v(pq)，⑵(pqp)v(qq)。所谓简单合取，是指支命题或是一命题变项或是一命题变项的否定的合取式。如“pq”、“pqp”等。析取范式的作用在于显示矛盾式。一析取范式是否为矛盾式，可用极简单的方法在有穷步骤内判定。因为每一析取范式只是几个简单合取的析取，而判定简单合取是否矛盾式，只要看在简单合取内是否有一命题变项和它的否定同时出现。如上述⑴不是矛盾式，而⑵是矛盾式。