deductive-reasoning

What problem does it solve?

提供基于形式逻辑的法律推理框架，将非结构化的法律规范与案卷事实转化为可检验、可复现的演绎链条（P-F-C），帮助用户分析案件逻辑、验证推理并提取三段论结构。

Core Features & Use Cases

• 基于形式逻辑的推理框架：将大前提P、小前提f/F、结论C及中项系统化组织。
• 支持判案逻辑的结构化分析、推理有效性检查和中项追踪。
• 用例：分析某案的事实与法条关系，形成可审阅的三段式推理链，并标注潜在的逻辑缺陷与可改进点。

Quick Start

请为给定案卷材料生成一个完整的P-F-C推理链条，并标注中项及可能的逻辑问题。