逻辑学命题推理

sAp全称肯定（全肯），sEp全称否定（全否），sip特称肯定（特肯），sop特称否定（特否）

可以这样摆顺序

全肯 全否

特肯 特否

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

现在回答你的问题：

1、正确。全肯和特否的关系，是矛盾关系，一真一假，如果SAP真，SOP必然假。前者假，后者真。

2、正确，上反对关系。

3、没明白

4、不一定，也就是错误。是下反对关系。一个假可推出一个真，反过来不行。

5、没明白

逻辑通常指人们思考问题，从某些已知条件出发推出合理的结论的规律。

说某人逻辑性强，就是说他善于推理，能够得出正确的结论。说某人说话不合逻辑，就是说他的推理不正确，得出了错误的结论。

逻辑有时也指逻辑学。逻辑学是研究推理规律的理论。逻辑学分古典逻辑和现代逻辑。

逻辑又有演绎逻辑，归纳逻辑，形式逻辑，非形式逻辑等不同类型。

逻辑推理中的已知条件和结论都是可以判断真假的命题。如果把命题作为最基本的成分，只研究命题推理的规律，就得到命题逻辑。进一步，把命题再细分为谓词，量词就得到谓词逻辑。

用符号表示命题，谓词，量词，得到符号逻辑。符号逻辑常用来研究数学中的推理，因此也叫数理逻辑。

二十世纪，数理逻辑发展迅速，它的四个主要分支：集合论，模型论，递归论，证明论已成为数学的重要学科。现代逻辑如模态逻辑，时态逻辑，概率逻辑，量子逻辑，模糊逻辑等各式各样的应用逻辑层出不穷。

这样一来，逻辑的含义是太丰富了。逻辑已经成为数学，哲学，计算机科学，甚至每一门学科的基础。