离散数学第三讲-范式与主范式PPT幻灯片

- 第三讲 范式与主范式 - 1.为什么引入范式？ 命题公式千变万化，不易于研究其性质和应用。2.解决办法：将命题公式转化为逻辑等价的标准形。