⚡

形式逻辑推理器Skill formal-logic-reasoner

形式逻辑推理器是一种用于科学发现和论证分析的AI技能，专注于形式逻辑推理、论证验证和逻辑一致性检查。该技能能够将自然语言论证转化为形式逻辑结构，应用演绎推理规则，识别逻辑谬误，并验证证明的有效性。主要功能包括：命题形式化、有效性检验、谬误检测、推理链分析和科学理论逻辑验证。适用于科研论文评审、假设检验、理论构建、学术辩论等场景。 关键词：形式逻辑，逻辑推理，论证验证，演绎推理，逻辑一致性，科学发现，谬误检测，命题逻辑，证明验证，AI推理

数据分析 0 次安装 0 次浏览 更新于 2/25/2026

name: 形式逻辑推理器 description: 用于形式逻辑推理和论证验证的技能 allowed-tools:

  • Bash
  • Read
  • Write metadata: specialization: 科学发现 domain: 科学 category: 假设开发 skill-id: SK-SCIDISC-009

形式逻辑推理器技能

目的

在科学背景下应用形式逻辑进行论证验证、逻辑一致性检查和演绎推理。

能力

  • 形式化论证
  • 检查逻辑有效性
  • 识别谬误
  • 执行演绎推理
  • 验证证明结构
  • 生成逻辑结论

使用指南

  1. 解析论证结构
  2. 形式化命题
  3. 应用推理规则
  4. 检查有效性
  5. 识别问题
  6. 报告结论

流程集成

在科学发现工作流程中用于：

  • 论证验证
  • 理论一致性检查
  • 逻辑分析
  • 证明验证

配置

  • 逻辑系统选择
  • 形式化规则
  • 验证标准
  • 输出格式

输出成果

  • 形式化论证
  • 有效性评估
  • 谬误报告
  • 逻辑分析