自考00024普通逻辑终极绝杀30点.pdf

1、第 1页共 12页普通逻辑普通逻辑1.1.概念的种类概念的种类1.依据概念外延的大小概念外延的大小，可以将概念分为空概念、单独概念和普遍概念空概念、单独概念和普遍概念。（1）空概念空概念：外延为空集的概念称为空概念。例如“永动机永动机”、“1818 世纪的中国总统世纪的中国总统”、“太阳太阳系的第三大恒星系的第三大恒星”和“方的圆方的圆”，其所描述的对象均不存在，因此都是空概念空概念。（2）单独概念单独概念：外延只有一个对象的概念称为单独概念。例如“拿破仑拿破仑”、“长江长江”、“埃菲尔埃菲尔铁塔铁塔”、“世界最高的山峰世界最高的山峰”、“写作写作沉思录沉思录的罗马帝国皇帝的罗马帝国皇帝”、“

2、人类历史上第一次伤亡人类历史上第一次伤亡人数超过千万的战争人数超过千万的战争”都是单独概念。2.依据概念所反映的对象是否集合体是否集合体，可以将概念分为集合概念和非集合概念集合概念和非集合概念。（1）集合概念集合概念：所反映的对象是一个集合体的概念称为集合概念。（2）非集合概念非集合概念：所反映的对象不是一个集合体的概念称为非集合概念。区分集合概念还是非集合概念区分集合概念还是非集合概念：要看这个概念所反映的对象是否集合体。一个基本的方法是看这个概念所反映的属性是否为这个概念所涉及的每一个个体所具有。3.依据概念所反映的是个体、性质还是关系可以将概念分为个体概念、性质概念和关系概念个体概念、性

3、质概念和关系概念。4.依据概念所反映的对象是否具有某种属性否具有某种属性，可以将概念分为正概念和负概念正概念和负概念。（1）正概念正概念：反映对象具有某种属性的概念。例如“温”、“良”、“主流”和“脊椎动物”都是正概念。（2）负概念负概念：反映对象不具有某种属性的概念。例如“不良”、“非主流”和“无脊椎动物”都是负概念。2.2.概念间的关系概念间的关系1.对于两个概念，其外延之间可能存在如下五种关系：同一关系同一关系、真包含关系真包含关系、真包含于关系真包含于关系、交交叉关系和全异关系叉关系和全异关系。2.同一关系同一关系:概念 A 与概念 B 之间有同一关系，当且仅当概念 A 与概念 B 的

4、外延完全相同。3.真包含关系真包含关系:如果概念 A 与概念 B 之间有真包含关系，外延大的概念外延大的概念 A A 称为属概念称为属概念,外延小的概外延小的概念念B B 称为种概念称为种概念。4.真包含于关系真包含于关系:概念 A 与概念 B 之间有真包含于关系，当且仅当，对于任一对象 x，如果 x 属于 A，则 x 也属于 B；并且存在对象 y，y 属于 B 但是不属于 A。5.交叉关系交叉关系:概念 A 与概念 B 之间有交叉关系，当且仅当，（1）存在对象 x,x 既属于 A 又属于 B；（2）存在对象 y，y 属于 A 但是不属于 B；（3）存在对象 z,z 属于 B 但是不属于 A。

5、6.全异关系全异关系:概念 A 与概念 B 之间有全异关系，概念 A 与概念 B 的外延完全不同。7.相对于它们的属概念 C，A、B 两个概念之间的全异关系还可以进一步分为矛盾关系矛盾关系和反对关系反对关系。（1）矛盾关系矛盾关系：如果具有全异关系的两个概念 A、B 的外延之和等于它们的属概念 C 的外延，那么称 A、B 两个概念之间（相对于属概念 C）有矛盾关系。（2）反对关系反对关系：如果具有全异关系的两个概念的外延之和小于它们的属概念 C 的外延，那么称 A、B 两个概念之间（相对于属概念 C）有反对关系。第 2页共 12页8.A、B 两个概念的外延如果存在相同的部分，则称 A、B 两个

