- 1、本文档共154页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
2.负命题的逻辑形式 *自然语言形式: 并非小李既聪明又能干。 *符号形式: 并非p,或?p 3.负命题的逻辑值及其种类 p ?p T F F T *逻辑值 结论:若被否定的命题为真,那么相应的负命题就为假;反之,若被否定的命题为假,那么相应的负命题就为真。 *负命题的种类 (1)联言命题的负命题 (2)相容选言命题的负命题 (3)不相容选言命题的负命题 (4)充分条件假言命题的负命题 (5)必要条件假言命题的负命题 (6)充分必要条件假言命题的负命题 一、负命题的等值推理 就是根据负命题以及它的等值命题之间的逻辑关系所进行的推理。 前提是负命题,结论是为该负命题的等值命题。 例如: (1)并非所有科学家都是大学毕业的; 所有,有些科学家不是大学毕业的。 (2)并非王莹既懂英语又懂俄语。 所有,王莹或者不懂英语,或者不懂俄语。 复 习 联言命题 命题形式:p并且q 例如: 小李是高富帅。 命题推理类型: 分解式: p并且q 为真,推出p为真;推出q为真。 例如: 小李是高富帅; 可推出:小李很帅。 组合式:p为真,并且q为真;推出p并且q为真。 例如: 小李很高;小李很帅;小李很富。 可推出:小李是高富帅。 选言命题 命题形式:p或者q(分为相容性与不相容性) 相容性选言命题: 小李或者高;或者帅;或者富。 不相容性选言命题: 小李的英语六级考试或者通过或者没通过。 选言命题 命题推理类型: 相容性: p或者q 为真,否定p;肯定q;肯定p,不能必然确定q。(只有否定肯定式) 小李或者高;或者帅;或者富。 经验证,小李不高也不帅; 可推出:小李很富有。 小李或者高;或者帅;或者富。 经验证,小李很高也很帅; 可推出:小李很富有?。 不相容性:p或者q 为真,否定p;肯定q;肯定p,否定q。(否定肯定式,肯定否定式) 小李现在要不在教室,要不在图书馆,为真。 经确证,小李不在教室;(否定) 可推出:小李在图书馆。(肯定) 小李现在要不在教室,要不在图书馆,为真。 经确证,小李在教室;(肯定) 可推出:小李不在图书馆。(否定) 假言命题 充分假言命题: 形式:如果p,那么q。 有之必然;无之不必然。 如果小王有选举权,那么,他就一定年满18岁。 充分假言命题推理类别: 如果小王有选举权,那么,他就一定年满18岁了。 经确认,小王有选举权。(肯定前件) 可推出,小王已经年满18岁。(肯定后件) 肯定前件式 如果小王有选举权,那么,他就一定年满18岁了。 经确认,小王没有选举权。(否定前件) 可推出,小王是否已经年满18岁,不确定。(不必然) 如果小王有选举权,那么,他就一定年满18岁了。 经确认,小王未满18岁了。(否定后件) 可推出,小王没有选举权。(肯定前件) 否定后件式 如果小王有选举权,那么,他就一定年满18岁了。 经确认,小王已满18岁了。(否定后件) 可推出,小王是否有选举权,不确定。(不必然) 必要假言命题: 形式:只有p,才q。 无之必然;有之不必然。 小王只有年满18岁,才具有选举权。 充分假言命题推理类别: 小王只有年满18岁,才具有选举权。 经确认,小王未满18岁,(否定前件) 可推出,小王不具有选举权。(否定后件) 否定前件式 小王只有年满18岁,才具有选举权。 经确认,小王已经满18岁,(肯定前件) 可推出,小王具不具有选举权,不确定。(不必然) 小王只有年满18岁,才具有选举权。 经确认,小王具有选举权,(肯定后件) 可推出,小王已经满18岁。(肯定前件) 肯定后件式 小王只有年满18岁,才具有选举权。 经确认,小王不具有选举权,(否定后件) 可推出,小王是否已经满18岁,不确定。(不必然) 充要假言命题: 形式:当且仅当p,那么q。 有之必然;无之必然。 当且仅当三角形三边相等,三角形等角。 当且仅当三角形三边相等,三角形等角。 经测量,三角形三边相等;(肯定前件) 可推出,三角形三角相等。(肯定后件) 肯定前件式 当且仅当三角形三边相等,三角形等角。 经测量,三角形三边不相等;(否定前件)
文档评论(0)