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

Question

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

Answer 1

“并非:天上下雨,则地不湿” 是否定整个充分假言命题.
设“天上下雨” A 设“地湿”B
﹁（ A ->﹁B)
根据假言律 = ﹁（ ﹁A ∨﹁B)
根据德摩根律 = A ∧ B = 天上下雨,地湿


“并非：只有天上下雨,地才不湿.”是否定整个必要假言命题
设“天上下雨” A 设“地湿”B
﹁（ ﹁B ->A)
根据假言律 = ﹁（ B ∨A)
根据德摩根律 = ﹁ B∧﹁ A =﹁ A∧﹁ B= 天上不下雨,地不湿