作者gooogle79 (北风乱 夜未央)
看板logic
标题[请益] 有没有是自反但不是完全自反的关系?
时间Mon Aug 8 18:44:46 2011
以下"存在"皆以"E"表示
"所有x"以"(x)"表示
完全自反：(x)Rxx
自反 ：(x)(Ey)((Rxy v Ryx)--> Rxx)
已知任何一关系若为完全自反则有自反关系，今欲求一关系，其
具有自反性质但不具有完全自反性质？
-------------------------------------------------------------------------
我问彭老师，老师的解答是"属於"：
「属於」：每个集合或者属於某个集合，或者有个集合属於它，但没有任何集合属於自己
坦白说我看不太懂他的回答，同时也想知道有无其他例子，因此来版上请教各位大大
＞＜～～感激!!!
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 140.112.115.224