上传者: 42205158
|
上传时间: 2021-12-12 12:54:32
|
文件大小: 1.66MB
|
文件类型: -
逆换式:给定命题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为假。