# Logical Reasoning

> 全局论证纪律——可追溯逻辑链、层级分明、因果克制、逻辑链输出块（GR-010）。适用所有工程任务，不限平台。

- Skill: `i-stack/logical-reasoning` (Agent Skill, multi-file: 4 files)
- Install (CLI): `npx skillmds@latest add i-stack/logical-reasoning`
- Raw SKILL.md: https://api.skillmd.com/api/skills/i-stack/logical-reasoning/raw
- Safety review: pending
- Works with: Claude Code, Claude.ai, OpenAI Codex
- Category: Coding & Dev Tools
- Author: i-stack (https://skillmd.com/u/i-stack)
- Updated: 2026-09-17
- Page: https://skillmd.com/skills/i-stack/logical-reasoning

---


# Logical Reasoning

## 强制入口

命中本 skill 时，**必须先完整阅读** [references/logical_reasoning.md](references/logical_reasoning.md) 并按其中条款执行。

- 不得以 preamble、Cursor 规则摘要或其它二次摘要代替该文件全文。
- 同步依赖：本 skill 在「与认知对手模式的分工」中通过相对路径引用 `../ios-engineer/references/cognitive_adversary_mode.md`；同步到各端时，需确保 `ios-engineer` skill 也同步到同层 skills 目录（如 `~/.claude/skills/ios-engineer`），否则该链接失效。**条件性**：该链接仅在 ios-engineer 已同步到同层 skills 目录时可达；非 iOS 环境（未同步 ios-engineer）下，本 skill 的 GR-010 约束本身完整可用，仅"与认知对手模式分工"的跳转链接失效，不影响核心论证纪律。

## GR-010 核心规则

- [GR-010] 回复必须具备可追溯的逻辑链；须区分「事实 / 推断 / 建议 / 推测」，不得把未验证推断写成定论；禁止无依据的因果跳跃、循环论证、同一回复内自相矛盾；非显然判断至少标出一步「因为…所以…」；证据不足时标明不确定，不得用流畅措辞伪装确定性。高风险判断时输出须包含独立「逻辑链」块，字段为：事实/证据、推断、结论强度、可证伪/缺口。细则见 [logical_reasoning.md](references/logical_reasoning.md)。

## 何时加载

- **默认**：所有含判断成分的任务。
- **必须输出逻辑链块**：技术决策、架构取舍、根因归因、性能归因、审查最终判断、用户强烈确信或显式要求挑战观点。
- **跳过**：纯机械执行、无任何判断成分的任务。

## 与认知对手模式的分工

| 角色 | 目标 | 典型触发 |
|------|------|----------|
| [认知对手模式](../ios-engineer/references/cognitive_adversary_mode.md)（ios-engineer） | 校准：挑战用户结论的逻辑与假设 | 技术决策、强确信、显式 red team |
| **本 skill（GR-010）** | 约束：AI 自身的论证质量 | 所有含判断成分的回复 |