Simone形式逻辑学试题。。。大家帮帮忙，救我一命
的有关信息介绍如下：
1，p←q,假言命题中的逆蕴涵（命题逻辑）
2,SAP，全称肯定命题。（词项逻辑）
3，R(a,b)，关系命题（关系命题）
4，p→q,假言命题中的蕴涵（命题逻辑）
5，s∨p,析取（命题逻辑）
不知道需不需要用谓词逻辑表示。谓词逻辑比这些要准确一些。
1)正确的三段论。
2）错误的。它的推理形式是：p←q，非q，所以非p。在假言命题的有效推理中没有否定前件的推理。
3）错误的。s∨p，p，所以非s。s∨p，并不是不相容析取，两个析取支同时为真时，命题依然为真，所以不能用这个推理。
4）错误的。p→q，q，所以p。假言命题的有效推理形式中没有通过肯定后件来肯定前件的。
5）错误的。三段论。违背了：前提中，中项至少周延一次。
2
1）这个好真难说。“只差一个结尾”就是说没有写完。而前面又说“写完了”。前后矛盾。可以勉强说是违背了矛盾律吧。
2）违背了排中律。
现代的二值定律就是矛盾律和排中律的总会。所以直接说他们违背了二值定律也行吧。就是不知道老师会怎么看了。
