逻辑学假言命题混合推理中, (S→P)∧(P→q)∧(q→r) 非r,所以非s 是不是对的。 随解

2025-06-22 04:46:57
推荐回答(1个)
回答1:

是对的,由s蕴涵p,p蕴涵s,q蕴涵r可以假言连锁推出s蕴涵r,然后由非r可以推出非s