合取范式

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

支命题是简单析取的合取式。如⑴(pvq)(pvq)，⑵(pvqvp)(qvq)。简单析取指支命题是一命题变项或是一命题变项的否定的析取式。如“pvq”、“pvqvp”等等。合取范式的作用在于显示重言式。合取范式是重言式，当且仅当，其每一简单析取中必有一命题变项和它的否定同时出现；否则，不是重言式。如上述⑴不是重言式，而⑵是重言式。