逆换式：给定命题P→Q， 则把Q → P 称为命题P→Q的逆换式。 反换式：给定命题 P→Q， 则称﹃ P→ ﹃ Q为命题P→Q的反换式， 逆反式：给定命题P→Q ， 则称﹃ Q→ ﹃ P为命题P→Q的逆反式。 逆反式与原命题的真值表完全一样，也就是它们本质上相同。 因为： P→Q为假当且仅当P为真并且Q为假；也就是当且仅当Q为假并且P为真；也就是当且仅当﹃ Q为真并且﹃ P为假；也就是当且仅当﹃ Q→ ﹃ P为假。

置换规则、换名规则、代替规则 1. 置换规则 设(A)是含A的公式, 那么, 若AB, 则(A)(B). 2. 换名规则 设A为一公式，将A中某量词辖域中个体变项的所有约束 出现及相应的指导变元换成该量词辖域中未曾出现过的个 体变项符号，其余部分不变，设所得公式为A，则AA. 3. 代替规则 设A为一公式，将A中某个个体变项的所有自由出现用A中 未曾出现过的个体变项符号代替，其余部分不变，设所得 公式为A，则AA.

本科离散数学的部分习题的课件和答案，很详细，觉得很好！