6、概念之间有相容关系相容关系；A、B 两个概念的外延如果不存在相同的部分，则称两个概念之间有不相容关系不相容关系。第 3页共 12页3.3.概念的概括与限制概念的概括与限制1.概念的限制概念的限制是通过增加概念的内涵增加概念的内涵、缩小概念的外延缩小概念的外延来明确概念的一种逻辑方法。（考察具体应用。如三角形直角三角形）2.对属概念进行限制所增加的内涵不能与该属概念已有的属性相冲突，否则就会犯“限制不当限制不当”的逻辑错误。3.概念的概括概念的概括是通过减少概念的内涵减少概念的内涵、扩大概念的外延扩大概念的外延来明确概念的一种逻辑方法。（考察具体应用。如直角三角形三角形）4.对种概念进行概括，种

7、概念的外延必须包含于概括后得到的属概念的外延之中，否则就会犯“概概括不当括不当”的逻辑错误。4.4.判断概述判断概述1.判断判断是对思维对象有所断定的思维形式。2.判断的特征：判断都有所断定。判断都有真假。3.简单判断和复合判断：简单判断简单判断是自身中不含有其他判断的判断，复合判断复合判断是自身中包含有其他判断的判断。4.性质判断和关系判断：性质判断性质判断是断定对象是否具有某种性质的判断，关系判断关系判断是断定对象与对象之间是否具有某种关系的判断。5.模态判断和非模态判断：模态判断模态判断指的是包含模态词的判断,非模态判断非模态判断指的是不包含模态词的判断。所谓模态词指的是描摹事物状态的词

8、，如“可能”、“必然”、“曾经”、“永远”等。5.5.性质判断性质判断1.性质判断由主项、谓项、联项和量项主项、谓项、联项和量项四部分构成。2.在性质判断的命题形式中，主项和谓项是逻辑变项逻辑变项，联项和量项是逻辑常项逻辑常项。3.按质分按质分：性质判断分为肯定判断肯定判断和否定判断否定判断。4.按量分按量分：性质判断可以分为单称判断单称判断、全称判断全称判断和特称判断特称判断。5.按质量结合质量结合分：可以分为单称肯定判断单称肯定判断、单称否定判断单称否定判断、全称肯定判断全称肯定判断、全称否定判断全称否定判断、特称肯特称肯定判断定判断和特称否定判断称否定判断六种。6.基本形式：名称名称标准

9、形式标准形式简记简记简称简称全称肯定判断所有 S 都是 PSAPA 判断全称否定判断所有 S 都不是 PSEPE 判断特称肯定判断有的 S 是 PSIPI 判断特称否定判断有的 S 不是 PSOPO 判断6.6.性质判断性质判断同素材性质判断之间的真假关系同素材性质判断之间的真假关系1.矛盾关系矛盾关系：分别存在于 A 和 0、E 和 I 之间。具有矛盾关系的两个判断，既不能同真，也不能同既不能同真，也不能同第 4页共 12页假假。即如果一个判断是真的，则另一个判断就是假的；如果一个判断是假的，则另一个判断就是真的。（一真一假）一真一假）2.反对关系反对关系。存在于 A 和 E 之间。具有反对

10、关系的两个判断，不能同真不能同真，可以同假可以同假。即如果一个判断是真的，则另一个判断就是假的；如果一个判断是假的，则另一个判断真假不定。（至少一假至少一假）3.下反对关系下反对关系。存在于 I 和 O 之间。具有下反对关系的两个判断，不能同假不能同假，可以同真可以同真。即如果一个判断是假的，则另一个判断就是真的；如果一个判断是真的，则另一个判断真假不定。（至少至少一真）一真）4.差等关系差等关系。分别存在于 A 和 I、E 和 O 之间。具有差等关系的两个判断，一个是全称判断，一个是特称判断。具有差等关系的两个判断之间具有如下的真假关系：如果全称判断是真的如果全称判断是真的，则特称则特称判断

11、也是真的判断也是真的；如果全称判断是假的，则特称判断真假不定；如果特称判断是真的，则全称判断真假不定；如果特称判断是假的，则全称判断也是假的如果特称判断是假的，则全称判断也是假的。（全真特真，特假全假）（全真特真，特假全假）7.7.性质判断性质判断主、谓项的周延性主、谓项的周延性1.性质判断的四种基本形式 A、E、I、0 主、谓项的周延情况如下表：判断形式判断形式主项（主项（S S）谓项（谓项（P P）A周延不周延E周延周延I不周延不周延O不周延周延8.8.关系判断关系判断1.关系判断由关系者项、关系项和量项关系者项、关系项和量项三部分构成。2.自返关系自返关系：如果对于特定论域中的任一对象

