问答题
从SEP真,推出非PAS真。直接推理能否成立?如能成立,请用公式写出它的推理过程。
“从SEP真,推出AS真”不能成立。因为从SEP真,经过换质位,只能推出IS真,而不能推出AS真。
问答题 从SIP真,推出非PO非S真。直接推理能否成立?如能成立,请用公式写出它的推理过程。
问答题 从SAP真,推出非PO非S真。直接推理能否成立?如能成立,请用公式写出它的推理过程。
问答题 从SEP真,推出非PO非S真。直接推理能否成立?如能成立,请用公式写出它的推理过程。