逻辑学命题证明

题目

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

答案

T→A等价于￢A→￢T
则（￢A→S)∧(T→A)等价于 （￢A→S)∧（￢A→￢T）
即 ￢A→（￢T∧S）
最后￢(￢T∧S)等价于￢（￢A）,即A