强化班逻辑(之二)

《强化班逻辑(之二)》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、第二讲逻辑学相关基础知识及其在考试中的正确应用命题逻辑★在考试中最具应用价值的几个命题逻辑的知识点充分条件条件关系分析必要条件充分必要条件命题推理的形式分析几个重要公式在分析和演算中的运用（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）几种基本的复合命题推理在分析和演算中的运用有效式：否定肯定式相容选言推理无效式：肯定否定式选言推理不相容选言推理有效式：否定肯定式肯定否定式肯

2、定前件式有效式否定后件式充分条件假言推理否定前件式无效式肯定后件式否定前件式有效式肯定后件式假言推理必要条件假言推理肯定前件式无效式否定后件式充要条件假言推理有效式：肯定前件式肯定后件式否定前件式否定后件式★基本概念命题：有真假的句子命题的值：真/假原子命题复合命题支命题联结词常用联结词：并非并且∧或者∨要么…要么如果…那么　　　　→只有…才　　　　（←）当且仅当★几种基本类型的复合命题联言命题相容选言命题不相容充分条件假言命题必要条件充要条件负命题定义分类一般形式日常语言形式符号形式逻辑值（真值表）名称种

3、类形式定义联言p并且qp∧qp和q都真选言相容p或者qpqp和q至少有一真不相容要么p，要么qp和q有且只有一真假言充分如果p，则qpq有p一定有q必要只有p，才qqppq无p一定无q。充要p当且仅当qpq有p一定有q，无p一定无q。负并非ppP假1=真；0=假只有p，才q=qp=如果q，那么p1∧1=1；1∧0=0∧1=0∧0=000=0；11=01=10=010=0；11=01=00=111=00=1；10=01=0pqp∧qpq要么p，要么qpq只有p，才qp

4、q11110111100110100101110000000111★条件关系p是q的充分条件：有p一定有q；无p未必无q无q一定无p；有q未必无pp是q的必要条件：无p一定无q，有p未必有q有q一定有p；无q未必无pp是q的充要条件条件关系的日常语言表达p是q的充分条件：如果p，则q只要p，就q…p是q的必要条件：只有p才q（如要）q，必须p除非p，否则不q…如果p是q的充分条件，则q是p的必要条件。反之亦然。[思考]“犯罪”是“违法”的（）“认识错误”是“改正错误”的（）“吸烟”是“患肺癌”的（）。A．充分

5、条件B．必要条件C．充分必要条件D．不构成条件关系★几个重要的等值公式负联言命题的等值命题（并非：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”等值于“p并且q，或者，非p并且

6、非q”。（要么p，要么q）（（pq）（pq））例如：“并非：要么小李当代表，要么小张当代表”等值于“小张和小张都当代表，或者小李和小张都不当代表”。负充分条件假言命题的等值命题“并非：如果p，那么q”等值于“p并且非q”。（pq）（pq）例如：“并非：如果谎言重复多遍，就能成为真理”，等值于“谎言重复多遍，也不能成为真理”负必要条件假言命题的等值命题“并非：只有p，才q”等值于“非p并且q”。（只有p才q）（pq）例如：“并非：只有天才，才能发明”等值于“不是天才，也能发明”。负

7、充要条件假言命题的等值命题“并非：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））（pq）（pq）（只有p才q）（pq）（pq）（（pq）（pq））pp（pq）(pq）★几种基本类型的复合命题推理联言

8、推理相容选言推理选言推理不相容选言推理充分条件假言推理假言推理必要条件假言推理充要条件假言推理联言推理分解式：p并且qp并且q------------/------------所以，p所以，q合成式：pq----------------------所以，p并且q有效式：否定肯定式相容选言推理无效式：肯定否定式选言推理不相容选言推理有效式：否定肯定式肯定否定式相容选言推理否定肯定式（有效