在逻辑推理中,"并非:天上下雨,则地不湿.请仔细解释下
2个回答

“并非:天上下雨,则地不湿” 是否定整个充分假言命题.

设“天上下雨” A 设“地湿”B

﹁( A ->﹁B)

根据假言律 = ﹁( ﹁A ∨﹁B)

根据德摩根律 = A ∧ B = 天上下雨,地湿

“并非:只有天上下雨,地才不湿.”是否定整个必要假言命题

设“天上下雨” A 设“地湿”B

﹁( ﹁B ->A)

根据假言律 = ﹁( B ∨A)

根据德摩根律 = ﹁ B∧﹁ A =﹁ A∧﹁ B= 天上不下雨,地不湿