逻辑学 7.pptVIP

((p? q) ? ?q) ? ? p F T F T T T T T F ●从上图可见，q必须同时赋以真和假。 试用归谬赋值法判定下列推理是否有效 如果地球围绕太阳公转(p)，但并不围绕自己的轴线自转(q)，那么，地球上就不会有白天和黑夜(r) 。事实上，地球上有白天和黑夜。所以，或者地球并不公转，或者地球既公转又自转。 前提：（1） (p ? ?q) ? ?r； （2） r 结论： ?p ? (p ? q) 真值形式：(((p ? ?q)? ?r)? r) ? (?p ?(p ? q)) (((p ? ?q) ? ?r) ? r ) ? (? p ? (p ? q)) F T F T