12、x，都有 R（x，x）成立，那么称关系 R 为该论域上的自返关系。3.非自返关系非自返关系：如果在特定论域中，存在对象 x，R（x，x）不成立，那么称关系 R 为该论域上的非自返关系。4.禁自返关系禁自返关系：如果对于特定论域中的任一对象 x，R（x,x）都不成立，那么称关系 R 为该论域上的禁自返关系。5.对称关系对称关系：如果对于特定论域中的任一对象 x 和任一对象 y,若 R（x,y）成立，则 R（y,x）一定成立，那么称关系 R 为该论域上的对称关系。6.非对称关系非对称关系：如果在特定论域中，存在对象 x、y,R（x，y）成立但是 R（y，x）不成立，那么称关系 R 为该论域上的非对

13、称关系。7.禁对称关系禁对称关系：如果对于特定论域中的任一对象 X 和任一对象 y,若 R（x,y）成立，则 R（y,x）定不成立，那么称关系 R 为该论域上的禁对称关系。8.传递关系传递关系：如果对于特定论域中的任一对象 x、任一对象 y 和任一对象 z，若 R（x,y）和 R（y,z）成立，则 R（x,z）定成立，那么称关系 R 为该论域上的传递关系。9.非传递关系非传递关系：如果在特定论域中，存在对象 x、y、z，R（x,y）和 R（y,z）成立但是 R（x,z）不成立，那么称关系 R 为该论域上的非传递关系。10.禁传递关系禁传递关系：如果对于特定论域中的任一对象 x、任一对象 y 和

14、任一对象 z，若 R（x,y）和 R（y,z）成立，则 R（x,z）定不成立，那么称关系 R 为该论域上的禁传递关系。11.概念间的五种关系的对称与传递性概念间的五种关系的对称与传递性：同一关系对称且传递交叉关系对称且非传递全异关系对称且非传递真包含关系禁对称且传递真包含于关系禁对称且传递矛盾关系对称且禁传递第 5页共 12页反对关系对称且非传递9.9.联言判断联言判断1.复合判断复合判断：自身中包含有其他判断的判断。2.联言判断联言判断：是断定几种事物情况同时存在同时存在的判断。3.联言判断的命题形式联言判断的命题形式：p 并且 q，有时也写作：pq，读作：p 合取 q。4.“p pq q”

15、的真值特征是的真值特征是：只有在只有在 p p、q q 都为真时，都为真时，“p pq q”才真才真，其余情况下“pq”均假。10.10.选言判断选言判断相容选言判断：相容选言判断：1.相容选言判断就是断定几个选言支中至少有一个为真至少有一个为真并且可以同时为真的选言判断。2.相容选言判断的命题形式：p p 或者或者 q q,有时也写作：pVq（读作：p 析取 q）。3.“p pq q”的真值特征是的真值特征是：只有在只有在 p p、q q 都为假时，都为假时，“p pq q”才假才假，其余情况下“pq”均真。不相容选言判断：不相容选言判断：1.不相容选言判断就是断定几个选言支中恰好有一个为真

16、断定几个选言支中恰好有一个为真的选言判断。2.不相容选言判断的命题形式：不相容选言判断的命题形式：要么要么 p p，要么，要么 q q，有时也写作：p p?q q（读作：p 不相容析取 q）3.“p p?q q”的真值特征是：只有在的真值特征是：只有在 p p、q q 的值不同时，的值不同时，“p p?q q”才真才真，其余情况下“p?q”均假。11.11.假言判断假言判断充分条件假言判断充分条件假言判断1.充分条件假言判断的命题形式：如果如果 p,p,那么那么 q q。有时也写作：。有时也写作：p pq q。读作：p 蕴涵 q。2.充分条件假言判断真假的确定：一个充分条件假言判断为真当且仅当

17、如果其前件为真，则后件一定为真。即只有当前件真且后件假时，充分条件假言判断才为假只有当前件真且后件假时，充分条件假言判断才为假。其他情况下,充分条件假言判断均为真。3.“p pq q”的真值特征是的真值特征是：只有在 p 真 q 假时，“pq”才假，其余情况下“pq”均真。必要条件假言判断必要条件假言判断1.必要条件假言判断的命题形式：只有只有 p,p,才才 q q。有时也写作：。有时也写作：p pq q。读作：p 逆蕴涵 q。2.必要条件假言判断真假的确定:一个必要条件假言判断为真当且仅当只有其前件为真,后件才为真。即只有当前件假但后件为真时只有当前件假但后件为真时，必要条件假言判断才为假必

