逻辑学问题,用归谬赋值法做答,不懂勿答

题目

逻辑学问题,用归谬赋值法做答,不懂勿答
逻辑学,请用归谬赋值法判定下面推理是否正确,如果地球围绕太阳公转,但并不围绕自己的轴线自转,那么,地球上就没有白天和黑夜.因为事实是地球上有白天和黑夜.所以或者地球并不公转,或者地球既公转又自转.

答案

（（（p^~q）蕴涵r）^~r）蕴涵（~p析取（p^q））
(1) 归谬赋值 1 0
(2) 1 1 1 0
(3) 1 0
假设此推理为假,则必然前件真,后件假.由(3)可知,继续赋值则出现前件中（r,即“地球没有白天和黑夜”既真又假的）赋值矛盾.故,假设不成立,原推理正确.