形式逻辑部分公式、符号和规则_第1页
形式逻辑部分公式、符号和规则_第2页
形式逻辑部分公式、符号和规则_第3页
全文预览已结束

下载本文档

版权说明：本文档由用户提供并上传，收益归属内容提供方，若内容存在侵权，请进行举报或认领

文档简介

PAGEPAGE1/3P，P，q“pq”判断部分一、性质判断对当关系1、AE2、IO3、AO；EI不可同真，不可同假4、AI；EO全称真，特称必真；全称假，特称真假不定；特称真，全称真假不定；特称假，全称必假二、性质判断主项、谓项的周延情况1、全称判断的主项都周延，特称判断的主项都不周延；2、肯定判断的谓项都不周延，否定判断的谓项都周延三、联言判断的真假（P并且q； P∧q）当所有的联言肢都为真，该联言判断才为真只要有一个联言肢为假，该联言判断必假。四、相容选言判断的真假情况：P或者q； 只要有一个选言肢为真，该选言判断就真；只有当所有的选言肢为假，该选言判断才假有而且只有一个选言肢为真时，该选言判断就真；其余情况都为假。P，qPq，PqqPqP”P，q；Pq，PqqP，qPPq；“p←→Pq，Pq，qP，qP”[（pq）∧P [（pq）∧P q；[（pq）∧qP[（pq）∧P]→q；[（pq）∧非q]→P一、性质判断变形直接推理1、换质法SEP→SASAP→SESIP→SOSOP→SI2、换位法AP→PIS；SEP→PES；SIP→PIS；SOP→不可换位二、三段论的规则1、有并且只有三个不同的项，否则会犯“四项错误”2、中项至少周延一次，否则会犯“中项不周延”的逻辑错误。3、前提中不周延的大项或小项，在结论中也不得周延。否则会犯“大项扩大”或“小项扩大”的逻辑错误。4、两个否定前提，不能推出结论；前提中有一个是否定的，结论必否定。5、两个特称前提，不能推出结论；前提中有一个是特称的，结论必特称。三、联言推理的种类1、分解式（P∧q）→P（q）2P、q）→（P∧q）四、选言推理的种类1、相容选言推理的规则：否定肯定式是有效式：[（p∨q）∧非p]→q； [（p∨q）∧非q肯定否定式是无效式2、不相容选言推理的规则：有肯定否定式和否定肯定式两种有效式五、假言推理1、充分条件假言推理的有效式：[（P→q）∧P]→q；肯定前件式[（P→q）∧非q]→非P；否定后件式2、充分条件假言推理的无效式[（P→q）∧P]→非q（否定前件式）[（P→q）∧q]→P（肯定后件式）3、必要条件假言推理的正确有效式：[（P←q）∧P]→非q[（P←q）∧q]→P；肯定后件式4、肯定前件式和否定后件式是必要条件假言推理的无效式。[（P←q）∧P]→q；肯定前件式[（P←q）∧q]→p、否定后件式5、充要条件假言推理的有效式：第一[（P← q）∧P]→q（肯定前件式）第二[（P← q）∧非P]→非q（否定前件式第三[（P← q）∧q]→P（肯定后件式）第四：[（P← q）∧非q]→非P（否定后件式式）6、假言推理正确式的口诀：

人人文库> 全部分类> 行业资料 > 信息产业

温馨提示

  • 1. 本站所有资源如无特殊说明，都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等，如果需要附件，请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸，网页内容里面会有图纸预览，若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对用户上传分享的文档内容本身不做任何修改或编辑，并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容，请与我们联系，我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

最新文档

评论

0/150

提交评论