欢迎来到计算机考试题库网 计算机题库官网
logo
全部科目 > 学历类考试试题及答案解析

问答题

简答题

设前提集合Γ={P →(Q →S ),﹁R ∨P,Q},结论H =R →S:证明Γ|=H。

    【参考答案】

    要证明Γ |= H,即要证明如果前提集合Γ中的所有命题都为真,则结论H也为真。我们可以通过真值表或者自然演绎法来证明。这......

    (↓↓↓ 点击下方‘点击查看答案’看完整答案 ↓↓↓)

    点击查看答案
    微信小程序免费搜题
    微信扫一扫,加关注免费搜题

    微信扫一扫,加关注免费搜题