析取范式

出处：按学科分类—语言、文字 江西教育出版社《中国语言学大辞典》第677页（231字）

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