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

求离散学习答案?

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

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

    2 条回复    2020-05-14 11:52:46 +08:00
    Xs0ul
        1
    Xs0ul  
       2019-10-25 00:56:25 +08:00
    第二个, 必要性是显然的,因为循环可以由传递性和对称性直接得出

    充分性只需要证明对称. 对任意 aRb, 由自反性又有 bRb, 所以由循环性定义得出 bRa, 即对称性成立. 循环性加对称性可以直接得出传递性成立
    qwertyegg
        2
    qwertyegg  
       2020-05-14 11:52:46 +08:00
    A:喜欢美术
    B:喜欢体育
    C:喜欢音乐

    命题 1: A -> ¬B
    命题 2: B or C,即¬B ->C,也即¬C -> B

    如果某人不喜欢音乐,即¬C,那么根据命题 2,得到 B,喜欢体育,再根据命题 1 的逆反命题,此人¬A,不喜欢美术.
    关于   ·   帮助文档   ·   博客   ·   API   ·   FAQ   ·   我们的愿景   ·   实用小工具   ·   944 人在线   最高记录 6543   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 22ms · UTC 20:57 · PVG 04:57 · LAX 13:57 · JFK 16:57
    Developed with CodeLauncher
    ♥ Do have faith in what you're doing.