《01命题逻辑04证明方法.pptVIP

第一部分 数理逻辑 Mathematical Logic 1.4命题逻辑的推理理论 内容： 命题公式的蕴涵式 基本蕴涵式 直接证明法 间接证明法 反证法/归谬法 目标： 熟记基本蕴涵式 熟练利用上述各种证明法论证任意推理的有效性 例题解（1） 1.如果自然数N是偶数，那么N+1也是偶数。 解：设 p：自然数N是偶数。 q： N+1是偶数。 命题符号化为：p → q 此命题的真值根据N的取值确定。 例题解（2） 2.如果2是偶数，那么3也是偶数。 解：设 p：2是偶数。 q：3是偶数。 命题符号化为：p → q 因为p为真命题，q为假命题，所以此命题为永假命题 例题解（3） 3.如果4能够整除整数K，那么2也能整除K。 解：设 p：4能够整除整数K。 q： 2也能整除K。 命题符号化为：p → q 此命题为永真命题。即有 p ? q 命题公式的关系 逻辑等值（logically equivalent）