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

来源：学生作业学帮网 编辑：学帮网 时间：2024/06/01 09:12:19

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