实例(续) (2)若今天是1号,则明天是5号.明天是5号所以今天是1号 解设p:今天是1号,q:明天是5号 证明的形式结构为:(→>q)∧→>p 证明(用主析取范式法) (P→q)∧q→p 分(ypVq)∧q→>P →-(yVq)qvp 分(一∧-q)VD入一q(DA-q)V{D入q) 8 movm2vm3 结果不含m1故01是成假赋值,所以推理不正确.6 实例 (续) (2) 若今天是1号，则明天是5号.明天是5号.所以今天是1号. 解 设p：今天是1号，q：明天是5号. 证明的形式结构为: (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是成假赋值，所以推理不正确