SkillFeeder › 全部 Skill › Bug与质量 › deductive-reasoning
把案件事实和法条自动拆解成三段论，验证推理是否成立
deductive-reasoning
deductive-reasoning 是 SkillFeeder 收录的Agent Skill，来自 GitHub 仓库 THUYRan/Legal-Skills-Chinese，★ 959。把案件事实和法条自动拆解成三段论，验证推理是否成立。适合律师、法学生、法官助理。场景是Bug与质量 · 测试验证。能做的事包括输出标准P-F-C演绎链、区分自然事实与法律定性、标记推理漏洞或缺失前提。打开 GitHub 自行安装。
能做什么
- 输出标准P-F-C演绎链
- 区分自然事实与法律定性
- 标记推理漏洞或缺失前提
原文简介
基于形式逻辑执行严密的法律演绎推理。当用户要求"分析案件逻辑"、"验证法律推理"、"提取三段论"、"梳理案件事实与法条的关系"或"判断法律论证的有效性"时使用本技能。 为用户提供基于形式逻辑的法律推理框架，将非结构化的法律规范与案件事实转化为有效、可检验、可复现的演绎论证链条（P-F-C）。
同场景推荐
- finishing-a-development-branch所在仓库 obra/superpowers，仓库 ★ 315,170自动验证测试、识别环境、提供并执行合并策略，完成开发分支收尾
- test-driven-development所在仓库 obra/superpowers，仓库 ★ 315,170先写失败测试，再写最小实现代码，确保每次交付都经测试验证
- verification-before-completion所在仓库 obra/superpowers，仓库 ★ 315,170运行验证命令并确认输出后，才声明任务完成或修复成功。
- writing-plans所在仓库 obra/superpowers，仓库 ★ 315,170根据需求规格生成可直接执行的工程师级实现计划
- writing-skills所在仓库 obra/superpowers，仓库 ★ 315,170用测试驱动方式编写、修改和验证 agent 技能文档
- agent-runtime-gateway-smoke-test所在仓库 affaan-m/ECC，仓库 ★ 300,254端到端验证本地 agent API、临时网关隧道与远程沙箱回调链路
- ai-regression-testing所在仓库 affaan-m/ECC，仓库 ★ 300,254自动检测AI自写自审引入的回归缺陷，无需数据库即可运行沙箱测试。
- api-connector-builder所在仓库 affaan-m/ECC，仓库 ★ 300,254按项目现有风格快速生成合规的 API 连接器