Question

充分条件的推理否定前件能否定后件

Answer 1

一 思维的逻辑形式：思维内容各部分的联系方式（或形式结构）。它是人们对各种判断和推理分析后的成果。
它有逻辑常项和逻辑变项两部分构成，比如：
a 所有的人都是动物。
b 如果没有水那么植物就不能生长。
其中a的逻辑形式是：所有的s都是p。b的逻辑形式是：如果p，那么q。其中s、p、q，可以换做其他内容，称为逻辑变项。剩下的则是逻辑常项。
其中逻辑常项是判断和区分逻辑形式的唯一根据。
二
1 充分条件假言推理
a 肯定前件就要肯定后件，否定后件就要否定前件。
b 否定前件不能否定后件，肯定后件不能肯定前件。
根据规则对应有两个正确的推理形式：a 肯定前件式 b 否定后件式（符号不会打）

2 必要条件假言推理
a 否定前件就要否定后件，肯定后件就要肯定前件。
b肯定前件不能肯定后件，否定后件不能否定前件。
根据规则对应有两个正确的推理形式：a否定前件式 b肯定后件式
3 充分必要条件的假言推理
a 肯定前件就要肯定后件，否定后件就要否定前件。
b 否定前件就要否定后件，肯定后件就要肯定前件。
根据规则对应有四个正确的推理形式：a肯定前件式和否定后件式 b 否定前件式和肯定后件式。
三 什么是概念的内涵和外延
a 内涵 ：反映在概念中对象的特有属性或本质属性，即概念的定义。
b 外延 ：具有概念所反映的特有属性或本质属性的对象，即符合概念内涵的事物。
例如：汽车（内涵）——一种公路行驶的机动交通工具。外延则是各种各样，各个品牌具体的汽车。

Answer 2

充分条件假言推理是根据充分条件假言命题的逻辑性质进行的推理。
充分条件假言推理有两条规则：
规则1：肯定前件，就要肯定后件；否定前件，不能否定后件。
规则2：肯定后件，不能肯定前件；否定后件，就要否定前件。
根据规则，充分条件假言推理有两个正确的形式：
（1）肯定前件式
如果p，那么q
p
___________
所以，q
（2）否定后件式
如果p，那么q
非q