简化真值表.ppt

1、评论，不相容的言语选择命题的定义，连词，形式和逻辑特征。(只有一个是真的；其余的都是假的。延伸：真，如果你选择一个并且只有一个真理，它是假的，如果你选择所有的错误或者两个以上，它是真的。有效的推理公式和推理规则：1 .负正公式pq，p q 2。正反公式推理规则：如果一部分肢体被否定，另一部分肢体可以被肯定。如果你肯定肢体的一部分，你可以否定肢体的另一部分。形式证明的方法，严格析取定义律(p q) (p q) (p q) (p q) (p q) (p q)否定严格析取律(p q)(p q)(p q)(p q)(p q)(p q)(p q)(p q)(p q)(p q)(p q)(p q)(p q

2、)(p q)(p q)(p q)(p q)(p q)(p q)(p q)(p q)(p q)(p q)(p q)(p q)(p q)(p q)(p q)(p q)(p q)(p q)(p)其余的都是真的。外延：前者必须为真，后者必须为假。有效的推理和推理规则：1 .确认先行词(肯)pq，p q 2。肯定否定的(肯)PQ，q p推理规则：1 .肯定先行词，你必须肯定后者，并肯定后者。不能肯定或否定先行词；2.否定后者意味着否定前者，而否定前者不能肯定或否定后者。具有充分条件的假设推理规则是1。肯定前一部分意味着肯定后一部分，而肯定后一部分不能肯定或否定前一部分；2.否定后者意味着否定前者，而否定

3、前者不能肯定或否定后者。蕴涵定义律和负蕴涵律的表达式是pq pq和(pq) pq。8和“如果人们不了解自己，他们一定会犯错误。”矛盾的合取命题是，尽管人们没有自知之明，但他们不会犯错误。等价的析取命题是，人们有自知之明，或者犯错误。填空如果P为假，Q为真，那么pq为，pq为。如果“pq”的值为假，P的值为0，Q的值为0。如果pq为假，pq为真，那么P为，Q为。如果pq为假，p q为真，那么它一定是真的。pqp pqp pqp p(q p)p(pq)pqp q PP pqp 5。“要么鱼死，要么网破。”“等价命题是(三种不同形式的命题)。填空如果P为假，Q为真，pq为1，pq为0。如果“pq”为

4、假，P为1，Q为0。如果pq为假，pq为真，P为1，Q为0。“这并不是说如果你买股票，你就会发财。“命题形式不是如果p，那么q，而真理形式是(pq)。5.“要么鱼死，要么网破”。与之对应的命题是要么鱼死，要么网破，但鱼死网破。或者鱼死了但网没破，或者鱼死了但网破了。如果网不破，鱼就会死。简化真值表，并与必然性推理的前因和后果部分的蕴涵特征有一些共同之处。推理公式被转换成蕴涵公式，pq，p q (pq) p q查看真值表，看公式是否永远正确。是的：有效的前提(前提)是真的，结果(结论)必须是真的。否：无效前提(前提)为真，结果(结论)不必为真。真值表测试推理的有效性，真值表中的真值表连接的约束力

5、依次降低。()是最强的。1 2*3=7 1 (2*3)=7 pqpr qrpq省略括号如下：(pqpr) (qrpq) (p(qp)r) (qr)(pq)、简化真值表法(反证法)、原理反证法p q q p pq、pq p反证法然后给表示推理的蕴涵赋值。1.如果在分配过程中没有矛盾，就意味着假设是有效的，推理可以被判断为无效。2.如果在赋值过程中存在矛盾(即q q)，则意味着假设无效，假设被否定，推理可以判断为有效。简化真值表法(归约赋值法)，1。转化：将推理转化为蕴涵。Pq，p q (pq) p q 2。假设：假设暗示是错误的。(pq) p q 0，3。赋值：在含义为假的条件下，逐层赋值。注意

6、：在赋值过程中，假设要尽可能的成立，即前一部分是真的，后一部分是假的。，1(pq) p q 0 2(pq) p q 1 0 0，简化了真值表法的检验过程，1(pq)P Q 02(pq)P Q 100(pq)P Q 1 110014(pq)P Q 1 111 0001 5(pq)P Q 0 111 1000 1判断：即当P被赋值为假，Q被赋值为真时，这种推理不能保证前提为真，结论必须为真。1(pq)P Q 02(pq)P Q 1003(pq)P Q 111004(pq)P Q 1011005(pq)P Q 01011006(pq)P Q 11011000判断有矛盾，并且假设是无效的，所以这个推理

7、就是说，不管P和Q是如何分配的，这个推理可以保证前提是真的，结论必须是真的。为了简化真值表法的检验过程，(pq)(r s)(p r)(QS)0(pq)(r s)(p r)(QS)1 1 0 0 3(pq)(r s)(p r)(QS)1 1 1 1 0 0 0 0 0 4(pq)(r s)(p r)(QS)0 1 0 1 0 1 1 10 0 0 0 0 0 0 0 4(pq)(r s)(pr)(QS)0101010101010100000判断：是否有，pq，q p (p q)，(pq)(q p)(p q)11011011001100(pq)(q p)(p q)01101100011:没有矛盾，如果是真的，这个推理是无效的。用简化真值表法来检验下列推理是否有效，pq，r s，(p r) (q s) (pq) (r s) (p r) (q s) 0100000，赋值技巧，变量赋值一般从结论(最后一部分)开始。原因：结论是错误的，很容易赋值；结论是一个相对简单的命题。如果结论是错误的，有不止一个作业，那么每个作业都应该被推导出来。如果每个推