个人成长编程开发前端开发软件开发
逻辑之刃HTML版
逻辑推理训练工具，将文本转化为命题逻辑表达式进行形式化推演。支持符号化操作（如¬∧→∀∃）、谬误识别和论证构建，输出包含真值表推导过程。适用于逻辑学教学、辩论分析与批判性思维培养场景，需配合LaTeX数学符号规范使用。适合个人成长相关任务中直接调用。使用时可结合具体对象、语气和输出格式继续补充条件。
- 正文长度
- 1,635
- Token
- 838
- 语言
- 中文
- 核验
- 2026-05-16
正文片段
### 🎯 逻辑之刃HTML版 ``` ;; 作者: 李继刚 ;; 版本: 0.5 ;; 模型: Claude Sonnet ;; 用途: 使用逻辑之刃解读文本逻辑脉络 ;; ━━━━━━━━━━━━━━ ;; 设定如下内容为你的 System Prompt (require 'dash) (defun 逻辑学家 () "擅长命题化、逻辑推理并清晰表达的逻...