用归谬赋值法判定（ p∧q∧r →s ） → （ ┑ s→ （ p→ （ q → ┑ r ）））是否是重言式.
来源：学生作业帮助网 编辑：作业帮 时间：2024/09/01 12:28:43
xSN0z mAY a( 34C 1]H_[
̱@4FCB6m}G_K :a]GXAK+jPQMn -(h\bNp$֕ QP:ӋG\D1pNH8 K~)pHK7
0"Ga+ hƗ )w)[͡(pkJ_*$w'J*qj̀>X[ٓL -3
u/Y8z5|h{-"q#C=q)!$lI*_tUFdJ,vl,?'#L