简易逻辑与推理证明学案.doc

《简易逻辑与推理证明学案.doc》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、简易逻辑与推理证明简易逻辑1.真值表ｐｑ非ｐｐ或ｑｐ且ｑ真真假真真真假假真假假真真真假假假真假假2.常见结论的否定形式原结论反设词原结论反设词是不是至少有一个一个也没有都是不都是至多有一个至少有两个大于不大于至少有个至多有()个小于不小于至多有个至少有()个对所有，成立存在某，不成立或且对任何，不成立存在某，成立且或3.四种命题的相互关系原命题　　　　　　　互逆　　逆命题若ｐ则ｑ　　　　　　　　　若ｑ则ｐ　　　　　　　互　　　　　　互　　互　　　　　　　　为　　为　　　　　　　　互　　否　　　　　　　

2、　　　　　　　　　　　　　　否　　　　　　　　　逆　　　逆　　　　　　　　　　　　　　　　　　否　　　　　否否命题　　　　　　　　　　　　　　　逆否命题　　　若非ｐ则非ｑ　　　　互逆　　　　　若非ｑ则非ｐ4.充要条件(1)充分条件：若，则是充分条件.(2)必要条件：若，则是必要条件.(3)充要条件：若，且，则是充要条件.注：如果甲是乙的充分条件，则乙是甲的必要条件；反之亦然.