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

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

逻辑学命题证明（￢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