练习消解法-2014091522053249

【文件属性】：
文件名称：练习消解法-2014091522053249
文件大小：477KB
文件格式：PPT
更新时间：2021-03-24 10:42:06
java 练习6:消解法 6. 构造公式A=(pq)( qr) (pq)r的否证, 从而证明 它是矛盾式. 解 消解序列: ① pq A的简单析取式 ② pq A的简单析取式 ③ q ①,②消解 ④ qr A的简单析取式 ⑤ r A的简单析取式 ⑥ q ④,⑤消解 ⑦  ③,⑥消解 这是A的一个否证, 从而证明A是矛盾式.