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

2个回答

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

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

    ﹁( A ->﹁B)

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

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

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

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

    ﹁( ﹁B ->A)

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

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