个判断的逻辑形式分别为并非SIP、PA非S、非SOP。已知判断与判断（1）是矛盾关系，根据矛盾关系推理已知判断推出判断（1）；已知判断换质位推理，可推出判断（2）；但无论怎样，由已知判断都不能必然推出判断（3）。8、