形式逻辑中,用S……P来表示命题.所有的命题一共分为四种,分别是：SAP,意思是：所有的S是P.这种命题叫做“全称肯定命题”.SEP,意思是：所有的S不是P.这种命题叫做“全称否定命题”.SIP,意思是：有S是P.这种命题叫做“...