离散数学第二次周记(数理逻辑)

数理逻辑一、重要概念及公式：断言是一句陈述句；否定词：合取词: 析取词: 蕴含词: 等值词：；运算符结合力的强弱顺序为：；；；；；若、，则；若、，则；若、，则；一个有基本积之和组成的公式，如果与给定的