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