计算题 将下列复合命题符号化：选修过“高等数学”或“微积分”的学生方可选修“经济学”。

用消解原理证明以下推理是正确的 前提： （1）如果今天是星期天，我就去中山陵或玄武湖； （2）如果中山陵游人很多，我就不去中山陵； （3）今天是周末，但不是星期六 （4）如果是周末，冲山陵游人一定很多． 结论：我去了玄武湖． 点击查看答案

用消解原理证明（AB）∧￢（A∧B）╞￢A∧￢B逻辑蕴涵式． 点击查看答案