英文版课件逻辑学补充1 6

1，1.6命题逻辑推理理论，推理的形式结构，判断推理是否正确的方法，推理规律和推理规则构造的证明方法，2，推理的形式结构-问题的引入，推理实例：(1)正项级数收敛当且仅当部分和有界。(2)如ACBD、AB和CD。推理：从前提推导出结论。以上(1)是正确的推理，而(2)是错误的推理。证明：描述的推理过程正确或不正确。3.推理的形式结构。定义如果P1P2.每组值的主键为假，或者如果P1P2.PK是真的，Q也是真的，那么推理来自P1，P2，主键到Q是正确的，否则推理是不正确的(错误的)。“P1，P2，Pk扣除q“如果且仅当p1p2.pkq是同义反复。推理的形式结构3336p1p2.pkq或前提：P1，p2，PK结论：q如果推理正确，则记录为：p1p2.pkq。4、判断推理是否正确的方法，真值表法等价算法构造证明法表明，当命题变量较少时，使用前三种方法是方便的。这时，形式结构“p1p2.pkq”被采用。而在证明的构造中，“前提：p1，p2，主键，结论：q”被采用。5、举例，用例子来判断下列推理是否正确(1)如果今天是1号，明天是5号。今天是1号。所以明天是5号。解决方案p:今天是第一天。问：明天是5号。证明的形式结构是：(pq)p)q证明(使用等价算法)(pq)p)q ( pq)p)q p QQ真。证明推理是正确的。6.例(续)，(2)如果今天是第一天，明天就是第五天。明天是5号。所以今天是1号。假设p:今天是1号。问：明天是5号。证明的形式结构是：(pq)q)p自我证明推理是不正确的。7.推理法则重申了这一含义。重要推理法则p(pq)附加法则P(PQ)P简化法则(pq)p)q假设推理(PQ)-Q)-P否定公式(PQ)-Q) P析取三段论(pq)(qr)(pr)假设三段论(pq)(qr)(pr)等价三段论(pq)(rs)(pr)(qs)构造难度，8，推理法则(续)，(pq)(pq)(pp)q构造困境(特殊形式)(pq)(rs)如果一个推论符合某个推论定律，它自然是正确的。pq产生两个推论定律：pq，qp，9，推论规则，10，推论规则(续)，11，结构证明直接证明法，如果明天是星期一或星期三，我会上课。如果有课，我今天一定要上课。今天下午我没有备课。因此，明天不是星期一或星期三。解答P:明天是星期一，Q:明天是星期三，R:我有课，S:我在形式结构的前提下备课：(pq)r，rs，s结论：pq，12，证明rs前提介绍s前提介绍r拒绝公式(pq)r前提介绍 pq拒绝公式pq替换，前提：(pq)r，rs，s结论：pq，13，构造证明附加前提证明方法.PK结论：rq等价证明前提：P1，p2，主键，R结论：q原因：(p1p2.主键)(rq)(p1p 2.PK)( rq)(p1p 2.pkr)q (p1p 2.pkr) q，14，附加前提证明法(续)，例如，下面的推理证明：2是质数或复合数。如果2是质数，它就是无理数。如果无理数，4不是质数。因此，如果4是质数，那么2就是一个复合数。用附加前提证明法构造并证明解集P: 2是素数，Q: 2是复合数，R:是无理数，S: 4是素数形式的结构前提：pq，pr，rs结论：sq，15，证明引入了附加前提引入了pr前提引入了rs前提引入了R S前提引入了ps前提引入了伪褶积主义p拒绝公式pq前提引入了Q 析取三段论。 请用直接证明的方法证明前提：pq，Pr，rs结论：sq，16，结构证明反证法(reduction to justice)，证明前提：P1，p2，PK结论：q给前提增加了q，如果矛盾被推导出来，推理是正确的。原因： p1p2.pkq (p1p 2.PK)q (p1