[逻辑思维训练6复合命题及其推理下.pptVIP

第三节 命题逻辑的现代形式 一、多重复合命题和自然语言的符号化 一般步骤是：首先用p、q、r、s……等分别表示各个简单命题（不同的简单命题用不同的命题变项符号表示，同一个简单命题用同一个命题变项符号表示）。 其次，按自然语言语句所表达的命题的逻辑含义确定其中各个成分命题（简单命题）的先后配置次序，为此可用括号“（”、“）”为其辅助符号。 如果合同有效，那么甲方和乙方就应遵守合同。 如果用“p”表示“合同有效”，用“q”和“r”分别表示“甲方应遵守合同”、“乙方应遵守合同”。 p→（q∧r）“如果p，则q 而且r”； （p→q）∧r “如果p则q，并且r”。 ①在有括号时，先括号内，后括号外； ②在无括号时，?最先，∧、∨和次之；→、←和?最后。 p→ q∧r 小张和小王不能同时上场比赛。 如果用“p”和“q”分别表示“小张上场比赛”和“小王上场比赛”，则相应的命题形式为： ?（q∧r） 小张和小王至少有一人上场比赛。 如果用“p”和“q”分别表示“小张上场比赛”和“小王上场比赛”，则相应的命题形式为： p∨q 二、命题的永真式、协调式和永假式 由已学过的命题联结词和p、q、r 等命题变项组成的命题形式，其数目有无限多。若根据命题形式所表示的真值函项的不同，则无数的命题形式可分为三大类：永真式（又叫重言式）、协调式和矛盾式。 所谓真值函数，就是函数值为真值，而且其自变元的值