概览推理的定义推理的定义推理的规则推理方法↓（ 直接证明法规则cp证明法 间接证明法）推理的定义：推理的有效性≠正确性推理的有效性＝命题的前提为真证明推理的判定定理，即证明公式为永真公式判定方法有：真值表技术公式转化法主析取范式法例：推理定律——基本蕴含关系推理规则使用已知条件时很自由 想先用那个用哪个要找准切入点演绎的基本形式P是已知条件I基本蕴含关系...

使用开发者模式找到User—Agent

概览极大项和极小项主范式定义求解定理真值表技术主范式应用极大项和极小项1.主范式的引用因为范式的不唯一性，我们对构成范式的子句和短语进一步规划，形成主析取范式和主合取范式。2.极大项和极小项的定义每个命题变元及其否定不同时出现，至多出现出现一次若有n个命题变元，则应有2的n次方个不同的极小项和2的n次方个不同的极大项3.极小项的性质没有两个不同的极小项是等价的，每个极小项只有一组解释使其为真，极小