引例:老钱该不该来? 定义谓词: P(x):x该来;Qx:x来了 口前提: y:全称量词,表示“对所有的” 口该来的还没有来 ax(P(x)→-Q(x)(1) 口老钱来了 Q(老钱 口推理过程 老钱其实完全可以来! (1)→P(老钅 问题出在哪里? (3)+(2)→ 推理过程?正确 结论 前提?前提有误! 口老钱不该来!引例：老钱该不该来？  前提：  该来的还没有来 ◼ -------（1）  老钱来了 ◼ Q(老钱) -------（2）  推理过程  (1)  P(老钱)→¬Q(老钱) ------(3)  (3)+(2)  ¬ P(老钱)  结论：  老钱不该来！ x(P(x) → Q(x)) 定义谓词： P(x):x该来；Q(x):x来了  ：全称量词，表示“对所有的” 老钱其实完全可以来！ 问题出在哪里？ 推理过程？正确！ 前提？前提有误！