Back to skills
SKILL.md
Logical Deduction Framework
ASecurity当需要从已知事实或前提中,严谨地推导出结论、验证论点或进行清晰推理时
- 12 stars
- 0 votes
- 0 copies
- 1 view
- Added September 9, 2026
Security analysis
100/100Pro scans all 3 files and shows the line behind each finding
npx -y skills add DracoUnion/dankoe-skills --skill logical-deduction-framework --agent claude-codeAre you the author of Logical Deduction Framework?
Add the live security badge to your README. It updates with every re-scan.
[](https://www.skillsdirectory.com/skills/dracounion-logical-deduction-framework)---
name: logical-deduction-framework
description: 当需要从已知事实或前提中,严谨地推导出结论、验证论点或进行清晰推理时
---
# logical-deduction-framework
## When to Use
当需要从已知事实或前提中,严谨地推导出结论、验证论点或进行清晰推理时。description
## Core Logic
# 执行步骤
1. **明确前提与目标**:清晰列出所有已知的、被认定为真的前提条件或事实。同时,明确本次推理需要得出的具体结论或需要验证的命题。
* **判断标准**:前提清单完整、无遗漏,且目标结论表述清晰、无歧义。
* **常见误区**:将未经证实的假设或主观感受当作前提;目标结论模糊不清。
* **关系**:是“研究”模型信息处理阶段的前置步骤。
2. **构建推理链条**:使用演绎、归纳或溯因等逻辑方法,将前提与结论连接起来。每一步推导都应有明确的逻辑规则支持(如三段论、假言推理等)。
* **判断标准**:推理步骤清晰,每一步的输入(上一步结论/前提)和输出(新结论)明确,逻辑规则适用正确。
* **常见误区**:出现逻辑谬误(如偷换概念、以偏概全、循环论证);跳跃式推理,缺少中间步骤。
* **关系**:与“统计学”模型互补,逻辑处理定性关系,统计处理定量关系。
3. **检查逻辑有效性**:审视整个推理链条,检查是否存在隐藏的假设、逻辑矛盾或前提错误。可以尝试寻找反例来挑战结论。
* **判断标准**:推理链条经得起内部一致性检验,未发现逻辑矛盾;能明确识别出推理所依赖的所有隐含条件。
* **常见误区**:只进行证实性思考,忽略证伪可能性;未能识别出依赖于未声明的价值观或信念。
* **关系**:为“修辞学”模型中的论点构建提供严谨性基础。
4. **输出结论与限定条件**:明确陈述推导出的结论,并同时列出该结论成立所依赖的所有前提和假设。如果推理存在概率性(如归纳推理),需说明其置信度。
* **判断标准**:结论表述精准,附带完整的有效性边界说明(如“在X和Y前提下,Z成立”)。
* **常见误区**:将结论绝对化,忽略其依赖条件;混淆“逻辑上有效”与“事实上为真”。
* **关系**:其输出可作为“投资”或“代理”决策模型的输入依据之一。
# 输出格式要求
以结构化形式呈现:
1. **前提**:[列出所有前提]
2. **推理过程**:[简述关键推理步骤及所用逻辑规则]
3. **结论**:[明确陈述结论]
4. **限定条件与假设**:[说明结论成立所依赖的所有条件和未经验证的假设]
5. **逻辑强度评估**:[评估该推理是演绎必然、高度可能还是初步推测]
## Metadata
| 属性 | 值 |
|------|-----|
| 领域 | 逻辑推理 |
| 类型 | procedural (procedural) |
| 置信度 | 90% |
| 前置条件 | 需要明确已知的事实、数据或前提条件。 |
| 来源 | 未来保障技能栈:2:核心七艺 - 逻辑 |
Files in this skill
- SKILL.md
- references/source.md
- scripts/run.py
Attribution
Comments
Loading comments…