18、要条件假言判断才为假。其他情况下，必要条件假言判断均为真。3.“p pq q”的真值特征是的真值特征是：只有在只有在 p p 假假 q q 真时，真时，“p pq q”才假才假，其余情况下“pq”均真。4.注：充分条件假言判断和必要条件假言判断可以相互转化：如果 p 是 q 的充分条件，那么 q 是 p的必要条件；如果 q 是 p 的必要条件，那么 p 是 q 的充分条件。充分必要条件假言判断充分必要条件假言判断1.充分必要条件假言判断的命题形式：p p 当且仅当当且仅当 q q。有时也写作：pq。读作：p 等值 q。2.充分必要条件假言判断真假的确定：一个充分必要条件假言判断为真当且仅当其前

19、件、后件同为真或者同为假。即当前、后件真假相同时，充分必要条件假言判断为真。当前、后件真假不同时，充分必要条件假言判断为假。3.“p pq q”的真值特征是的真值特征是：只有在只有在 p p、q q 值相等时，值相等时，“p pq q”才真才真，其余情况下“pq”均假。12.12.负判断负判断简单判断的负判断简单判断的负判断简单性质判断的负判断：分别在原判断前加简单性质判断的负判断：分别在原判断前加“并非并非”并非这个 S 是 P等值于这个 S 不是 P并非这个 S 不是 P等值于这个 S 是 P并非所有 S 都是 P等值于有的 S 不是 P第 6页共 12页并非所有 S 都不是 P等值于有的

20、 S 是 P并非有的 S 是 P等值于所有 S 都不是 P并非有的 S 不是 P等值于所有 S 都是 P13.13.负判断负判断复合判断的负判断复合判断的负判断并非（p 并且 q）等值于（并非 p）或（并非 q）并非（p 或者 q）等值于（并非 p）并且（并非 q）并非（要么 p，要么 q）等值于p 并且 q 或者（并非 p）并且（并非 q）并非（如果 p，那么 q）等值于p 并且并非 q并非（只有 p，才 q）等值于（并非 p）并且 q14.14.模态判断模态判断种类种类简记简记符号符号必然肯定判断必然 pp必然否定判断必然非 pp或然肯定判断可能 pp或然否定判断可能非 pp1 15 5

21、模态判断模态判断模态判断之间的真假关系模态判断之间的真假关系关系关系真假情况真假情况p 与p、p 与p 之间存在矛盾关系一真一假p 与p 之间存在反对关系至少一假p 与p 之间存在下反对关系至少一真p 与p、p 与p 之间存在差等关系必真或真或假必假二次矛盾：由此可知：由此可知：1.1.p p 等值于等值于p p；2.2.p p 等值于等值于p p；3.3.p p 等值于等值于p p；4.4.p p 等值于等值于p p。16.16.推理概述推理概述1.演绎推理演绎推理、归纳推理归纳推理、类比推理类比推理：根据思维进程的方向不同思维进程的方向不同，推理分为演绎推理、归纳推理和类比推理。2.必然性

22、推理必然性推理、或然性推理或然性推理：根据前提和结论之间的逻辑联系，可以把推理分为必然性推理和或然性推理。必然性推理必然性推理指的是如果前提真，那么结论一定真的推理。演绎推理和完全归纳推理属于演绎推理和完全归纳推理属于第 7页共 12页必然性推理必然性推理。或然性推理指的是如果前提真,那么结论仅仅可能真的推理。不完全归纳推理和类不完全归纳推理和类比推理属于或然性推理比推理属于或然性推理。3.模态推理模态推理、非模态推理非模态推理：根据推理中是否包含模态判断，可以把推理分为模态推理和非模态推理。4.一个推理形式是有效的，当且仅当具有此推理形式的任一推理都不会出现前提真而结论假不会出现前提真而结论

