关于逻辑符号‘对任意’和‘存在一个’的运用

关于逻辑符号‘对任意’和‘存在一个’的运用
既含有全称量词和存在量词的命题的否定应该是怎样的,比如:若一个函数满足命题P:“对任意ε,存在δ,对任意两点x1、x2,当│x1-x2│
带有多个全称量词与存在量词的命题的一般否定形式应该是怎样的,是说非命题而不是否命题。
g547yfhw456 1年前 已收到4个回答 举报

黑木耳粉 幼苗

共回答了14个问题采纳率:85.7% 举报

一般否定:全称量词改为存在量词,存在量词改为全称量词,谓词改为此谓词的否定
P:对任意ε,存在δ,对任意两点x1、x2,当│x1-x2│

1年前 追问

1

g547yfhw456 举报

我觉得你给的这个一般否定形式是对的,但下面这个例子你给的答案好像不对,‘当│x1-x2│<δ时’也要取反?这个语句不属于判断吧。

cn525down 幼苗

共回答了7个问题 举报

对任意ε,δ,对任意两点x1、x2,当│x1-x2│<δ时,│f(x1)-f(x2)>ε”则该函数一致连续

1年前

1

巧克力杨 幼苗

共回答了1个问题 举报

非p:对全部∈,不存在δ,对任意两点。。。。。你的理解对那这种形式的非P对不对呢? 存在一个ε,对任意δ,存在两点x1,x2,当│x1-x2│<δ时,│f(x1)-f(x2)│>=ε。 对你提出的非P形式给出一个错误例子来说明你给的Q形式不是非P形式 如果说P:对于任意x,存在一个y,使f(x,y)<0,正确。虽然能说明Q:对于任意x,不存在一个y,使f(x,y)<0,错误。但Q错误并不能说...

1年前

0

bailh 幼苗

共回答了2个问题 举报

对任意ε,δ,对任意两点x1、x2,当│x1-x2│<δ时,│f(x1)-f(x2)>ε”则该函数一致连续靠不要乱答好不好,我说的这个P不包括引号后面的“则该函数一致连续”。其实你根本没学高数吧?我复制上的,没看见啊。都研究生了,还不学高数??那不好意思啊,那么你确定你的回答是正确的?感觉有点怀疑啊...

1年前

0
可能相似的问题
Copyright © 2024 YULUCN.COM - 雨露学习互助 - 20 q. 0.022 s. - webmaster@yulucn.com