作业帮 > 数学 > 作业

逻辑学中并非所有aR有的b与并非有的aR所有b分别等值于什么命题

来源:学生作业帮 编辑:作业帮 分类:数学作业 时间:2024/05/19 15:57:43
逻辑学中并非所有aR有的b与并非有的aR所有b分别等值于什么命题
总觉得你这两个命题的说法有问题,语句不够通顺.我是这样理解的:
(1)并非对于所有的 a,都存在 b,使得:aRb;
(2)并非存在 a,对所有的 b,都满足:aRb;
你想知道它们的等值命题,只要换种说法就行了.最简单的就是把否定词后移:
(1′)对于有的 a,不存在 b,使得:aRb;
(2′)对于所有的 a,都存在 b,使得:aRb 不成立;
否定词的后置,是有公式的.如果用符号来表示,就更清楚了.