• 2022-07-23
    离散数学命题函数
  • 可以总结出结论:量词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)),不就是命题逻辑中的一个等值式嘛(德.摩根律)-------上面这个题目考虑的这种命题的符号化有两种形式表示,事实上就是后面要介绍的“量词等值式”

    内容

    • 0

      指出下列语句哪些是命题,对于命题指出其真值。离散数学是计算机专业的必修课。

    • 1

      将命题: “只要我参加了离散数学的补考,就证明我的离散数学的绩点为0。” P: 我参加了离散数学的补考。Q: 我的离散数学的绩点为0。符号化的结果是

    • 2

      数学命题的教学主要指等数学真命题的教学。

    • 3

      离散数学作业3.doc《离散数学》作业1.doc离散数学作业2.doc

    • 4

      数学命题接受学习是把数学命题直接呈现在学生面前通过分析命题所涉及的数学概念以及数学命题的条件与结论,得出命题的逻辑关系,然后学习命题的证明过程,并用实际例子对命题的正确性进行验证。()