先用人工语言将下面的推理形式化，然后用归谬赋值法判定其是否正确
如果地球绕日公转（p）而不自转（非q），则地球上就没有白天和黑夜（非r）；然而地球上有白天和黑夜（r）；所以，地球或者不公转（非p），或者既公转又自转。
请你写出这个推理式（4分），并用你学过的知识判断其是否有效（6分）
归谬赋值法
原题推理式：
1.p∧ ￢q → ￢r
2.因为r，所以￢p∨（q∧p）
归谬法证明：因为r，所以￢（p∧ ￢q），即 ￢p ∨ q ∨ （￢p ∧ q）。
于题意不符，所以这是错误的推理。
1.p∧ ￢q → ￢r
2.因为r，所以￢p∨（q∧p）
归谬法证明：因为r，所以￢（p∧ ￢q），即 ￢p ∨ q ∨ （￢p ∧ q）。
于题意不符，所以这是错误的推理。
温馨提示：内容为网友见解，仅供参考
无其他回答
先用人工语言将下面的推理形式化,然后用归谬赋值法判定其是否正确
归谬法证明：因为r，所以￢（p∧ ￢q），即 ￢p ∨ q ∨ （￢p ∧ q）。于题意不符，所以这是错误的推理。
相似回答
大家正在搜
