计算题

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

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

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