来自焦鹏的问题
【先用人工语言将下面的推理形式化,然后用归谬赋值法判定其是否正确如果地球绕日公转(p)而不自转(非q),则地球上就没有白天和黑夜(非r);然而地球上有白天和黑夜(r);所以,地球】
先用人工语言将下面的推理形式化,然后用归谬赋值法判定其是否正确
如果地球绕日公转(p)而不自转(非q),则地球上就没有白天和黑夜(非r);然而地球上有白天和黑夜(r);所以,地球或者不公转(非p),或者既公转又自转.
请你写出这个推理式(4分),并用你学过的知识判断其是否有效(6分)
归谬赋值法
1回答
2020-02-02 16:20