问答题
简答题
从SAP真，推出非PO非S真。直接推理能否成立？如能成立，请用公式写出它的推理过程。
【参考答案】
“从SAP真，推出O真”，不能成立。因为从SAP真出发，可推出PIS；再推，只能推出PO，而推不出O。
点击查看答案
