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

来源:学生作业帮助网 编辑:作业帮 时间:2024/08/14 17:28:09
逻辑证明题 M·~N)->(O->N),N->M,M / ∴O 完成证明
x){ٰž/7>r C4u4u4ut|u|ulWxYb"} `A/ OWh x{uU3||F u:/Ox>e֧m.|{۳'=t²f=|_i3`Ì !z8Ŋ!w@ c`A:4qߋ uf x|g_\gg*

逻辑证明题 M·~N)->(O->N),N->M,M / ∴O 完成证明
逻辑证明题
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.