问答题
从SEP真,推出非PIS真。直接推理能否成立?如能成立,请用公式写出它的推理过程。
“从SEP真,推IS真”,能成立。其推理过程为:SEP→SA→IS。
问答题 从SEP真,推出非PAS真。直接推理能否成立?如能成立,请用公式写出它的推理过程。
问答题 从SIP真,推出非PO非S真。直接推理能否成立?如能成立,请用公式写出它的推理过程。
问答题 从SAP真,推出非PO非S真。直接推理能否成立?如能成立,请用公式写出它的推理过程。