如何用等价代换证明((p∨q)→r)←→s如何证明是永假式、永真式还是可满足式?

如何用等价代换证明((p∨q)→r)←→s如何证明是永假式、永真式还是可满足式? 如何用等价代换证明((p∨q)→r)←→s如何证明是永假式、永真式还是可满足式? 证明(P→Q)→R等价(P∨R)∧(┐Q∨R) 离散数学用基本等价式证明┐(P←→Q)=(P∨Q) ∧( ┐P∨┐Q)是【用基本等价式证明】 (P→Q)∧(R→Q)＜＝＞(P∨R)→Q证明他们的等价关系请问你用的～是什么符号？ 用基本等价式证明((┐R→┐R)→P)→((┐P→┐P)→R)= ┐P∨R离散数学用基本等价式证明 证明命题P→(Q→R) Q→(P←R)的等值关系急、 急用,证明等价式（┐P∧(┐Q∧R)）∨(Q∧R)∨(P∧R)=R 1.至少用两种方法证明¬p∨(r→¬q)和¬p∨¬q∨¬r等价2.给出谓词P(x,y)的一个实例,使∃x∀y P(x,y)和∀x∃y P(x,y)有不同的真值3.用推理规则证明：如果前提“所有的斑马 离散数学命题证明题 前提:p→s,q→r,p∨q,┘r 结论:r 用“p→q=~p∨q”证明：（p→q）∧（q→r）=> p→r 用“p→q=~p∨q”证明：（p→q）∧（q→r）=> p→r 证明 :P→(Q∨R)(S∨T)→P.S∨T =>Q∨R证明 :P→(Q∨R) ,(S∨T)→P ,S∨T =>Q∨R, （P→（Q∨┐R））∧┐P∧Q找出仅用∨和┐的等价表达式 并且尽可能简单 ┐(p→q)等价于 与公式(P∧Q)→R等价的是（） A.（﹁P∧Q）∨（P∧﹁R） B.(Q→P)∧R C.P→（Q→ R） D.R∧（P→Q） 试证明(P→(Q→R)∧(﹁S∨P)∧Q推出S→R 证明 P∧Q→R,┐R∨S,┐S => ┐P∨┐Q .