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