用归谬赋值法判定（ p∧q∧r →s ） → （ ┑ s→ （ p→ （ q → ┑ r ）））是否是重言式。

Question

要有分析过程~~谢谢

Answer 1

如果一个公式，对于它的任一解释下其真值都为真，就称为重言式（永真式）。如P∨P是一个重言式。
设pqrs都为真，则（ ┑ s→ （ p→ （ q → ┑ r ））必真,
自己再想想，不难吧。