【1.设A,B,C是三个集合,证明：A∪B=A∪（B-A）2.在命题逻辑中符号化下述命题,并构造推理的证明若明天是星期一或星期三,我就有课.若有课,今天必须备课.我今天没备课.所以不是星期一和星期三.3】

　　1.设A,B,C是三个集合,证明：A∪B=A∪（B-A）

　　2.在命题逻辑中符号化下述命题,并构造推理的证明

　　若明天是星期一或星期三,我就有课.若有课,今天必须备课.我今天没备课.所以不是星期一和星期三.

　　3.在一阶逻辑中符号化下述命题,并推证之.

　　凡人必有一死,苏格拉底是人,所以苏格拉底会死的.

　　4.求以1,3,4,5,6权为的最优2元树.（写出步骤并计算它的权）

　　5.求Q∨（Q→R）的主析取范式及主合取范式