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

【参考答案】

设（ p∧q∧r →s ） → （ ┑ s→ （ p→ （ q → ┑ r ）））为假,则（ p∧q∧r →s ）为真且......

(↓↓↓ 点击下方‘点击查看答案’看完整答案 ↓↓↓)