第24讲常用逻辑用语,推理与证明

第24讲带用之辑用语，推理与证明基础知识常用逻辑用语命题命题：可以判断真假的语句叫命题；逻辑联结词：“或”“且”“非”这些词就叫做逻辑联结词；简单命题：不含逻辑联结词 的命题。复合命题：由简单命题与逻

第讲带用之辑用语，推理与证明 24 基础知识 i. 常用逻辑用语 (1) 命题 命题：可以判断真假的语句叫命题； 逻辑联结词：“或”“且”“非”这些词就叫做逻辑联结词；简单命题：不含逻辑联结 词的命题。复合命题：由简单命题与逻辑联结词构成的命题。 p,qj,s,… 常用小写的拉丁字母表示命题，故复合命题有三种形式：或〃且非 pq；q； P O (2) 复合命题的真值 “非形式复合命题的真假可以用下表表示： 非〃 P 假 真 真 假 “〃且形式复合命题的真假可以用下表表示: 0” q 且 P0 P 真 真 真 假 假 真 假 假 假 假 假 “〃或形式复合命题的真假可以用下表表示: 0” q 或 pq P 真 真 真 假 真 真