您的位置: 首页  >  作业答案  >  其他  >  逻辑学题

逻辑学题

分类: 作业答案 • 2022-01-09 18:04:09
问题描述：

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

答

邮箱发

相关推荐