【先用人工语言将下面的推理形式化,然后用归谬赋值法判定其是否-查字典问答网
分类选择

来自焦鹏的问题

  【先用人工语言将下面的推理形式化,然后用归谬赋值法判定其是否正确如果地球绕日公转(p)而不自转(非q),则地球上就没有白天和黑夜(非r);然而地球上有白天和黑夜(r);所以,地球】

  先用人工语言将下面的推理形式化,然后用归谬赋值法判定其是否正确

  如果地球绕日公转(p)而不自转(非q),则地球上就没有白天和黑夜(非r);然而地球上有白天和黑夜(r);所以,地球或者不公转(非p),或者既公转又自转.

  请你写出这个推理式(4分),并用你学过的知识判断其是否有效(6分)

  归谬赋值法

1回答
2020-02-02 16:20
我要回答
请先登录
龚奕刚

  原题推理式:

  1.p∧¬q→¬r

  2.因为r,所以¬p∨(q∧p)

  归谬法证明:因为r,所以¬(p∧¬q),即¬p∨q∨(¬p∧q).

  于题意不符,所以这是错误的推理.

2020-02-02 16:21:28

最新问答

推荐文章

猜你喜欢

附近的人在看

推荐阅读

拓展阅读

  • 大家都在看
  • 小编推荐
  • 猜你喜欢
  •