先用人工语言将下面的推理形式化,然后用归谬赋值法判定其是否正确
如果地球绕日公转（p）而不自转（非q）,则地球上就没有白天和黑夜（非r）；然而地球上有白天和黑夜（r）；所以,地球或者不公转（非p）,或者既公转又自转.
请你写出这个推理式（4分）,并用你学过的知识判断其是否有效（6分）
归谬赋值法
人气：389 ℃ 时间：2020-09-05 09:53:58
解答
原题推理式：
1.p∧ ￢q → ￢r
2.因为r,所以￢p∨（q∧p）
归谬法证明：因为r,所以￢（p∧ ￢q）,即 ￢p ∨ q ∨ （￢p ∧ q）.
于题意不符,所以这是错误的推理.
推荐
猜你喜欢
- 黄道和赤道的区别
- 家用电熨斗工作时的电阻为48.4欧,求它的电功率.
- ____the baby___ crying yet?(stop) 翻译,并说明原因
- 一辆质量为2000kg的汽车在平直的公路上匀速向西运动,如果他受到的牵引力是10000N
- 成语接龙:万众一心—( )—( )—( )—( )—事半功倍
- 7只小动物被困在圆圈里，请你画3条直线，把它们单独隔（ge）开．
- 月光下的夹竹桃的影子的特点
- 直线l过点A(-3,4),且点P(3,-2),Q(-1,6)到该直线的距离相等,求直线l方程及点A到P,Q所在直线的距离.