23、假的情况。17.17.直接推理直接推理17.17.直接推理直接推理基于换质、换位的直接推理基于换质、换位的直接推理1.换质法换质法是通过改变前提的质和谓项从而得出结论的直接推理。第 8页共 12页2.2.换位法换位法是通过交换前提主、谓项的位置从而得出结论的直接推理。3.3.由先换位而进行的推理（简称换位质推理）。由先换位而进行的推理（简称换位质推理）。SOPSOP 不能换位，因此，不能换位，因此，SOPSOP 无法先换位再换质。无法先换位再换质。4.4.由先换质而进行的推理（简称换质位推理）。由先换质而进行的推理（简称换质位推理）。第 9页共 12页SIPSIP 无法先换质再换位。无法先换质

24、再换位。18.18.三段论三段论1.三段论的公理三段论的公理：如果对一类对象的全部有所肯定或否定全部有所肯定或否定，则对该类对象的部分也有所肯定或否定。2.2.三段论的一般规则三段论的一般规则规则规则内容内容规则一有且只有三个不同的项规则二中项至少要周延一次规则三在前提中不周延的项，到结论中也不得周延。（若结论周延，则前提周延）规则四两个否定前提推不出结论。规则五如果前提有一否定，则结论否定；如果结论否定，则前提有一否定。规则六两个特称前提推不出结论。规则七如果两个前提中有一个是特称的，那么结论也是特称的。（1）规则一：有且只有三个不同的项。违反这一规则，通常会犯所谓的“四项错误四项错误”，即

25、在两个前提中出现了四个不同的概念。（2）规则二：中项至少要周延一次。违反这一规则，就会犯“中项两次不周延中项两次不周延”的错误。（3）规则三：在前提中不周延的项，到结论中也不得周延。违反这一规则，就会犯“大项不当周延大项不当周延”或“小项不当周延小项不当周延”的错误。1919.三段论三段论三段论的式三段论的式根据三段论的一般规则来检验三段论所有的 256 种可能式，可以得出如下 24 个有效式：第一格第一格第二格第二格第三格第三格第四格第四格AAAAEEAAIAAIEAEEAEEAOEAOAllAOOAllAEEEIOEIOEIOEIO（AAI）（AEO）IAIIAI（EAO）（EAO）OAO

26、（AEO）2020 选言推理选言推理相容选言推理相容选言推理1.选言推理是前提或者结论包含有选言判断的推理。（1）否定肯定式否定肯定式：推理形式是：pq,pq 或者 pq,qp。（2）析取引入式析取引入式：推理形式是：ppq 或者 qpq。第 10页共 12页2121 选言推理选言推理不相容选言推理不相容选言推理1.1.否定肯定式否定肯定式：推理形式是：p?q,pq 或者 p?q,qp。2.2.肯定否定式肯定否定式：推理形式是：p?q,pq 或者 p?q,qp2222 假言推理假言推理1.1.充分条件假言推理有四条规则：充分条件假言推理有四条规则：第一，肯定前件就要肯定后件。pq，pq第二，否

27、定后件就要否定前件。pq，qp第三，否定前件不能否定后件。pq，pq（无效）第四，肯定后件不能肯定前件。pq，qp（无效）2.2.必要条件假言推理有四条规则：必要条件假言推理有四条规则：第一，否定前件就要否定后件。pq,pq第二，肯定后件就要肯定前件。pq，qp。第三，肯定前件不能肯定后件。pq，pq。（无效）第四，否定后件不能否定前件。pq，qp。（无效）3.充分必要条件假言推理有四条规则：充分必要条件假言推理有四条规则：第一，肯定前件就要肯定后件。pq，pq第二，否定前件就要否定后件。pq，pq第三，肯定后件就要肯定前件。pq，qp第四，否定后件就要否定前件。pq，qp2323 二难推理二

28、难推理二难推理四种基本的推理形式：1.简单构成式简单构成式：pq，rq，prq2.简单破坏式简单破坏式：pq，pr，qrp。3.复杂构成式复杂构成式：pq，rs，prqs4.复杂破坏式复杂破坏式：pq，rs，qspr构成式是利用假言推理的充分条件肯定前件式；破坏式是利用假言推理充分条件的否定后件式。2424 模态推理模态推理一、基于对当方阵的模态推理一、基于对当方阵的模态推理1.1.基于矛盾关系的推理（二次矛盾）基于矛盾关系的推理（二次矛盾）（1）pp（2）pp（3）pp（4）pp（5）pp（6）pp（7）pp（8）pp2.2.基于反对关系的推理：基于反对关系的推理：（1）pp（2）pp第 1

