Question

离散数学:用基本等价关系转换验证下式是否有效: p∨￢r，q∨s，r→(s∧p)

离散数学:用基本等价关系转换验证下式是否有效:
p∨￢r，q∨s，r→(s∧p) ＝＞ s→p

Answer 1

可以利用这两个等价关系：
p∨￢r⇔ r→p

r→(s∧p)⇔r→s ∨ r→p

追问

可以说得更详细一点吗 还是不太懂