• 所有问题

    • （P-q）^（r-s)^(非q v 非s)-非p v 非r 这是什么推理形式。用命题演算证明该推理。构造符合该推理形式

    在线等啊

    举报该问题
    其他回答
    第1个回答  2013-10-01
    用p'表示非p,
    p-q=p∧q',
    原式=p∧q'∧r∧s'∧(q'∨s')∧(p'∨r')'
    =p∧r∧(q'∨s')∧p∧r(吸收律,德-摩根律)
    =p∧r∧(q'∨s').
    相似回答
    急求2012美国数学建模C题翻译!答：她考虑为同谋者的十个人分别为:Anne#, Bob, Carol, Dave*, Ellen, Fred,George*, Harry, Inez, and Jaye#。(*号表示事先已知是同谋者,#号表示事先已知为非同谋者)# E/ `* Q0 q1 s( P 下面是28条消息的列表,这些消息是在她的案件中获得的,每条消息后面有一个标号,这个标号反映了她对于消息的主题的...
    ((p➡️q)^p)➡️q在逻辑学中是什么意思答：是充分条件假言直言推理的肯定前件式，即通过肯定假言前提的前件，推出肯定假言前提的后件为结论，为有效的推理形式。
    命题逻辑的含义?答：非形式的,就是在使给定公式 *** S 成立的所有可能情况下公式 φ 也成立。这导引出了下面的形式化定义: 我们说 wff 的 *** S 语义蕴涵(蕴涵:entail 或 imply)特定的 wff φ,条件是满足在 S 中的公式的所有真值指派也满足 φ。 最后我们定义语法蕴涵,φ被 S 语法蕴涵,当且仅当我们可以在有限步骤内使...
    逻辑学的假言判断中,前真推后真,后假推前假 是什么意思?能举例说明下...答：根据规则1和规则4,可以得到两个有效的推理形式：① 肯定前件式：如果p,那么q p ———所以,q ② 否定后件式：如果p,那么q 非q ———所以,非p 例：p——患阑尾炎 q——肚子痛 如果患阑尾炎，那么就会肚子痛；甲患阑尾炎；所以，甲肚子痛。如果患阑尾炎，那么就会肚子痛；甲肚子不痛；...
    大家正在搜
    所有P是q怎么理解为如果p则qP和r是什么意思什么叫P到q成立P是q的充分不必要条件P rr8000P网件r8000PP且qq P