离散数学1.+(12)

学习要求 1. 理解并记住推理的形式结构的三种等价形式,即 ①{A1,A2,…,Ak}├B ②A1∧A2∧…∧Ak→B ③前提与结论分开写: 前提:A1,A2,…,Ak 结论:B 在判断推理是否正确时