课件离散数学大工-第一章 命题逻辑-3rd.pdfVIP

离散数学 第一章 命题逻辑 回顾 •命题变元 •合式公式 •重言式—永真式 •矛盾式—永假式 •永真蕴含式 •代入规则 •替换规则 •常用逻辑恒等式（30 ） •常用永真蕴含式（16 ） 1.4对偶原理 •定义： 设有公式A，其中仅含有逻辑联结词,, 和逻辑 * TF和。在A中将,,,TF分别换以,,FT, ，得公式A， * 则称AA为的对偶式。 •注意:求对偶式并不要求将“非”变原，而且对偶 式是相互的。 •举例： –求 P(QR) 的对偶式 P (QR)