笔记离散数学.pdfVIP

离散数学复习笔记 数理逻辑 逻辑：以研究人的思维形式及思维规律为目的的一门学科 数理逻辑：利用数学符号来协助推理的一门形式逻辑学 命题：能表达判断并具有确定真值的陈述句 真值：每个命题都具有的一个值，要么为真，要么为假，不能随着环境变化 原子命题：不能再分解的命题 复合命题：由原子命题符号及联结词组成的有意义的命题表达式 否定非P 合取P而且Q 析取P可兼或Q 排斥析取P不可兼或Q 单条件若P 则Q 双条件P当且仅当Q 命题公式：满足特定条件的合法的命题表达式 分量：命题公式中的原子命题 翻译：将自然语言转化为数理逻辑语言 真值表：对一个命题公式而言，将对于其分量