实例 例判断下面推理是否正确 (1)若今天是1号,则明天是5号今天是1号所 以明天是5号 解设p:今天是1号,q:明天是5号 证明的形式结构为:(→q)>q 证明(用等值演算法) (P→>q)P→q 分>-(yVq))Vq 1vq分1 得证推理正确5 实例 例 判断下面推理是否正确 (1) 若今天是1号，则明天是5号. 今天是1号. 所 以明天是5号. 解 设 p：今天是1号，q：明天是5号. 证明的形式结构为: (p→q)p→q 证明（用等值演算法） (p→q)p→q  ((pq)p)q  pqq  1 得证推理正确