请教几道简单的逻辑学题,

一.
1.错误 (违反了"定义过窄"的逻辑错误)
2.错误 (因为p→q,所以非q→非p,而题目违反了"否定前件"的逻辑错误)
3.正确 (SOP→POS 换位法)
4.错误 (p→q,q,所以p 违反了"肯定后件"逻辑错误)
5.正确 (R是等价关系,有连锁推理性)
6. 7. 这个我不明白,对不起
8.正确 (德摩根定理DM :－(p∧q)等价于－p∨－q
9.错误 (同2.否定前件式)
10.错误 同2.
11.不知道
12.错误 (违反"定义过窄")
13.正确 (等价(－p∧q)∨(p∧－q)→(－p→q)
14.错误 (犯了"推不出"规则 p→―q,r→―p,所以r→-q 明显错误)
15.错误 同14.
16.错误 (重复定义 唯一,一个)
17.错误 (违反了"定义必须相称"规则)
18.错误 (归纳推理,不是必然正确)
19.正确 (连锁推理)
20.正确 但说不出理由,对不起

三.
令p=手表在宿舍里丢失的 q=在大街上丢失的 r=在校园内丢失的 s=在宿舍里看过手表 n=有失物招领启事
推理过程;
1.-p→(q∨r) 前提
2.s→ -p 前提
3.s 前提
4.r→n 前提
5.-n 前提
6.-p 3.2.MP肯定前件式
7.q∨r 6.1.mp
8.-r 5.4.mt否定后件式
9.q 7.8.da析取推理

结论:手表是在大街上丢失的

太多了，我只能说几道题，不好意思。
一、
1、错的。犯了循环定义的错误。
2、对的。翻译过来它是（p→q）→（非p←非q），否定后件式。
3、错的。翻译过来是SOP（S不周延，P周延），POS（P不周延,S周延）。
4、错的。三段论中中项至少周延一次，而题目中（违法行为）一次都没有周延。
5、对的。亲戚关系有传递性。
6、错的。因为不是过失的就是故意的，既不是过失又不是故意的事情不存在，否则违背了矛盾律。
7、错的。循环定义，非过失即故意。
8、正确的。这两个命题等值，至于论证可以用推理系统也可以用真值表。
9、错的。三段论中，前提中不周延的项（故意犯），结论中亦不得周延。
10、错的。认识这种关系没有对称性。
就到这里吧。
另外提醒一下一楼的朋友，三段论属于词项逻辑是不能用命题逻辑来表示的，不过可以用谓词逻辑来表示（可以勉强看为加了量词的命题逻辑）。