用途：本技能基于形式逻辑执行法律演绎推理，适用于分析案件逻辑、验证法律推理、提取三段论、梳理案件事实与法条关系、判断法律论证有效性等请求。其目标是把非结构化的法律规范与案件事实，转化为有效、可检验、可复现的演绎论证链条（P-F-C）。
主要能力：把输入案卷材料分类为大前提（P，法律规则，含成文法、判例法、社会规范）、小前提（自然事实f与法律事实F）和结论（含中间结论、争议焦点、初步推断）；区分直言三段论与假言三段论（肯定前件式、否定后件式）；梳理事件性质、顺序、因果与从属关系及各主体间法律关系；识别连接前提的中项；执行事实归入（f-F）、寻找规范（F-P）与推导结论（P-F-C）。
使用方式：分三步。第一步输入，阅读用户提供的材料并分类为P、f/F、C，缺失项暂记为空；第二步推理，循环交替完善逻辑结构并链接关系、识别中项，直至逻辑闭环；第三步输出两部分内容：一是可解释的推理链条，用P-F-C结构图或层级列表展示结论如何经中间结论回溯到大前提，并标出每一步的中项；二是有效性说明报告，指出哪些部分有效、哪些无效，并说明具体逻辑谬误。
验证标准：严查肯定后件谬误（P→Q，Q，故P）、否定前件谬误（P→Q，非P，故非Q）与四词谬误（中项未真正连接或偷换概念、中项至少周延一次）。
适用场景：法律论证的形式化梳理、案件逻辑分析、争议焦点推演、法条与事实的对应检查、推理链有效性复核。
限制：有效性判断仅取决于形式而非内容；即使大前提或小前提事实上为假，只要逻辑形式正确，推理仍被判定为有效。资料未提供具体安装命令、适用模型、平台与费用等信息。