问答题

简答题 从SEP真,推出非PAS真。直接推理能否成立?如能成立,请用公式写出它的推理过程。

【参考答案】

“从SEP真,推出AS真”不能成立。因为从SEP真,经过换质位,只能推出IS真,而不能推出AS真。