2015-2016吉林大学网院《离散数学》清考大作业

奥鹏网院作业

2015-2016吉林大学网院《离散数学》清考大作业

一、简要回答下列问题：（每小题15分，共75分）
1．Skolem范式中的母式有什么特点
2．设A={1，2，3}，请给出A上的相等关系和全域关系。
3．设A={1，2，3，4}，R=IA{（1，2），（2，1），（1，3），（3，1），（2，3），（3，2）}，请给出在等价关系R下的所有等价类。
4．请给出PQ，PQ的真值表。
5．什么是谓词逻辑公式的解释？

二、（25分）试证明n 个元素的所有置换作成一个群（通常叫做n次对称群）。证明n个元素的所有偶置换作成群（叫做n次交代群）。写出四次交代群中的元素。n次交代群的元数为何？