逻辑学题我才学的不会DT了一天了用整推规则和置换规则证明:条-查字典问答网
分类选择

来自李冀的问题

  逻辑学题我才学的不会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

1回答
2020-02-1021:33
我要回答
提示:回答问题需要登录哦!
何宗键

  邮箱发

2020-02-10 21:36:44
大家都在问
最新问答