deductive-reasoning

Convert legal premises into testable P-F-C reasoning chains.

Updated May 28, 2026
One-click install
npx skills add https://github.com/MaryHu-YR/Legal-Skills-Chinese-w-MCP --skill deductive-reasoning
Or copy as Structured Prompt for Agent
Please help me install this Agent Skill.
Skill: deductive-reasoning
Source: https://github.com/MaryHu-YR/Legal-Skills-Chinese-w-MCP/tree/main/skills/deductive-reasoning
Command: npx skills add https://github.com/MaryHu-YR/Legal-Skills-Chinese-w-MCP --skill deductive-reasoning

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

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

Core Features & Use Cases

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

Quick Start

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

Frequently Asked Questions about deductive-reasoning

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I build a formal deductive reasoning chain for legal case analysis?

To build a deductive reasoning chain, convert legal norms and case facts into testable P-F-C structures. This workflow organizes major premises, minor premises, and conclusions to validate argumentative validity and extract syllogistic patterns.

What is a P-F-C chain in legal logic and jurisprudence?

A P-F-C chain in legal logic is a formal syllogistic structure mapping premises and facts to conclusions. It explicitly identifies major premises, minor premises, middle terms, and conclusions to create a traceable, auditable reasoning path.

How do I validate argumentative validity and trace middle terms in case files?

Validate argumentative validity and trace middle terms by converting case materials into formal deductive reasoning chains. This process systematically identifies logical flaws and extracts syllogistic patterns across civil and criminal matters.

Can I use formal deductive logic for both civil and criminal matter analysis?

Yes, formal deductive logic applies to both civil and criminal matter analysis. The workflow extracts syllogistic patterns and structures factual and legal premises into testable P-F-C chains across various legal contexts.

Does legal reasoning work with unstructured case facts to extract syllogistic patterns?

Legal reasoning works with unstructured case facts by converting them into formal deductive structures. It transforms raw case materials and legal norms into auditable reasoning paths with explicitly identified premises and conclusions.