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

等价于((pVq)->r)=>s且s=>((pVq)->r)

A->B结构本身等价于(非A)V B

如果没有其它条件，是可满足式。就是说可以选定p,q,r,s使得上式成立，但是不总成立（即也可以使之不成立），所以不是永真也不是永假）

如果这些变量之间还有相互关系或其它限制，那就不一定了。