离散数学如图,为什么第一题不用换名规则而第二题用?
创始人
2024-08-07 10:12:13
0次
离散数学如图,为什么第一题不用换名规则而第二题用?
全称量词,对 且关系则不需换名;全称量词对 或关系需要换名;存在量词对 且关系需要换名;存在量词对 或关系 不需要换名,依据量词分配等价式:全称量词只对且关系有分配律,存在量词 只对或关系有分配律。
第一题是且的关系,同一个变量要满足两个条件,所以不能换名
第二题是或的关系,同一个变量只要满足一个条件,两个变量各满足一个条件即可,所以要换名
相关内容
咏雪一文讲了一个什么故事
咏雪一文讲了一个什么故事记叙了一个下雪天,谢家子女即景赋诗咏雪的情...
2024-10-22 11:42:09
放弃还是继续。
放弃还是继续。她有心上人(由于种种原因他们不能在一起),我很喜欢她...
2024-10-22 11:41:46
新初三寄语鼓励的话
新初三寄语鼓励的话初三家长寄语:1、自信是所有成功人士必备的素质之...
2024-10-22 10:36:01