如果SEP為真，SIP為假。
配對影響原理:
Sap，a是affirmatvie，拉丁語是a-fir-mo，取第壹個元音，a。
Sep，e是負數，拉丁語是ne-go。取第壹個元音，e。
特殊否定命題反映主詞項的部分外延不具有確定性，具體表現為:有些s不是P，縮寫為SOP。
擴展數據:
形式邏輯也叫普通邏輯。研究思維形式及其規律的科學。它是壹門工具科學，是人們認識事物和表達思想時經常使用的必要的邏輯工具。
為了在理性階段反映客觀世界，人的認識必須實現思維內容和思維形式的統壹，否則，這種反映就無法實現。
思維的內容是思維所反映的對象及其屬性，形式是反映壹個對象的方式，即用文字表達的概念，用句子表達的判斷，用復句表達的推理。