§4.2自然演绿推理 1自然演绎推理：从一组已知为真的事实出发， 直接运用经典逻辑推理规则推出结论的过程称 为自然演绎推理。 真 2假言推理的一般形式为P,P→Q→Q 例如果《X是金属，则X能导电”及《铜是金属” 可推出“钥能导电”的结论 X是金属能导电，钥是金属→钥能导电 3拒取式推理的一般形式PQ,一Q→>一P 例“如果下雨，则地上湿”，及《地上不湿” 可推出《没有下雨”§4.2 自然演绎推理 1 自然演绎推理：从一组已知为真的事实出发， 直接运用经典逻辑推理规则推出结论的过程称 为自然演绎推理。 真 2 假言推理的一般形式为P,P→QQ 例 如果“X是金属，则X能导电”及“铜是金属” 可推出“铜能导电”的结论 X是金属能导电，铜是金属铜能导电 3 拒取式推理的一般形式 P→Q,QP 例 “如果下雨，则地上湿” ，及“地上不湿” 可推出“没有下雨