支命题是简单合取的析取式。(1)(pq)v(pq)，⑵(pqp)v(qq)。所谓简单合取，是指支命题或是一命题变项或是一命题变项的否定的合取式。如“pq”、“pqp”等。析取范式的作用在于显示矛盾式。一析取范式是否为矛盾式，可用极简单的方法在有穷步骤内判定。因为每一析取范式只是几个简单合取的析取，而判定简单合取是否矛盾式，只要看在简单合取内是否有一命题变项和它的否定同时出现。如上述⑴不是矛盾式，而⑵是矛盾式。
析取范式(语言)
析取范式(语言)：
- 欢迎来到文学网！
等值式(语言)：也叫“等价式”。用等值真值联结词“←→”联结两个命题而成的真值形式。等值式一般记为p←→q，读作“p等值q”。等值式的逻辑性质取决于“等值”这一真值联结词。一个等值式为真，当且仅当，它的两个支命题具..
真值(语言)：也叫“真假值”、“逻辑值”。在二值逻辑中，指命题变元所取的真或假两个值。真假是命题最重要的一种特征。形式逻辑并不研究每一一具体命题事实上是真的还是假的，而是主要研究制约一个命题真假的逻辑条件。一..
合取范式(语言)：支命题是简单析取的合取式。如⑴(pvq)(pvq)，⑵(pvqvp)(qvq)。简单析取指支命题是一命题变项或是一命题变项的否定的析取式。如“pvq”、“pvqvp”等等。合取范式的作用在于显示重言式。合取范式是重言式..
蕴涵式(语言)：用蕴涵联结词”→”联结两个命题而成的真值形式。蕴涵式一般写为”p→q”，读作”p蕴涵q”。其中p称为前件，q称为后件。蕴涵式的逻辑性质取决于”蕴涵”这一真值联结词。一个蕴涵式为真，当且仅当，不存在前件真..
联结词(语言)：在复合判断中联结支判断、表明支判断逻辑关系的概念。如“如果……那么……”，“或者”、“并且”等。运用这些逻辑联结词可以把支判断结合成各种复合判断。如“某数是偶数”和“某数能被2整除”，可以用“..