---

名称：形式逻辑分析 描述：应用命题逻辑、谓词逻辑和模态逻辑系统来形式化论证、构建证明，并使用符号记法和真值表评估有效性 允许工具：

• 读取
• 写入
• 编辑
• 搜索
• 全局匹配
• Bash

---

形式逻辑分析技能

应用形式逻辑系统，通过严谨的符号方法分析、形式化和评估论证。

概述

形式逻辑分析技能能够系统性地应用命题逻辑、谓词逻辑和模态逻辑系统，通过符号记法、真值表和证明程序来形式化论证、构建证明、评估有效性和判断可靠性。

能力

命题逻辑

• 将自然语言论证翻译成命题形式
• 为有效性评估构建真值表
• 应用自然演绎规则
• 识别逻辑等价式和重言式
• 通过真值函数分析评估论证有效性

谓词逻辑

• 使用量词和谓词形式化论证
• 应用全称和存在实例化/概括
• 在一阶逻辑中构建形式证明
• 分析逻辑关系和推理
• 处理多重量化和范围问题

模态逻辑

• 应用必然性和可能性算子
• 分析涉及模态的论证
• 处理不同的模态系统（K, T, S4, S5）
• 评估模态有效性
• 将模态逻辑应用于哲学论证

证明构建

• 构建自然演绎证明
• 系统地应用推理规则
• 构建间接证明
• 使用条件证明技术
• 验证证明正确性

使用指南

何时使用

• 形式化哲学论证
• 测试论证有效性
• 分析逻辑结构
• 教授形式推理
• 评估哲学立场

最佳实践

• 仔细、完整地翻译论证
• 对照原意检查翻译
• 为论证类型使用适当的逻辑系统
• 清晰地记录证明步骤
• 尽可能独立验证有效性

集成点

• 论证映射与重构技能
• 谬误检测与分析技能
• 哲学写作与论证技能
• 概念分析技能

参考资料

• 形式逻辑分析流程
• 模态逻辑应用流程
• 论证重构与分析流程
• 逻辑分析智能体