逻辑证明题 急~~！

来源：百度知道 编辑：UC知道 时间：2024/05/27 00:56:06
(~M·~N)->(O->N),N->M,~M / ∴O 完成证明

只能证明结论为~O
1、由N->M,~M，运用充分条件推理的否定后件式，可得：~N；
2、由~N，~M，运用联言推理的组合式，可得：~M·~N；
3、由~M·~N，(~M·~N)->(O->N)，运用充分条件推理的肯定前件式，可得：O->N；
4、由O->N,~N，运用充分条件推理的否定后件式，可得：~O。