问答题
计算题
符号化下述论断,并证明其有效性:如果今天是周一,则要进行离散数学或C语言程序设计两门课中一门课的考试。如果C语言程序设计老师有会。则不考C语言程序设计,今天是周一,C语言程序设计老师有会,所以进行离散数学考试。
【参考答案】
点击查看答案
相关考题
