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

来源:学生作业学帮网 编辑:学帮网 时间:2024/06/28 23:52:39

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

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