12集合论-集合代数5-12材料.ppt

;上次课主要内容 一阶逻辑推理 1)一阶逻辑推理的形式结构 在一阶逻辑中，从前提A1，A2，…，Ak出发推结论B的推理的形式结构采用如下的蕴涵式形式 ： Al∧A2∧…Ak → B 若该式为永真式 则称推理正确（推理有效），否则称推理不正确 2)推理规则 第一组 命题逻辑推理定律的代换实例 如： ?xF(x)∧ ?yG(y) ? ?xF(x) 化简式 ?xF(x) ? ?xF(x) ∨ ?yG(y) 附加式 （?xF(x) →?x A(x)） ∧ ?xF(x) ? ?xA(x) 假言推理 （?xF(x)→?x A(x)）∧ ┑?xA(x) ? ┑?xF(x) 拒取式 第二组 由基本等值式生成的推理定律。不论是命题逻辑的等值式和一阶逻辑的等值式均可生成两个推理定律． ?x( A(x)∧B(x) ) ?? ?x A(x) ∧ ?xB(x) ?x (A(x)∨B(x) ) ? ??x A(x ) ∨ ?x B(x) 等等;第三组 一阶逻辑本身的重要推理定律 (1) ?x A(x)∨?x B(x) ? ?x( A(x)∨B(x)) 全称对析取可合并 (2) ?x( A(x)∧B(x) ) ? ?xA