离散数学逻辑推.pptVIP

真值表法 依据A ? B的概念和定理 直接证法 利用P、T规则 间接证法 CP规则、反证法 1. 用全真值表证明 要证明C 为前提A1，A2，…，An 的有效结论，只需构造命题公式A1∧A2∧…∧An→C的真值表，证明它是重言式。 2. 用部分真值表证明 因为条件命题A1∧A2 ∧…∧An →C为假当且仅当它的前件A1∧A2∧…∧An为真，后件C为假。只要能排除前件为真，后件为假的情况，A1∧A2 ∧…∧An →C就是重言式。从而C为一组前提A1，A2，…，An的有效结论。 于是就有了下面方法： 构造A1，A2，…，An与C 的真值表，且作在一个表上。 ①找出A1，A2，…，An 都为真的行，若C也为真，则 A1∧A2∧…∧An ?C，即C为前提A1，A2，…，An的有效结论。 ② 找出C 为假的行，若在每个这样的行中， A1，A2，…，An 的真值至少有一个为假，则A1∧A2 ∧…∧An ?C，即C为一组前 提A1，A2，…，An的有效结论。 【example】甲乙两队进行乒乓球比赛，小张上场则小李上场 ，小李上场则甲队取胜，小张或小李上场了，所以甲队取胜。 Solution： (1)命题符号化 令 P:小张上场；Q:小李上场；R:甲队