以PAM作大前提，（）作小前提，能推出SEP的结论。