离散数学命题函数
设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))```
这个和原命题```感觉很奇怪```
无法理解```
邮箱: 联系方式: