数理逻辑—命题逻辑分析.pptVIP

1.命题常元与命题变元 命题常元：表示一个具体的简单命题的符号。命题常元的真值是确定不变的，不是为1，就是为0。 命题变元：没有赋予具体内容的原子命题。该命题变量无具体的真值，它的只域是集合{T，F}(或{0，1})。 命题公式是由命题常元、命题变元、联结词、括号等组成的符号串，但并不是由这些符号任意组成的符号串都是命题公式。 应用3 在实际中的应用 (1).试用较少的开关设计一个与下图有相同功能的电路。 解：可将上图所示之开关电路用下述命题公式表示： (P∧Q∧S)∨(P∧R∧S) 利用基本等价公式，将上述公式转化为： (P∧Q∧S)∨(P∧R∧S) ?((P∧S)∧Q)∨((P∧S)∧R) ?(P∧S)∧(Q∨R) 所以其开关设计图可简化为： (2) 设计一种简单的表决器，表决者每人身旁有一个按钮，当表决者同意时则按下按钮；否者不按按钮。当表决结果超过半数时主席台上的绿灯亮，否者红灯亮。为简单起见，设表决者仅有三人，试设计一个满足上述条件的表决器。 解：设三个表决者的按钮分别为P、Q、R。根据题意可知，主席台上绿灯亮的条件可表示成命题公式： (┒P∧Q∧R)∨(P∧┒Q∧R)∨(P∧Q∧┒R)∨(P∧Q∧R) 对上述命题公式化简，得： ? (P∧(Q∨R))∨(Q∧R) 于是可用开关电路来设计该表决器。 * Discrete Mathematics 西南科