另一个数学逻辑和形式逻辑的问题我们在形式逻辑中学过:否(A且B),等价于,否A或否B,那么,若在点的集合A中,任意一个元素,都不满足(x≤2且y≤8),是不是就等价于“任意一个元素,都满足 x>2或者y>8呢”?

问题描述:

另一个数学逻辑和形式逻辑的问题
我们在形式逻辑中学过:否(A且B),等价于,否A或否B,
那么,若在点的集合A中,任意一个元素,都不满足(x≤2且y≤8),是不是就等价于
“任意一个元素,都满足 x>2或者y>8呢”?

对,就是这样的.
其实原命题中(x≤2且y≤8)就是x≤2的意思,不满足x≤2就是满足x>2
变形后的命题中的(x>2或者y>8)就是x>2的意思,也就是满足x>2