问答题
从“一切真正的革命者都是光明磊落的”，能否推出“不光明磊落的人不是真正的革命者”？如能，请将这个推理过程用公式表示出来。
从“一切真正革命者都是光明磊落的”能推出“不光明磊落的人不是真正革命者”。这个推理过程的公式是：SAP→SE→ES。
问答题 从SAP真，推出非SA非P真。直接推理能否成立？如能成立，请用公式写出它的推理过程。
问答题 从SEP真，推出非PIS真。直接推理能否成立？如能成立，请用公式写出它的推理过程。
问答题 从SEP真，推出非PAS真。直接推理能否成立？如能成立，请用公式写出它的推理过程。
