下载本文档
版权说明：本文档由用户提供并上传，收益归属内容提供方，若内容存在侵权，请进行举报或认领
文档简介
一、逻辑基本规律矛盾律：n所有的SP，有些S不是n所有S不是P，有些SP;nAP，A不是P;nP并且Q，或者非P或者非Q;nP或者Q，非P并且非Q;n如果P那么Q，P并且非n只有PQ，非PQ;n必然P，可能非P;n必然非P，可能P;同一律：排中率：二、直言命题和三段论：逻辑上的有些指的是弱的有些，因此从有些SP无法推出有些S不是两个概念之间有五种关系，分别是同一、包含、包含于、交叉、全异AEIO矛盾：所有S都是P=并非有些S不是P;所有S都不是P=并非有些S是P;有些S是P=并非所有S都不是P;有些S不是P=并非所有S都是P;差等：存在同质的全称命题和特称命题之间的对应关系S都是P和所有S都不是P下反对：指的是有些S是P和有些S不是P的关系，可以同时为真，不能同时为假;一个为假则另一个必为真，但是一个为真不知另一个真假;、连言命题和推理PQ：n合成式：P，Q所以PQn分解式：P并且Q，所以P/Qn否定式：并非P，所以并非P且Q2、选言命题和推理相容选言命题，P或者Q的模型n有效推理：P或者Q，非P，所以Q;P或者Q，非Q，所以P;P，P或者Qn无效推理：P或者Q，P，所以非Q，P或者Q，Q，所以非P不相容选言命题，要么P，要么Q，二者必居之一n有效推理：要么P，要么Q，非P，所以Q;要么P，要么Q，非Q，所以P;要么P，要么Q，P，所以非Q;要么P，要么Q，Q，所以非P;n无效推理：要么P，要么Q，P，Q;要么P，要么Q，Q，P;要么P，要么Q，非P，非Q;要么P，要么Q，非Q，非、假言命题充分条件假言命题：如果P，那么Q，只要P，就n只有前件真，后件假的情况下才能是假有效推理：如果P，那么Q，P那么Q;如果P，那么Q，非Q所以非P;n无效推理：如果P，那么Q，非P所以非QP，那么Q，Q，那么Pn如果P那么Q等值于“或者非P或者Q(P并且非Q)”必要条件假言命题：只有PQ;除非P否则不Q，n只有前件假，后件真的时候情况下才是假n有效推理：只有PQ，非P，所以非Q;只有PQ，Q，所以n无效推理：只有PQ，P，所以Q;只有PQ，非Q，所以非Pn如果P那么QQ才PQQ那么PQ”充要条件假言命题，P当且仅当Qn有效推理：当且仅当Q，P，所以Q;P当且仅当Q，Q，所以P当且仅当Q，非P，所以非Q;P当且仅当Q，非Q，所以非P;4、负命题n并非所有SPSP”n并非(PQ)=P或者非n并非(PQ)=P且非Qn并非如果P则Q=P并且非Qn并非如果P则Q=P并且非Qn并非只有PQPQn并非(P当且仅当Q)=PQQP5、模态命题和推理n必然P:推出并非必然非P;可能P;等值“并非可能非P”n必然非P：推出“并非必然P;可能非P;”等值“并非可能P”n并非可能P：推出“并非必然P;”n
温馨提示
- 1. 本站所有资源如无特殊说明，都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等，如果需要附件，请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸，网页内容里面会有图纸预览，若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对用户上传分享的文档内容本身不做任何修改或编辑，并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容，请与我们联系，我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
评论
0/150
提交评论