逻辑学对当关系推理

2024-12-15 00:15:02 阅读 355 评论 0

摘要：根据直言推理的对当关系，题干命题可以表达为：SAP（全称肯定命题），答案是ABCD均能推出。其推理过程为：A：－SEP 其推理过程为：SAP→SIP －SEP （全称肯定命题可以推特称肯定命题，特称肯定命题与全称否定命题的负命题是等值命题，根据推理的传递性，全称肯定命题可以推全

根据直言推理的对当关系，题干命题可以表达为：SAP（全称肯定命题），答案是ABCD均能推出。其推理过程为：

A：－SEP 其推理过程为：SAP→SIP －SEP （全称肯定命题可以推特称肯定命题，特称肯定命题与全称否定命题的负命题是等值命题，根据推理的传递性，全称肯定命题可以推全称否定命题的负命题，所以SAP→－SEP ）

B：SIP其推理过程为：SAP→SIP （全称肯定命题可以推特称肯定命题）

逻辑学对当关系推理

C：SO－P 其推理过程为：SAP→SIP SO－P （全称肯定命题可以推特称肯定命题，再根据换质法，SIP SO－P ，所以SAP→SO－P）

D：－SOP 其推理过程为：SAP －SOP （全称肯定命题与其特称否定命题的负命题是等值命题）

ps：上面推荐答案的表述是正确的，我在这里用纯逻辑的公示补充一下推理过程。