29、1页共 12页3.3.基于下反对关系的推理：基于下反对关系的推理：（1）pp（2）pp4.4.基于差等关系的推理：基于差等关系的推理：（1）pp（2）pp（3）pp（4）pp二、二、根据模态判断与性质判断之间的关系进行的模态推理根据模态判断与性质判断之间的关系进行的模态推理（1）pp（2）pp（3）pp（4）pp三、三、根据包含复合判断的模态判断之间等值关系进行的模态推理根据包含复合判断的模态判断之间等值关系进行的模态推理（符号“pq”表示“p 和 q 可以互推”）：（1）（pq）pq（2）（pq）pq（3）（pq）pq（4）（pq）(pq)（5）（pq）（pq）（6）(pq）(pq)（7）(

30、pq)(pq)2525 不完全归纳推理不完全归纳推理1.不完全归纳推理不完全归纳推理是根据一类事物中部分对象具有某种属性推出该类事物的所有对象都具有该属性的推理。不完全归纳推理是一种或然性推理不完全归纳推理是一种或然性推理。2.简单枚举法简单枚举法是根据一类事物中部分对象具有某种属性，并且没有遇到与之相反的情况，从而推出该类所有对象都具有该属性的归纳推理。3.科学归纳法科学归纳法是根据一类事物中部分对象具有某种属性，并且该部分对象与该属性之间具有因果联系，从而推出该类所有对象都具有该属性的归纳推理。4.简单枚举法如果使用不当，就会犯“轻率概括轻率概括”的逻辑错误。5.简单枚举法的基本形式简单枚

31、举法的基本形式是：S1 是 P，S2 是 P,Sn-1 是 P，Sn 是 P，S1、S2、Sn-1、Sn 是 S 中的部分对象，并且没有遇到反例，所以，所有 S 都是 P。6.6.科学归纳法的基本形式是：科学归纳法的基本形式是：S1 是 P,S2 是 P,Sn-1 是 P,Sn 是 P,S1,、S2、Sn-1、Sn 是 S 中的部分对象,并且与 P 之间有因果联系，第 12页共 12页所以，所有 S 都是 P。2626 探求因果联系的逻辑方法探求因果联系的逻辑方法1.英国逻辑学家穆勒在总结培根等人的研究成果的基础上提出了探求因果联系的五种方法，史称“穆穆勒五法勒五法”，即求同法、求异法、求同求

32、异并用法、共变法和剩余法求同法、求异法、求同求异并用法、共变法和剩余法。2727 论证的规则论证的规则 1.论题必须明确“论题模糊论题模糊”2.论题必须保持同一“转移论题转移论题”3.论据必须真实“论据虚假论据虚假”或或“预期理由预期理由”4.论据的真实性不能依靠论题来证明“循环论证循环论证”5.从论据应能推出论题“推不出推不出”2828 反驳及其方法反驳及其方法1.反驳的结构：（1）被反驳的论题被反驳的论题，即将要被确定为假的判断；（2）反驳的论据反驳的论据，即用来确定被反驳论题为假的判断；（3）反驳方式反驳方式，即反驳中所运用的推理形式。2.反驳论证方式反驳论证方式指的是指出某一论证的论据

33、和论题之间没有逻辑关系，犯了“推不出推不出”的逻辑错误。其中，判断一个证明是否正确的标准是看该证明是否符合一个理论的公理和推理规则，而不是以名人的观点名人的观点为标准。有时也称这样的逻辑错误为“诉诸权威诉诸权威”。3.直接反驳直接反驳：归谬法，就是为了反驳某个判断，首先假定它是真的，然后由它推出荒谬的结论，最后根据充分条件假言推理的否定后件式，得出该判断是假的。4.归谬法的反驳过程可以表示如下归谬法的反驳过程可以表示如下：（1）反驳：p（2）假设：p 真（3）证明：如果 p 真，那么 q（4）非 q（5）因此，并非 p 真（6）所以，p 假。5.间接反驳间接反驳是先论证与被反驳的判断相矛盾或者相反对的判断为真，然后根据矛盾律确定被反驳的判断为假。6.间接反驳的反驳过程可以表示如下间接反驳的反驳过程可以表示如下：（1）反驳：p（2）假设：q（q 与 p 之间是矛盾关系或者反对关系）（3）证明：q 真（4）所以，p 假。