离散数学串讲 概述 概述 第一章命题演算 第一章命题演算 第一章命题演算 第一章命题演算 第一章命题演算 第一章命题演算 第一章命题演算 三、等价公式与演算 公式 G, H是等价的,如果在其任意 的指派下其真值相同 。 此表中最后两个重点记忆。 证明两个公式等价或永真永假或可 满足式,可用 等值演算或真值表法 。 第一章命题演算 第一章命题演算 第一章命题演算 第一章命题演算 第一章命题演算 第一章命题演算 第一章命题演算 第一章命题演算 第一章命题演算 第一章命题演算 第一章命题演算 第一章命题演算 第一章命题演算 第一章命题演算 第一章命题演算 第一章命题演算 第一章命题演算 第一章命题演算 第二章谓词演算 第二章谓词演算 第二章谓词演算 第二章谓词演算 第二章谓词演算 第二章谓词演算 第二章谓词演算 第二章谓词演算 第二章谓词演算 第二章谓词演算 第二章谓词演算 第二章谓词演算 第二章谓词演算 第二章谓词演算 第二章谓词演算 第二章谓词演算 第二章谓词演算 第二章谓词演算 第二章谓词演算 第二章谓词演算 第二章谓词演算 第二章谓词演算 第二章谓词演算 第二章谓词演算 第三章集合与