我要投搞

标签云

收藏小站

爱尚经典语录、名言、句子、散文、日志、唯美图片

当前位置:刘伯温论坛 > 非自反性 >

请教高人:什么是自反性(refelexivity)?

归档日期:04-20       文本归类:非自反性      文章编辑:爱尚语录

  可选中1个或多个下面的关键词,搜索相关资料。也可直接点“搜索资料”搜索整个问题。

  自反性[reflex州ty:pe如e砍”BH0cT“」 二元关系的一个性质.集合A上的二元关系(场- nary relation)R是自反的(re份xive),如果对所有的 a‘A有aRa.自反关系的例子有相等关系,等价关 系,序关系.T.c.中呻aHoBa撰赵希顺译 可驳公式[re加妞b.forlnl山;onponep狱”Ma,加pMy- ,],形式可驳公式(formally refutahlefo功叫da),在 给定公式系统中 其否定可以在给定系统中推导出的闭公式. B .H.fpH山班n撰 【补注】给定逻辑系统中的闭公式A是形式可判定的 (由c翻巨b比)(见可判定公式(de‘dable ror丽a3,’茹 果A是可证的或可驳的.

  在逻辑学和数学中,集合 X 上的二元关系 R 是自反的,若所有 a 属于 X,a 关系到其自身。

  满足传递性的自反关系称为预序关系。满足反对称性的预序关系称为偏序关系。满足对称性的预序关系称为等价关系。

本文链接:http://saltstudios.net/feizifanxing/125.html