第二讲 糜朦题逻辑 - 副本 .pptVIP

析取范式就是由简单合取借析取联结词联结而成的。例如： ⑴ (p ? q) ? (p ? ?q ? q) ? (p ? q ? ?r) ⑵ (p ? ?p) ? (r ? q ? ?r) ? (?p ? ?q ? q) ⑶ (?p ? q ? r ? ?s) ? (p ? q ? ?r ? s) §2.4.2 合取范式和析取范式 一简单合取是否为矛盾式，可直观地判定。一简单合取A为矛盾式，当且仅当，A包含某命题变项及其否定。例如： ⑴ p ? ?p ⑵ ?p ? q ? ?q ⑶ r ? q ? ?r §2.4.2 合取范式和析取范式 析取范式可以显示矛盾式。 因为一个析取式是矛盾式，当且仅当其每个析取支都是矛盾式。由于析取范式的各个析取支都是简单合取，而一个简单析取式是否为矛盾式是直观可判定的，因此，一析取范式是否为矛盾式也是直观可判定的。 一个析取范式是矛盾式，当且仅当它的每个析取支（简单合取）中都有形如p和?p的合取支。 §2.4.2 合取范式和析取范式 第一，消去蕴涵和等值符号 消去蕴涵式，可以运用蕴析律，将 (A?B) ? (?A?B)。 消去等值式，可以运用等值律，将