2011年的离散数学数理逻辑部分形成性考核书面作业一、填空题1．命题公式 的真值是　 　．2．设P：他生病了,Q：他出差

__KHAKI 2023-03-16 22:03

• 

  _smile_smile

  2023-03-16 22:46

  2011年的离散数学数理逻辑部分形成性考核书面作业一、填空题1．命题公式 的真值是　 　．2．设P：他生病了,Q：他出差了．R：我同意他不参加学习.则命题“如果他生病或出差了,我就同意他不参加学习”符号化的结果为 3．含有三个命题变项P,Q,R的命题公式PQ的主析取范式是 ．x054．设P(x)：x是人,Q(x)：x去上课,则命题“有人去上课．” 可符号5．设个体域D＝{a,b},那么谓词公式 消去量词后的等值式为 ．6．设个体域D＝{1,2,3},A(x)为“x大于3”,则谓词公式(x)A(x) 的真值为 ．

  http://wap.jlsrtvu.com/media_file/2011_04_16/20110416152423.doc
  0 讨论(0)
  发布评论:

  提交评论

  ---

  •  加载中...