急求高手解答形式逻辑学试题Orz谢谢啦~~~非常急啊！！！今晚要交的啊。。。救命啊

1、这是一个三段论推理，如果将“九寨沟”定义为S，将“适合人居住的地方”定义为P，将“城市”定义为M（m就是这里的中项，因为中项不在结论中出现），则该推理形式可以写为：

SEM

PIM

------

SEP

当然也可以表述为：SEM∧PIM→SEP（看你们书里采用哪一种方式，后面这个表达是绝对不会错的）

这个推理是错误的。

理由：该推理违反了三段论的下列规律：第一，在前提中不周延的项在结论中也不得周延。P在前提中是不周延的，但是在结论中却周延了，因此违反了这一条规律；第二，前提中有特称命题的，结论必须是特称命题。已知前提中有一个特称命题，但结论却是全称命题，因此也违反了这一定律。

2、这是一个性质命题（或直言命题）的直接推理（即根据性质命题的对当关系进行的直接推理，主要是通过换位法、换质法以及两种方法的嵌套使用来进行变换）。

将“预防艾滋病教育”定义为S，将“远离毒品的教育”定义为P。

由此可知其推理形式为：SIP→PAS。

该推理是错误的。

理由：因为对SIP进行换位时，有效的推理也是特称肯定命题，而推不出全称命题，这里推出了全称命题，因此是错误的。（补充：SIP→PIS，这个才是对的。）

这些问题在你的另一个提问中我已经回答了

（1）不能得出必然结论，因为小前提是否定的，按照规则，结论也应该是否定的，那么大项在前提中不周延，在结论中变得周延了，违反了“在前提中不周延的项在结论中也不得周延”的规则。

（2）不能得出必然结论，因为小前提是否定的，按照规则，结论也应该是否定的，那么大项在前提中不周延，在结论中变得周延了，违反了“在前提中不周延的项在结论中也不得周延”的规则。

（3）不能得出必然结论，因为三段论要求中项在前提中至少周延一次，这两个前提中中项一次也不周延。

（4）可以得出SAP的必然结论，符合三段论的各项规则，

（5）不能得出必然结论，因为两个否定的前提不能得出结论。

（6）可以得出SEP的必然结论，符合三段论各项规则。

（7）可以得出SIP的结论，符合三段论各项规则。

（8）不能得出必然结论，因为三段论要求中项在前提中至少周延一次，这两个前提中中项一次也不周延。

semget() 可以使用系统调用semget()创建一个新的信号量集，或者存取一个已经存在的信号量集：

系统调用：semget()

原型：intsemget(key_t key,int nsems,int semflg)

返回值：如果成功，则返回信号量集的IPC标识符。如果失败，则返回-1：errno=EACCESS(没有权限)

EEXIST(信号量集已经存在，无法创建)

EIDRM(信号量集已经删除)

ENOENT(信号量集不存在，同时没有使用IPC_CREAT)

ENOMEM(没有足够的内存创建新的信号量集)

ENOSPC(超出限制)

系统调用semget()的第一个参数是关键字值（一般是由系统调用ftok()返回的）。系统内核将此值和系统中存在的其他的信号量集的关键字值进行比 较。打开和存取操作与参数semflg中的内容相关。IPC_CREAT如果信号量集在系统内核中不存在，则创建信号量集。IPC_EXCL当和 IPC_CREAT一同使用时，如果信号量集已经存在，则调用失败。如果单独使用IPC_CREAT，则semget()要么返回新创建的信号量集的标识 符，要么返回系统中已经存在的同样的关键字值的信号量的标识符。如果IPC_EXCL和IPC_CREAT一同使用，则要么返回新创建的信号量集的标识 符，要么返回-1。IPC_EXCL单独使用没有意义。参数nsems指出了一个新的信号量集中应该创建的信号量的个数。信号量集中最多的信号量的个数是 在linux/sem.h中定义的：

---