列出十个有效推理的形式与名称

Yes的先验规则：“Q”可以从“如果P，则Q，和P”导出； 前面的no规则：“not p”可以从“if p, then q, and not q”推导出来； 组合规则：“P连Q”可以由“P，Q”导出； “如果P，则Q”和“如果P，则R”可以从“如果P，则R”导出； 论证：从“如果P，则Q”我们可以推导出“如果不是Q，则不是P”； 从“P”我们可以推导出“P不相交Q”，从“not P”我们可以推导出双重否定定律； 组合分解定律：“P连Q”可近似为“P”：“P”可近似为“P”； “p 组合 p”等于“p”

帮忙看一个逻辑推理题，讨论一下推理形式和有效性（急）

身体健康、学习好、思想品德好是综合判断。
领队或推荐预备队是选拔的综合判断。
如果联合判断中的对联为假，则综合判断为假。
如果复合判断为假，则联合动词分支必定为假。
如果析取复合判断的析取成分为假，则该复合判断可能不为假。
如果综合判断为假，则所有析取因素均为假。
根据规则，只有（联合复合判断）p、（析取复合判断q）才能成为假设判断的必要条件。
如果不是p，则不是q 学生身体素质较差p，则析取复合判断为假 不是q。
“入选系列赛球队或推荐至预备队”是错误的。
该学生既不能入选主队，也不能推荐至预备队。

无聊的逻辑学：常用的命题逻辑有效推理形式

在逻辑中，同义反复可以表达有效的论证形式，分析别人的论证是否可以变成同义反复可以帮助我们判断论证的有效性。
在构建有效的演绎论证时，只需记住常见的推理形式即可。
推理和论证在逻辑中是同义词，分别作为动词和名词存在。
在表达式中，我们用符号“⊢”来表示“输入”，左边是论证的前提，右边是结论。
每个论证只有一个结论，不需要用逗号分隔。
接下来，我们将介绍9种最常用的推理形式。
1. **断言先行词形式**：如果前提是“p→q，p”，则结论是“q”。
对应的同义反复是“((p→q)∧p)→q”。
案例：如果张三是歌手，那么张三唱得很好。
张三确实是一位歌手。
所以，张三唱得很好。
2. **负导数形式**：如果前提是“p→q，p”，则结论是“q”。
相应的同义反复是“((p→q)∧Øq)→Øp”。
案例：如果下雨，不要出去。
从门口。
所以没有下雨。
3. **假设三段论**：前提是“p→q，q→r”，结论是“p→r”。
相应的同义反复是“((p→q)∧(p→r))→(p→r)”。
案例：如果你送花给小梅，那么小梅会很高兴。
如果小梅高兴的话，那么小梅就会更愿意答应我的要求。
因此，如果我送花给小梅，那么小梅会更倾向于答应我的要求。
4. **析取三段论**：前提是“p∨q, Øp”，结论是“q”或“p∨q, Øq”，结论是“p”。
相应的同义反复是“((p∨q)∧Øp)→q”或“((p∨q)∧Øq)→p”。
案例：这本书可能是借给小张的，也可能是借给小李的。
我不会借给小李的。
所以，这本书肯定是借给小张的。
5. **构造性困境推理**：前提是“(p→q)∧(r→s)”，结论是“p∨r”并遵循“q∨s”。
对应的同义反复是“((p→q)∧(r→s)∧(p∨r))→(q∨s)”。
例如：如果你说谎，别人就不会相信你。
如果你说真话，别人会觉得你好欺负。
你要么撒谎，要么说实话。
因此，别人要么不信任你，要么认为你很容易被欺负。
6. **破坏性困境推理**：前提是“(p→q)∧(r→s)”，结论是“Øq∨Øs”，遵循“Øp∨Ør”。
相应的同义反复是“((p→q)∧(r→s)∧(Øq∨Øs))→(Øp∨Ør)”。
示例：如果您送孩子上学，您上班就会迟到。
如果你去学校接孩子，你就必须早点下班。
要么不能迟到，要么不能早下班。
因此，您要么无法送孩子上学，要么无法接他们放学。
以上六种推理形式是比较常用且有效的形式。
那么我们就介绍一下最基本也是最常用的四种： 1. **关系输入定律**：前提是“p，q”，结论是“.p∧q”。
简而言之，根据p和q，我们可以得到p连接q。
2. **关系消除法则**：前提是“p∧q”，结论是“p”或“q”。
简而言之，当 p 与 q 相关时，我们自然可以导出 p 或 q。
3. **析取输入定律**：前提是“p”，结论是“p∨q”。
这也很简单，因为只要析取分支的至少一个命题为真，则整体为真。
由于 p 已经为真，因此任何除以 p 的命题也为真。
以上是9种常用的有效推理形式。
需要注意的是，论证的有效性并不意味着结论一定是正确的，只有当论证合理时。
有效性的唯一条件是，如果前提为真，则结论也一定为真。
可信性需要两个条件：如果前提为真，则结论也一定为真。
换句话说，当且仅当论证有效并且其前提为真时，论证才是合理的。
如果前提不成立，即使论证有效，结论也可能不正确。
逻辑主要关注论证的有效性，因为论证的有效性涉及前提是否真实。
目前的事实状况需要由真正使用逻辑形式的人来调查。
然而，如果论证无效，则无论前提是否正确，即使前提正确，结论也不能被接受，因为论证本身无效。
在评价别人的论证或构造自己的论证时，我们通常首先确定论证的形式是否有效，然后确认前提是否正确。
形式有效性可以在案头以低成本实现，而场所真实性则需要实际调查，费时费力。
今天的练习就这样了。
知识点以粗体突出显示，方便复习，无需任何总结。
下次我们将考虑等价推理的形式。