问题标题：
逻辑学题我才学的不会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
何宗键回答：
邮箱发
查看更多
