逻辑学命题证明(¬A→S)∧(T→A),¬(¬T∧S)∴A

未激活381 1年前 已收到1个回答 举报

shengangel 幼苗

共回答了16个问题采纳率:81.3% 举报

T→A等价于¬A→¬T
则(¬A→S)∧(T→A)等价于 (¬A→S)∧(¬A→¬T)
即 ¬A→(¬T∧S)
最后¬(¬T∧S)等价于¬(¬A),即A

1年前

5
可能相似的问题
Copyright © 2024 YULUCN.COM - 雨露学习互助 - 17 q. 0.025 s. - webmaster@yulucn.com