支命题是简单析取的合取式。如⑴(pvq)(pvq)，⑵(pvqvp)(qvq)。简单析取指支命题是一命题变项或是一命题变项的否定的析取式。如“pvq”、“pvqvp”等等。合取范式的作用在于显示重言式。合取范式是重言式，当且仅当，其每一简单析取中必有一命题变项和它的否定同时出现；否则，不是重言式。如上述⑴不是重言式，而⑵是重言式。
合取范式(语言)
合取范式(语言)：
- 欢迎来到文学网！
蕴涵式(语言)：用蕴涵联结词”→”联结两个命题而成的真值形式。蕴涵式一般写为”p→q”，读作”p蕴涵q”。其中p称为前件，q称为后件。蕴涵式的逻辑性质取决于”蕴涵”这一真值联结词。一个蕴涵式为真，当且仅当，不存在前件真..
联结词(语言)：在复合判断中联结支判断、表明支判断逻辑关系的概念。如“如果……那么……”，“或者”、“并且”等。运用这些逻辑联结词可以把支判断结合成各种复合判断。如“某数是偶数”和“某数能被2整除”，可以用“..
范式(语言)：能显示某种重要属性的表达式。数理逻辑中许多公式是等值的，但在表达形式方面常常是很不相同的。通过公式的等值转换，可以为千变万化的公式提供一个统一的表达式，这就是范式。范式能显示不同表达式的一些特性。..
析取式(语言)：用析取真值联结词“V”将两个或两个以上命题联结而或的真值形式。构成析取式的支命题，称为析取支或析取项，用p、q、r等表示。析取式一般表示为pvq，读作“p析取q”。析取式的逻辑性质取决于“析取”这一真值..
命题(语言)：用来表示判断的有真假的语句。一般讲，自然语言中的陈述句都是命题。命题按其结构可分为简单命题和复合命题。简单命题，也叫原子命题，指不以其他命题为其组成部分的命题。如“孔子是中国人”。复合命题，也叫分子..