法律逻辑学讲义ecture.pptVIP

* * 3.2.各种对当关系的涵义及其逻辑特征 任意两个命题形式f(x)与f(y)之间可能存在的对当关系，概括起来有以下几种，即：等值关系、矛盾关系、反对关系、下反对关系、蕴涵关系、逆蕴涵关系、独立关系。 说明：符号的涵义约定如下： “T” 表示 “真” “F” 表示 “假” “T/F” 表示 “可真可假”（真假不定） * * （1）等值关系（equivalent） f(x) f(y) T T F F 必然同真 必然同假 例：小王是党员； 小王不是非党员。 * * （2）矛盾关系（contradictor） f(x) f(y) T F F T 不能同真 不能同假 例：小王是湖南人； 小王不是湖南人。 * * （3）反对关系（contrary） f(x) f(y) T F F T F F 不能同真 可以同假 例：小王是四川人； 小王是湖南人。 * * （4）下反对关系（sub-contrary） f(x) f(y) F T T F T T 不能同假 可以同真 例：小王不是四川人； 小王不是湖南人。 * * （5）蕴涵关系（implication）与逆蕴涵关系（inverse implication） f(x) f(y) T T F F F T 可以同真 可以同假 若f(x)真f(y)必真， f(x)假f(y)可真可假，