逻辑证明题 M·~N)->(O->N),N->M,M / ∴O 完成证明

逻辑证明题
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.

如以上回答内容为低俗、色情、不良、暴力、侵权、涉及违法等信息，可以点下面链接进行举报！

点此我要举报以上问答信息