逻辑学题我才学的不会DT了一天了用整推规则和置换规则证明：条件：（并非A蕴涵S）并且（T蕴涵A）并非（并非T蕴涵S）所以：A使用条件证明构造下了推论（W蕴涵J）蕴涵非SJ析取AW蕴涵非A

　　逻辑学题

　　我才学的不会DT了一天了

　　用整推规则和置换规则证明：

　　条件：（并非A蕴涵S）并且（T蕴涵A）

　　并非（并非T蕴涵S）

　　所以：A

　　使用条件证明构造下了推论

　　（W蕴涵J）蕴涵非S

　　J析取A

　　W蕴涵非A

　　所以：S