推理实例 豪 (2)推理的形式结构:(p→q)∧4→ 用主析取范式法 (P→>q)入q-少p 分(-pVq)^q→少D 分-(yVq)入q)P 分(-∧-qV入q(P-q)V(∧q 台 movvm3 结果不含m,故01是成假赋值,所以推理不正确 10 1010 10 推理实例 (2) 推理的形式结构: (p→q)q→p 用主析取范式法 (p→q)q→p  (pq)q→p   ((pq)q)p  qp  (pq)(pq) (pq)(pq)  m0m2m3 结果不含m1 , 故01是成假赋值，所以推理不正确