《离散数学》证明题:证明等价式:┐(任意x)A(存在x)┐A(注意:上面的任意 ,存在为符号,因为这两个符号打不出来,所以用中文代替)

来源:学生学帮网 编辑:学帮网 时间:2024/07/01 06:16:25

《离散数学》证明题:证明等价式:┐(任意x)A(存在x)┐A
(注意:上面的任意 ,存在为符号,因为这两个符号打不出来,所以用中文代替)

很显然,R是A上的非空关系,因为恒等关系IA包含于R. 对任意的a∈A,aRa所以,R是A上的等价关系.