正确答案
(1)对于形式为SAP的命题,由于它所肯定的是S的外延全部包含在P的外延之中,所以SAP为真,在而且只在S与P的外延关系是全同关系或真包含于关系时,形式为SAP的命题才是真的。
(2)对于形式为SEP的命题,它所否定的是S的外延部分包含在P的外延之中,所以SEP为真,在而且只在S与P的外延关系是全异关系时,形式为SEP的命题才是真的。
(3)对于形如SIP的命题,它所肯定的是S的外延全部包含在P的外延之中,所以SIP为真,在而且只在S与P的外延关系是相容关系时,具有形式为SIP的命题才是真的。
(4)对于形如SOP的命题,它所否定的是S的外延全部包含在P的外延之中,所以SOP为真,在而且只在S与P的外延关系是真包含关系或交叉关系或全异关系时,具有形式为SOP的命题才是真的。