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

求离散学习答案?

  •  
  •   Zach369 · 338 天前 · 13605 次点击
    这是一个创建于 338 天前的主题,其中的信息可能已经有所发展或是发生改变。
    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   338 天前
    第二个, 必要性是显然的,因为循环可以由传递性和对称性直接得出

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

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

    如果某人不喜欢音乐,即¬C,那么根据命题 2,得到 B,喜欢体育,再根据命题 1 的逆反命题,此人¬A,不喜欢美术.
    5分钟快3关于   ·   FAQ   ·   API   ·   5分钟快35分钟快3我 们 的愿景   ·   广告投放   ·   感谢   ·   实用小5分钟快3工具   ·   818 人在线   最高记录 5168   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 19ms · UTC 21:05 · PVG 05:05 · LAX 14:05 · JFK 17:05
    ♥ Do have faith in what you're doing.