p->(q->s) q->(p->s) 如果等价改怎样证明.

p->(q->s) q->(p->s) 如果等价改怎样证明. 逻辑学等值问题1.没有S是P 与 并非有S是P2.P并且非Q 与 并非（如果Q那么P）是否等价? 怎样证明((p→q)∧((s∧q)→r))→((p∧s)→r)? 等差数列的性质证明请证明若1.S(p)=q,S(q)=p,则S(p+q)=-(p+q)2.S(p)=S(q) (p不等于 用推理规则证明】前提:p∨q,p->s,q->r 结论:s∨r 推理证明,前提,p-＞s.q-＞r.非r.p∨q结论s 离散数学证明题：证明((Q∧R)-->S) ∧(R-->(P∨S))(R∧(P-->Q))-->S 《离散数学》证明题 证明P→(Q→S),┐RVP,Q┝R→S 如何用等价代换证明((p∨q)→r)←→s如何证明是永假式、永真式还是可满足式? 证明 P →(Q→S),┐RVP,Q┝ R→S 离散数学 逻辑,证明￢(P↔ Q)和P↔ ￢Q逻辑等价 证明 P∧Q→R,┐R∨S,┐S => ┐P∨┐Q .