练习消解法-2014091522053249

【文件属性】：

文件名称：练习消解法-2014091522053249

文件大小：477KB

文件格式：PPT

更新时间：2024-04-13 04:28:46

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是矛盾式.