02简易逻辑--命题的四种形式212.pptVIP

  • 0
  • 0
  • 约3.57千字
  • 约 9页
  • 2018-04-28 发布于贵州
  • 举报
02简易逻辑--命题的四种形式212

一、命题的有关概念 1.命题 可以判断真假的语句. “非 p”形式的复合命题与 p 的真假相反; 2.逻辑联结词 “或”、“且”、“非”. 3.简单命题 不含逻辑联结词的命题. 4.复合命题 含有逻辑联结词的命题. 5.复合命题真值表 “p 或 q”形式的复合命题当 p 与 q 同时为假时为假, 其它情形为真; “p 且 q”形式的复合命题当p 与q同时为真时为真, 其它情形为假. p 非 p 真 假 假 真 p q p 或 q 真 真 真 真 假 真 假 真 真 假 假 假 p q p 且 q 真 真 真 真 假 假 假 真 假 假 假 假 ①由简单命题构成复合命题时, 不一定是简单地加“或、且、非”等逻辑联结词; 另外应注意含“或、且、非”等词汇的命题也不一定是复合命题, 在进行命题的合成或分解时一定要检验是否符合复合命题的“真值表”, 如果不符要作语言上的调整. ②命题的“否定”是学习上的重点, 因为这是“反证法”证明的第一步. 必须注意, 命题的“否定”与一个命题的“否命题”是两个不同的概念: 对命题 p 的否定(即非 p )是否定命题 p 所作的判断; 而“否命题”是对“若 p 则 q”形式的命题而言, 要同时否定它的条件与结论. 6.注意 典型例题 例1 写出由下述各命题构成的“

文档评论(0)

1亿VIP精品文档

相关文档