问题标题：
【先用人工语言将下面的推理形式化,然后用归谬赋值法判定其是否正确如果地球绕日公转（p）而不自转（非q）,则地球上就没有白天和黑夜（非r）；然而地球上有白天和黑夜（r）；所以,地球】
问题描述：
先用人工语言将下面的推理形式化,然后用归谬赋值法判定其是否正确
如果地球绕日公转（p）而不自转（非q）,则地球上就没有白天和黑夜（非r）；然而地球上有白天和黑夜（r）；所以,地球或者不公转（非p）,或者既公转又自转.
请你写出这个推理式（4分）,并用你学过的知识判断其是否有效（6分）
归谬赋值法
龚奕刚回答：
原题推理式：
1.p∧￢q→￢r
2.因为r,所以￢p∨（q∧p）
归谬法证明：因为r,所以￢（p∧￢q）,即￢p∨q∨（￢p∧q）.
于题意不符,所以这是错误的推理.
点击显示
数学推荐
热门数学推荐