复习(数理逻辑部分).docVIP

第1章 命题逻辑的基本概念 一：基本概念： 1.称能判断真假而不是可真可假的陈述句为命题。 2.真值为真的命题称为真命题。 3.真值为假的命题称为假命题。 4.简单命题(原子命题)。 5.由简单命题通过联结词而成的陈述句，称这样的命题为复合命题。 例1 判断下列句子是否为命题。 (1)4是素数。 (2)x大于y。 (3)充分大的偶数等于两个素数之和。 (4)北京是中国的首都。 (5)请不要吸烟！ (6)我正在说假话。 6.合式公式: 命题符号与联结词组成 不是合式公式的例子：pq→r；(p→(r→q) 7.公式的类型：重言式、永真式、可满足式 重言式(永真式)：都是1 矛盾式(永假式)：都是0 可满足式：有1，也有0 二. 联结词： 否定 ： ┐p 非p 合取： p∧q p并且q(或“p与q”) 析取： p∨q p或q 蕴涵： p→q 如果p，则q 等价： p(q p当且仅当q 本书规定的联结词优先顺序为：( )，┐，∧，∨，→， (，对于同一优先级的联结词，先出现者先运算。 例2令 p：北京比天津人口多。 q：2+2＝4. ???? ?r：乌鸦是白色的。 求下列复合命题的真值： ?(1)(q∨r)→(