首页   注册   登录
V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
Coding
V2EX  ›  数学

求离散学习答案?

  •  
  •   Zach369 · 47 天前 · 2545 次点击
    这是一个创建于 47 天前的主题,其中的信息可能已经有所发展或是发生改变。
    1. 用谓词逻辑符号化以下命题,并推证结论的有效性。 “任何人如果他喜欢美术,他就不喜欢体育。每个人或喜欢体育,或喜欢音乐,有的人 不喜欢音乐,因而有的人不喜欢美术。”

    2. 设 R 是集合 A 上的二元关系,如果对于任意的 a, b, c∈A,若 aRb 且 bRc,则有 cRa,那 么称 R 是循环的。 证明:R 是等价关系当且仅当 R 是自反的和循环的。

    1 回复  |  直到 2019-10-25 00:56:25 +08:00
        1
    Xs0ul   47 天前
    第二个, 必要性是显然的,因为循环可以由传递性和对称性直接得出

    充分性只需要证明对称. 对任意 aRb, 由自反性又有 bRb, 所以由循环性定义得出 bRa, 即对称性成立. 循环性加对称性可以直接得出传递性成立
    关于   ·   FAQ   ·   API   ·   我们的愿景   ·   广告投放   ·   感谢   ·   实用小工具   ·   3640 人在线   最高记录 5043   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.3 · 19ms · UTC 05:27 · PVG 13:27 · LAX 21:27 · JFK 00:27
    ♥ Do have faith in what you're doing.