• 所有问题

    • 离散数学：证明(P→Q)←→(┐P∨Q)是恒真的，求详细步骤，谢谢各位学霸先～

    如题所述

    举报该问题
    推荐答案   2015-07-06
    (P→Q)↔(¬P∨Q)
    ⇔((P→Q)→(¬P∨Q))∧((¬P∨Q)→(P→Q)) 变成 合取析取
    ⇔(¬(P→Q)∨(¬P∨Q))∧(¬(¬P∨Q)∨(P→Q)) 变成 合取析取
    ⇔(¬(¬P∨Q)∨(¬P∨Q))∧(¬(¬P∨Q)∨(¬P∨Q)) 变成 合取析取
    ⇔¬(¬P∨Q)∨(¬P∨Q) 等幂律
    ⇔TRUE
    温馨提示：答案为网友推荐，仅供参考
    相似回答
    离散数学的一个证明题,找人帮忙答：这个命题等价于证明(P←→Q)<=>(P∨┐Q)∧(┐P∨Q)；P←→Q<=>（P→Q）∧（Q→P); （1）而P→Q<=>┐P∨Q； （2）
    离散数学试证明 p→q => p→(p∧q) 求高手解答答：设p'表示非p,p→q=p'+q,同理p→pq=p'+pq,p→q => p→pq =(p'+q)'+p'+pq =pq'+p'+pq =p(q'+q)+p'=p+p'=1,故命题成立。
    离散数学用基本等价式证明┐(P←→Q)=(P∨Q) ∧( ┐P∨┐Q)答：┐(P←→Q) 和 (P∨Q) ∧( ┐P∨┐Q)有相同的真假值，所以┐(P←→Q)=(P∨Q) ∧( ┐P∨┐Q)
    离散数学,证明: 求过程答：)⇔ ((Q∧R)→S)∧(┐R∨(P∨S))⇔ ((Q∧R)→S)∧((┐R∨P)∨S)⇔ ((Q∧R)→S)∧(┐(R∧┐P)∨S)⇔ ((Q∧R)→S)∧((R∧┐P)→S)⇔ ((Q∧R)∨(R∧┐P))→S ⇔ (R∧(┐P∨Q))→S ⇔ (R∧(P→Q))→S ...
    离散数学求解答过程(求证后加分)答：2 证明：对于任意的<x,y>属于R1∪R2，<x,y>属于R1或<x,y>属于R2,。因为R1和R2具有对称性，所以<y,x>属于R1或< y,x >属于R2,得< y,x >属于R1∪R2。R1∪R2满足对称性得证。3 设 P:逻辑学难学 ,Q:许多学生喜欢逻辑学, R:数学容易学 前提：PvQ, R→┐P 结论：┐Q→┐R 证...
    高分急求高人做几道离散数学的题目,急~~~谢谢哦!!!答：1.证明：P→（Q→P）<=>┐P∨（┐Q∨P）<=> P∨（┐Q∨┐P）<=>┐P→（P→ ┐Q)2.┐（∨x）（R（x）→∨（x）Q（x））∨代表全称量词的符号 好好看书，自己练练 。不要离开课本
    求帮助,离散数学证明题答：第一个是命题"p--q "and "p"为真,刚q为真.这是假言推理,即永真式[p^(p--q)]--q.第二个命题用逆否,第一句等价于,如果你不能行驶到地球边缘,刚地球不是平的,后面又说了,"你不能行驶到地球边缘",然后按照假言推理,得出地球不是平的....
    大家正在搜
    离散数学证明中的T和P是什么意思离散数学CP离散数学CP规则证明Q根号3是一个数域证明Q三次根号下五是数域证明Q不是全微分P进数结论证明证明Q与N等势安卓10属于Q还是P
    相关问题
    离散数学用基本等价式证明┐(P←→Q)=(P∨Q) ∧( ┐...
    《离散数学》证明题：证明R→S可从前提P→(Q→S)，┐R∨...
    离散数学 证明：P→Q, ┐(Q∨R)可以逻辑推出 ┐A
    【离散数学 用推理规则证明】前提: p∨q, p->s, q...
    离散数学：求p→(q∧┐r)的主合取范式、主析取范式、成真赋...
    离散数学的：证明：((Q∧R)→S)∧(R→(P∨S)...
    求命题的主析取范式和主合取范式 (1)p∧q∧┐q (2)(...
    《离散数学》证明题：证明从前提P→Q，┐(Q∨R)可演绎出┐...