离散数学命题函数设P(x)是命题函数"x是一名会计师".设Q(x)是命题函数"x拥有一辆Porsches汽车".用符号写
来源:学生作业帮 编辑:搜搜考试网作业帮 分类:数学作业 时间:2024/06/05 02:02:44
离散数学命题函数
设P(x)是命题函数"x是一名会计师".设Q(x)是命题函数"x拥有一辆Porsches汽车".用符号写出下列名子.(任何用A表示,存在用E表示,非用N表示)
⑴所有的会计师都拥有一辆Porsches汽车.Ax(P(x)→Q(x)).
那Ax(P(x)∧Q(x))不行么?
⑵某一个会计师拥有一辆Porsches汽车.Ex(P(x)∧Q(x)).
那Ex(P(x)→Q(x))不行么?
其中⑵的否定式用文字和符号怎表示?
这里有N(Ex(P(x)→Q(x)))=AxN(P(x)→Q(x))```
之后就是一头?号了```
更正:N(Ex(P(x)→Q(x))应为N(Ex(P(x)∧Q(x)))```
之后=AxN(P(x)∧Q(x))=Ax(NP(x)∨NQ(x))```
这个和原命题```感觉很奇怪```
无法理解```
设P(x)是命题函数"x是一名会计师".设Q(x)是命题函数"x拥有一辆Porsches汽车".用符号写出下列名子.(任何用A表示,存在用E表示,非用N表示)
⑴所有的会计师都拥有一辆Porsches汽车.Ax(P(x)→Q(x)).
那Ax(P(x)∧Q(x))不行么?
⑵某一个会计师拥有一辆Porsches汽车.Ex(P(x)∧Q(x)).
那Ex(P(x)→Q(x))不行么?
其中⑵的否定式用文字和符号怎表示?
这里有N(Ex(P(x)→Q(x)))=AxN(P(x)→Q(x))```
之后就是一头?号了```
更正:N(Ex(P(x)→Q(x))应为N(Ex(P(x)∧Q(x)))```
之后=AxN(P(x)∧Q(x))=Ax(NP(x)∨NQ(x))```
这个和原命题```感觉很奇怪```
无法理解```
可以总结出结论:量词A和→对应,量词E和∧对应
“所有的会计师都拥有一辆Porsches汽车”可以改写为:对于任意的x,如果x是会计师,则x拥有一辆Porsches汽车.所以符号化为:Ax(P(x)→Q(x))
“某一个会计师拥有一辆Porsches汽车”可以改写为:存在x,x是会计师且x拥有一辆Porsches汽车.所以符号化为:Ex(P(x)∧Q(x))
它的否定本身就可以符号化为:N(Ex(P(x)∧Q(x))),“不存在x,x是会计师且x拥有一辆Porsches汽车”又可以改写为:对于任意的x,如果x是会计师,则x不会拥有一辆Porsches汽车,所以,又可以符号化为:Ax(P(x)→E(Q(x))))
由AxN(P(x)∧Q(x))变到Ax(NP(x)∨NQ(x)),不就是命题逻辑中的一个等值式嘛(德.摩根律)
-------
上面这个题目考虑的这种命题的符号化有两种形式表示,事实上就是后面要介绍的“量词等值式”
“所有的会计师都拥有一辆Porsches汽车”可以改写为:对于任意的x,如果x是会计师,则x拥有一辆Porsches汽车.所以符号化为:Ax(P(x)→Q(x))
“某一个会计师拥有一辆Porsches汽车”可以改写为:存在x,x是会计师且x拥有一辆Porsches汽车.所以符号化为:Ex(P(x)∧Q(x))
它的否定本身就可以符号化为:N(Ex(P(x)∧Q(x))),“不存在x,x是会计师且x拥有一辆Porsches汽车”又可以改写为:对于任意的x,如果x是会计师,则x不会拥有一辆Porsches汽车,所以,又可以符号化为:Ax(P(x)→E(Q(x))))
由AxN(P(x)∧Q(x))变到Ax(NP(x)∨NQ(x)),不就是命题逻辑中的一个等值式嘛(德.摩根律)
-------
上面这个题目考虑的这种命题的符号化有两种形式表示,事实上就是后面要介绍的“量词等值式”
设命题p:存在x∈R,不等式x^2+2ax+4≤0是假命题;命题q:函数f(x)=-(7-3a)^x是减函数,p,q有一
设命题p:函数F(x)是R上的减函数 命题q:函数y=lg(ax2-x+a)
设命题p:不等式ax^2+ax+1>0的解集为R;命题q:函数f(x)=-(7-3a)^x是减函数,
设命题P:函数y=c^x在R上单调递减命题q:关于x的不等式x+1/(x+1)>2c对于x>-1恒成立如果p∨q是真命题
已知c>0,设命题p:函数y=cx为减函数;命题q:当x∈[12
设命题p:函数f(x)=(a−32)
一道关于命题的数学题设命题p:函数f(x)=lg(ax^2-x+a/4)的定义域为R(这里是a乘以x的平方),命题q:不
设命题p:函数f(x)=2^(a^2-a-2)x是减函数;命题q:不等式ax^2+2ax+2>0的解集为R,如果p且q为
设函数f(x)=|x|x+bx+c,给出四个命题,正确的序号是:
一道数学命题题设命题P函数f(x)=lg(ax^2-x+1/16a)的定义域为R 命题q不等式3^x-9^x少了一句且“
设命题P函数f(x)=lg(ax^2-x+a/16)的定义域为R 命题q不等式3^x-9^x
设命题P 函数的定义域为R 命题Q不等式对于一切正整数x均成立 1 如果P是真命题求实数a的取值范围