第三题的第二小题

 我来答
kent0607
高粉答主

2015-07-28 · 关注我不会让你失望
知道大有可为答主
回答量:6.2万
采纳率:77%
帮助的人:7123万
展开全部
  推理如下:
  1)P 附加前提引入
  2)P→R 前提引入
  3)┒P∨R 等价替换
  4)R ……(留给你)
  5)(P→Q)∧(R→S)
  6)P→Q
  7)R→S
  8)Q
  9)S
  10)(Q→W)∧(S→X)
  11)Q→W
  12)S→X
  13)W
  14)X
  15)W∧X
  16)┒(W∧X)
  17) 15)16)矛盾
据归谬法,得证。
推荐律师服务: 若未解决您的问题,请您详细描述您的问题,通过百度律临进行免费专业咨询

为你推荐:

下载百度知道APP,抢鲜体验
使用百度知道APP,立即抢鲜体验。你的手机镜头里或许有别人想知道的答案。
扫描二维码下载
×

类别

我们会通过消息、邮箱等方式尽快将举报结果通知您。

说明

0/200

提交
取消

辅 助

模 式