ch1 命题逻辑培训资料.pptVIP

1.4 析取范式与合取范式 文字：命题变项(变元)及其否定称为文字. 如:p,q,r, ?p, ?q, ?r 简单析取式:仅由有限个文字构成的析取式. 如:p?q, ?p?q,p??q, ?p? ?q,p?q?r 简单合取式:仅由有限个文字构成的合取式. 如:p?q, ?p?q,p??q, ?p??q,p?q?r 定理：简单析取式与简单合取式 (1)一个简单析取式Ai是重言式? 含有某个命题变元及其否定式，如Ai=p??p?… (2)一个简单合取式Ai是矛盾式? 含有某个命题变元及其否定式，如Ai=p??p?… 1.4 析取范式与合取范式 析取范式：由有限个简单合取式的析取构成的命题公式称为析取范式。 总体是析取式?，每对括号内是合取式 A=(p?q)?(?p?r) 合取范式：由有限个简单析取式的合取构成的命题公式称为合取范式。 总体是合取式?，每对括号内是析取式 A=(p?q)?(?p?r) 1.4 析取范式与合取范式 总体是析取式?，每对括号内是合取式 A=(p?q)?(?p?r) 析取范式 总体是合取式?，每对括号内是析取式 A=(p?q)?(?p?r) 合取范式 定理：析取范式与合取范式 (1)一个析取范式A是矛盾式? 每个简单合取式是矛盾式。 A=(p?q)?(?p?r) (2)一个合取范式A是重言式? 每个简单析取式是重言式。 A=(p?q)?(?p?r) 1.4 析取范式与合取范式 (1)转换? ： A?B??A?B (2)恰当转换? ：A?B?(?A?B) ?(A??B) ?(A?B)?(?A??B) (3)否定到底 ： ??A, ?(A?B), ?(A?B) (4)适当使用分配律： A?(B?C), A?(B?C). 经过第1步、第2步转换后，公式中只有?、?、?三种运算符。 经过第3步后，?从括号外深入到变元的前面，与变元结合成文文字，文字之间只有?、?。 1.4 析取范式与合取范式 (1)转换? ： A?B??A?B (2)恰当转换? ：A?B?(?A?B) ?(A??B) ?(A?B)?(?A??B) (3)否定到底 ： ??A, ?(A?B), ?(A?B) (4)适当使用分配律： A?(B?C), A?(B?C). 如果外层运算符全部是?，而内层子公式全部是简单析取式，则已经是合取范式。 如果内层某子公式形如A?(B?C)，不是简单析取式，则转换为(A?B)?(A?C)。 1.4 析取范式与合取范式 (1)转换? ： A?B??A?B (2)恰当转换? ：A?B?(?A?B) ?(A??B) ?(A?B)?(?A??B) (3)否定到底 ： ??A, ?(A?B), ?(A?B) (4)适当使用分配律： A?(B?C), A?(B?C). 如果外层运算符全部是?，而内层子公式全部是简单合取式，则已经是析取范式。 如果内层某子公式形如A?(B?C)，不是简单合取式，则转换为(A?B)?(A?C)。因此有： (1)不是永假的命题公式，存在析取范式。 (2)不是永真的命题公式，存在合取范式。 1.4 析取范式与合取范式 (1)转换? ： A?B??A?B (2)恰当转换? ：A?B?(?A?B) ?(A??B) ?(A?B)?(?A??B) (3)否定到底 ： ??A, ?(A?B), ?(A?B) (4)适当使用分配律： A?(B?C), A?(B?C). 如析取式范式：(p?q) ?r ?(?p?q) ?r ?((?p?q)?r)?(?(?p?q)??r) ?(?p ?r)?(q?r)?(p??q??r) 1.4 析取范式与合取范式 解：(1)求析取范式。即外层是?，内层是?，所以?转换模式为A?B? (A?B)?(?A??B) (p?q) ?r ?((p?q) ?r)?( ? (p?q) ?? r) (整体为析取) ?((?p?q) ?r)?( ? (?p?q) ?? r) (A?B??A?B) ?((?p?q) ?r)?( (p??q) ?? r) (德摩律) ?((?p ?r )?(q?r))?(