离散数学如图，为什么第一题不用换名规则而第二题用？
创始人
2024-08-07 10:12:13
0次
离散数学如图，为什么第一题不用换名规则而第二题用？
全称量词，对 且关系则不需换名；全称量词对 或关系需要换名；存在量词对 且关系需要换名；存在量词对 或关系 不需要换名，依据量词分配等价式：全称量词只对且关系有分配律，存在量词 只对或关系有分配律。
第一题是且的关系，同一个变量要满足两个条件，所以不能换名
第二题是或的关系，同一个变量只要满足一个条件，两个变量各满足一个条件即可，所以要换名
离散数学如图，为什么第一题不用换名规则而第二题用？ 2个回答

上一篇：兰州拉面在制作的过程中，都需要哪些步骤？

下一篇：漫威已经四部的蜘蛛侠到底有多强

相关内容

热门资讯

王家大院现在的所有者还是王家的... 王家大院现在的所有者还是王家的后人吗？我说的是山西灵石的王家大院．．．现在不知道是被收为国，还是仍为...
张奚若几个子女 张奚若几个子女 3个。张奚若一共有三个孩子，两个儿子分别是张文朴、张文逸，女儿是张文英。张奚若（...
金豆银豆结婚了吗 金豆银豆结婚了吗结婚啦。知音2013年8月下半月版报道了，金豆，银豆不但活着，而且双双都能站立起来。...
求《孽恋—父女情》一、二、三部... 求《孽恋—父女情》一、二、三部全本，男主程志扬，女主程嘉嘉一共三部，不要断层的，不要删节的。 第一部...
写字好看的女生有什么优势 写字好看的女生有什么优势见字如见人，字好看 很加分的。学校有书法比赛时很吃香哦感觉没有打字快的女生有...
我家办白事,朋友给我发红包,我... 我家办白事,朋友给我发红包,我该怎么说感谢话我家办白事,朋友给我发红包,我该怎么说感谢话当家里有事情...
小猿众包骗局 小猿众包骗局小猿众包是小猿旗下的可以在家做题赚钱的兼职，平时如果时间充裕的情况下可以做做小猿众包挣个...
杨大勇的妻子是谁 杨大勇的妻子是谁杨大勇的妻子是一位名叫王小丽的女性。据悉，王小丽与杨大勇相识于大学时期，两人相恋多年...
魔兽世界属性等级面板怎么调出来 魔兽世界属性等级面板怎么调出来角色信息里最右边有个所有属性等级的面板没了，怎么调出来啊按C以后，右上...
青出于蓝胜于蓝，计上心头来生报... 青出于蓝胜于蓝，计上心头来生报。猜一生肖？求答案？青出于蓝胜于蓝，计上心头来生报。猜一生肖——答案：...