逻辑学命题推理

Question

推理能否成立，请证明
1，SAP → -SOP
2，SEP → -SAP
3，SOP → -PO-S
4，SIP → -SOP
5，SAP → -PI-S

Answer 1

sAp全称肯定（全肯），sEp全称否定（全否），sip特称肯定（特肯），sop特称否定（特否）
可以这样摆顺序

全肯 全否

特肯 特否
从上到下为顺，从下到上为逆，可以有口诀：顺真真，逆假假，顺假不，逆真不。

现在回答你的问题：
1、正确。全肯和特否的关系，是矛盾关系，一真一假，如果SAP真，SOP必然假。前者假，后者真。
2、正确，上反对关系。
3、没明白
4、不一定，也就是错误。是下反对关系。一个假可推出一个真，反过来不行。
5、没明白

追问

拜托，我问的是推理能不能成立！！！不是要你跟我复制四种命题之间的关系。

Answer 2

词项可以构成命题，命题可以构成推理。“外延”是什么意思？
满意请采纳。