离散数学是一门重要的计算机科学基础课程，涵盖了集合论、图论、逻辑、组合数学等多个领域。以下是对题目中涉及的一些知识点的详细说明：
1. 集合运算：题目中出现了集合的差集（A - B）和幂集（(A)）的差集（(A) -(B)）。差集表示在集合A中但不在集合B中的元素集合；幂集是原集合的所有子集构成的集合，包括空集和自身。
2. 幂集大小计算：若有限集合A的元素个数为n，则其幂集的大小为2^n。所以 |(A×A)| = 2^(n^2)，因为A×A是A的笛卡尔积，其元素个数为n^2。
3. 映射概念：从集合A到集合B的映射是指将A的每个元素映射到B的一个元素。如果A={a, b}，B={1, 2}，所有映射包括{(a, 1), (b, 1)}, {(a, 2), (b, 2)}, {(a, 1), (b, 2)}, {(a, 2), (b, 1)}。其中，双射（bijection）是每个A的元素都唯一对应B的元素的映射，这里是{(a, 1), (b, 2)}和{(a, 2), (b, 1)}。
4. 命题逻辑：主析取范式（Minterm Normal Form）是命题逻辑中的一种形式，这里公式G=(PQ)∧R可以转换为不含蕴含符的形式，具体过程需要应用德摩根定律和分配律。
5. 完全二叉树的性质：完全二叉树的总度数等于所有节点的度数之和，对于n个节点的完全二叉树，叶节点个数为n/2向上取整。若一个完全二叉树有7个节点，4个叶节点，总度数为2*(7-1)=12，分枝点数为(7-4)-1=2。
6. 集合运算：集合的交集(AB)包含同时在A和B中的元素，这里是{4}；并集(AB)包含所有A和B的元素，这里是{1, 2, 3, 4}；差集(A－B)是仅在A中但不在B中的元素，这里是{1, 2}。
7. 等价关系的性质：等价关系必须满足自反性、对称性和传递性。
8. 命题逻辑真值表：对于公式G=(P(QR))，要找出使其为真的解释，需要找到P、Q、R的真值组合使得整个公式为真。
9. 关系的复合运算：R1R2是先通过R2再通过R1的复合关系，R2R1反之，R12是R1与自身的复合。
10. 笛卡尔积的大小：若|A|=m，|B|=n，则|(AB)|=m*n。
11. 集合的差集、并集和交集：对于集合A、B，A-B是A中去掉B中的元素，B-A是B中去掉A中的元素，A∩B是A和B的交集。
12. 整除关系：在集合A={2, 3, 4, 5, 6}上，整除关系R可以用{(2, 1), (3, 1), (4, 2), (4, 1), (6, 3), (6, 2), (6, 1)}来表示。
13. 一阶逻辑公式转换：前束范式（Prenex Normal Form）是将量词移到公式最前面的形式，这里G的一阶逻辑前束范式需要进一步推导。
14. 树的性质：一棵具有8个顶点的树，变成完全图需要添加8*(8-1)/2=28条边。
15. 量词消除：在量词消除过程中，xR(x)→xS(x)可以转化为与之对应的命题公式，即R(a)→S(a)或R(b)→S(b)，这里的a, b是定义域内的任意元素。
16. 二元关系的复合：RS是R和S的复合关系，表示先通过R再通过S的路径。
以上就是离散数学中涉及的多个知识点的详细解释，涵盖了集合运算、映射、逻辑公式、关系代数等方面。这些知识点是理解和应用离散数学的基础，对于计算机科学的学习至关重要。
