声明：今年的题目解析有部分来自老师是讲解，有部分是本人做的补充，如有疑问请及时留言（第二题第3小题异常，无法求解）。

一、（共3分）用逻辑符号表达下列语句

1. 任意一个自然数，有且只有一个后继（论域为一切自然数）

解析：解法一：(仅供参考)P(x): x是自然数，Q(x,y):y是x的后继，R(x,y):x与y相等

解法二：P(x)：x是自然数， A(x,y)：x + 1=y  （自然数：非负整数）

二、解答题

1．有以下前提 化简（   F     ）用最简方式表达。

解析：假设三个前提为T

 (德摩根律)  由前提 可得    可知  

此时 （前提假设为F，则无论结论如何结果都为T）

则有 与前提假设相矛盾，题目可以化简成 F

2. 11 个人分四组，第一组四人，第二组三人，第三组不分人，第四组四人，共有(  11550     )分法。

解析：本题主要考组合。

第一组选四人, 第二组选三人,由于第三组为空组，剩下的4个人就直接划分到第四组。因此总共分法为：

3., R的幂满足,已知,求(           )。

解析：（题目有问题）

4. 顶点