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

来源：学生作业帮助网编辑：作业帮时间：2024/04/30 02:47:24

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