第四讲 与重言式及其验证 .pptVIP

第四讲 重言式及其验证 一、重言式的定义 二、重言式的验证 一、重言式的定义 1、什么是重言式 f(A1-An) T， ◆ 不管对命题形式f(A1-An)的成分命题代之以任何真值，命题形式f(A1-An)的值总为真。 一、重言式的定义 1、什么是重言式 其他等价定义： ◆ 用真值表验证的命题，如果最后一列的每一表值都是 T，那么该命题就是重言式； ◆ 一个命题是重言式，当且仅当用别的命题去替换构 成命题的任一原子命题，其结果总是一个真命题； ◆ 一个命题是重言式，当且仅当对该命题中的原子命 题赋以任何真值，其结果总是为真命题。 一、重言式的定义 2、重言式的意义 ◆ 命题逻辑理论的主要内容是研究重言式的判定和证明方法；探讨如何构造形式推理系统，使得该系统能穷尽一切重言式。 ◆ 数理逻辑的特点在于从有限的公理出发，根据少许的规则，可以推出重言式。 ◆ 逻辑是利用重言式推出重言式。 一、重言式的定义 3、重言蕴含式和重言等值式 重言蕴含式：P → Q为重言式当且仅当P重言蕴含Q。 ◆ 正确的推理一定能表现为重言式 ◆ 重言蕴含式就是正确的推理形式 重言等值式：P Q为重言式当且仅当P重