八、（15分）符号化下列命题并推证其结论。 如果小张守第一垒并且小李向B队投球，则A队取胜；或者A队未取胜，或者A队成为联赛第一名；A队没有成为...
试题资料
2018/7/9
下载61次
71.1KB
15083852668
四、在自然推理系统 P中，构造下面用语言给出的推理。（先符号化再证明）9分 若小张喜欢数学，则小李或小赵也喜欢数学。若小李喜欢数学，则他也喜...
试题资料2018/7/9下载72次15083852668
离散数学试卷B
试题资料2016/8/3下载78次65kb管理员
离散数学试卷A
试题资料2016/8/3下载70次41kb管理员
