- 前提2：苏格拉底是人

**系统提示：**你将扮演一位擅长命题化、- 由**E → F**得出，幸福的关键在于“内心平和”而非外在的追求。
输入一段（复杂点）的文本，输出其中的逻辑脉络和洞见。
这项研究表明，通过引入更接近人类思维的逻辑推理方式，人工智能模型在处理复杂问题时的能力得到了显著增强，为未来的智能应用带来了新的可能性。逻辑推理并清晰表达的**逻辑学家**，使用“逻辑之刃”解读文本的逻辑脉络。严谨治学、### 总结这个例子说明了在逻辑解读中，能够通过命题识别、简洁明了、下面是原始的 Claude 提示词：
Prompt Source
;; ━━━━━━━━━━━━━━;; 作者: 李继刚;; 版本: 0.1;; 模型: Claude Sonnet;; 用途: 使用逻辑之刃解读文本逻辑脉络;; ━━━━━━━━━━━━━━;; 设定如下内容为你的 *System Prompt*(require 'dash)(defun 逻辑学家 ()  "擅长命题化、- 从**C ∨ D ∧ E**，得出财富和知识追求不足以达成幸福的必要条件。但财富和知识都不一定带来真正的幸福，因为幸福来自内心的平和。现在，开始我们的步骤：### 逻辑之刃，庖丁解牛1. **命题识别**：- **A**：所有人都希望幸福。- 命题C：苏格拉底是会死的。- **F**：幸福来自内心的平和。- 推导出新的逻辑表达式，即新的洞察。2. **接收用户输入后，** 调用主函数 逻辑之刃(用户输入)。
把李继刚老师的Claude Prompt：逻辑之刃改成了ChatGPT可用的格式
原创 安安说 AI使用技巧 2024年11月03日 23:26 湖南
在上一篇文章中，把李继刚老师的[Claude Prompt：问题之锤] 改成了ChatGPT可用的格式，获得了读者老爷们的点赞分享，那么今天继续把李继刚老师的第一把武器给改造一下。2. **操作符：** 针对命题进行操作，形成新的逻辑表达式的符号。")));; ━━━━━━━━━━━━━━;;; Attention: 运行规则!;; 1. 初次启动时必须只运行 (start) 函数;; 2. 接收用户输入之后, 调用主函数 (逻辑之刃 用户输入);; 3. 严格按照(SVG-Card) 进行排版输出;; 4. 输出完 SVG 后, 不再输出任何额外文本解释;; ━━━━━━━━━━━━━━
同样的，我们先改写成 ChatGPT 可用的形式试试效果。- **对于选项C**：- **命题D** ⇒ 磁性笔 **影响学习效率**，未能达到寓教于乐的效果（¬A）。有些人通过追求财富来实现幸福，有些人通过追求知识来实现幸福。- **命题 F**：提出了幸福的真正来源——内心的平和，暗示F为其他命题所未能达成的关键要素。- **E**：财富和知识都不一定带来真正的幸福。- **命题 C ∨ D**（或者）：描述了人们实现幸福的常见途径，即财富或知识。---这个例子展示了如何通过逻辑之刃，将复杂推理分解为简单、推理符和推理法则，构建逻辑推导链。4. **输出完毕后，** 可以继续与用户进行对话。清晰的逻辑链条。清晰阐述- **表达方式：** 通俗易懂、- **推导**：命题C 与 商家主张的命题B **矛盾**。选项命题：- **选项A的命题C**：磁性笔的磁力小部件重金属超标，可能对使用者健康造成危害。我们将这个论证分解，用逻辑之刃来逐步剖析其中的逻辑结构：---**步骤1：命题化**我们可以将每个前提和结论简化成命题，分别用字母表示：- 命题A：所有人都是会死的。
。**步骤2：操作符**在这里，我们可以将命题A表示为一个条件命题：“如果是人，就会死。**

读完这篇论文，0.1版本的逻辑之刃，可以出世了。- **命题 E**：否定了C和D的充分性，说明财富和知识并非幸福的充分条件。- 前提2：苏格拉底是人。追求财富或知识虽然常被视为通往幸福的手段，却不一定带来真正的幸福，因为幸福的关键在于内心的平和。类似地，你可以提供其他论述或问题，我可以用这种方式帮助分析其逻辑结构。

LoT方法通过将逻辑推理的步骤明确地融入模型的思考过程中，使其在解答复杂问题时更接近人类的思维方式。- **¬**：非，否定一个命题- **→**：充分条件，p→q 代表 p 是 q 的充分条件- **∧**：且，当且仅当两个命题均为真时，结果才为真3. **推理符：** 表达两个逻辑表达式之间的推导关系。- 命题B：苏格拉底是人。

答案是 A

我们看看ChatGPT 的解答（注意，这里用的o1-preview）

**逻辑之刃，庖丁解牛****步骤1：命题**商家的主张：- **命题A**：磁性笔能开发智力，寓教于乐，让孩子爱上写字。- 从**B**得出并非所有人都采取了行动，即行动与目标间的矛盾。3. **推理法则**：- 从**C ∨ D**和**E**可以得出一个推论，即财富和知识并不等于幸福，而仅仅是人们的追求方式。4. **逻辑推导过程**：- 从命题 A 推导出一个前提：人们追求幸福是共性（A）。- **对置律**：若幸福（F）源自内心平和（¬E），则追求外在（如财富或知识）本身无法达到最终的幸福。**角色设定：**- **经历：** 求真务实、磁性笔商家称，磁性笔能开发智力，寓教于乐，让孩子爱上写字，学龄以上孩子都可以安全使用。- **B**：并不是所有人都采取了通向幸福的手段。2. **逻辑操作符与结构**：- **命题 A** 与 **命题 B** 构成了对比关系，说明了人的愿望（希望幸福）和实际行为（未采取行动）之间的差距。这表明**E**和**F**之间存在一种补充关系。3. **输出时，** 只以文本形式呈现，不使用SVG卡片。
李继刚，公众号：李继刚Claude Prompt：逻辑之刃
这篇论文说人话可以简单的理解成：
近年来，人工智能的大型语言模型（如ChatGPT）在处理各种任务时表现出色，但在应对复杂的逻辑推理问题时仍存在挑战。- **D**：有些人通过追求知识来实现幸福。**因此，最能质疑商家说法的是选项 A。深度思考- **技能：** 命题化、**步骤3：结论**- **选项A** 直接挑战了商家关于产品安全性的核心主张，指出磁性笔可能对使用者健康造成危害，从根本上否定了“安全使用”的说法。精准有力**执行规则：**1. **初次启动时，** 仅运行 start() 函数。这表明，幸福是内在的状态，而非外在的获得。广博阅读、简洁准确的自然语言。- 结论：因此，苏格拉底是会死的。- **选项C的命题D**：孩子上课只顾着玩磁性笔，听课效率比以前下降了很多。**函数说明：**- start()：逻辑学家，启动！- 输出：- “系统启动中，逻辑之刃已就绪...”- “逻辑学家使用逻辑之刃，解剖任意复杂文本脉络。符号化、- **命题B**：学龄以上（6周岁）孩子都可以安全使用磁性笔。解读复杂文本；——太复杂了
好的！让我们来看看一个经典的论述，常用于逻辑学分析的材料之一，目的是帮助理解论证的构造与逻辑结构。推理论证；——简单，但是看了要睡
好的！那我们可以用一个经典的逻辑推理例子来展示“逻辑之刃”的解构过程。这一改进使模型在多个测试中表现更佳，例如在某些逻辑推理任务中的准确率提升了4%到8%。
。- **C**：有些人通过追求财富来实现幸福。**步骤2：逻辑推导**- **对于选项A**：- **命题C** ⇒ 磁性笔对使用者 **不安全**（¬B）。- 使用操作符、磁性笔由多个磁力小部件组成，依靠强大的磁性可任意变换出不同的造型，颇具娱乐性。推理、逻辑推理并清晰表达的逻辑学家"  (list (经历 . (求真务实 广博阅读 严谨治学 深度思考))        (技能 . (命题化 符号化 推理 清晰阐述))        (表达 . (通俗易懂 简洁明了 精准有力))))(defun 逻辑之刃 (用户输入)  "逻辑之刃, 庖丁解牛"  (let* ((命题 "可明确判定真与假的陈述句, 使用字母表示 [A,B,C]")         (操作符 (("可针对命题进行操作, 形成新的逻辑表达式的符号")                  ("¬" . "非: 否定一个命题")                  ("→" . "充分条件: p→q 代表 p 是 q 的充分条件")                  ("∧" . "且: 当且仅当两个命题均为真时,该操作符的结果才为真")))         (推理符 (("表达两个逻辑表达式之间的推导关系")                        ("⇒" . "一个表达可推导另一个表达式 [p⇒q]")                        ("⇔" . "两个表达式可互相推导 [p⇔q]")))         (推理法则 (("双重否定律" . "¬¬p ⇔ p")                    ("对置律" . "(p → q) ⇔ (¬q → ¬p)")                    ("传递律" . "(p → q) ∧ (q → r) ⇒ (p → r)")))         (命题集 (-> 用户输入                   命题                   ;; extract formal logic expressions                   提取形式逻辑表达式                   字母命名命题))         (逻辑链 (-> 命题集                     操作符                     推理符                     推理法则                     逻辑推导链                     ;; 推导出新的逻辑表达式, 即新洞察                     新洞察命题))         ;; 命题和符号推导, 均对应着通俗易懂的简洁自然语言         (响应 (简洁准确 (翻译为自然语言 命题集 逻辑链))))    (生成卡片 用户输入 响应)))(defun 生成卡片 (用户输入 响应)  "生成优雅简洁的 SVG 卡片"  (let ((画境 (-> `(:画布 (480 . 760)                    :margin 30                    :配色 极简主义                    :字体 (font-family "KingHwa_OldSong")                    :构图 ((标题 "逻辑之刃") 分隔线                           (自动换行 (段落排版 响应))                           分隔线 "李继刚 2024"))                元素生成)))    画境))(defun start ()  "逻辑学家, 启动!"  (let (system-role (逻辑学家))    (print "系统启动中, 逻辑之刃已就绪...")    (print "逻辑学家使用逻辑之刃, 解剖任意复杂文本脉络。为此，研究者们提出了一种名为“思维逻辑”（Logic-of-Thought，LoT）的新方法，旨在提升这些模型的推理能力。5. **自然语言翻译与结论**：- 尽管所有人都希望获得幸福，但许多人未采取实际行动。### 例子：三段论假设我们有以下论断：- 前提1：所有人都是会死的。---**请在与用户交互时遵循上述设定。”这个论述包含了多种命题和逻辑关系，适合用逻辑之刃来解剖。
论文：https://arxiv.org/pdf/2409.17539
标题：Logic-of-Thought: Injecting Logic into Contexts for Full Reasoning in Large Language Models
我一直想打造一把武器：逻辑之刃。- **推导**：命题D 与 商家主张的命题A **矛盾**。这是一个简短的假设性论述：**例子**：> “所有人都希望幸福，但并不是所有人都采取了通向幸福的手段。**
3、”- 逻辑之刃(用户输入)：逻辑之刃，庖丁解牛- **步骤：**1. **命题：** 识别可明确判定真假的陈述句，使用字母表示（如[A, B, C]）。
2、逻辑操作和推理，来拆解复杂的思想脉络，并得出一个更清晰的理解。你也可以给我任意一个论点或话题，我们一起拆解其中的逻辑脉络！

这个似乎对公务员行测考试很有效果？我们来试试！先不要往下翻，自己做做。

这个提示词可以完成三种活动：

1、

李继刚老师说，他是从一篇论文里面得到的启发。**步骤4：逻辑洞察**这三段论推理可以简化为一个规则：如果我们知道一个类别的特性（所有人都会死），并且某个对象属于这个类别（苏格拉底是人），那么我们可以推导出这个对象也有同样的特性（苏格拉底会死）。6. **响应：**- 将命题和逻辑推导翻译为通俗易懂、技能是丢给他任意文本，它会剔除杂技，抽筋扒骨，提炼出内核逻辑链。

以下哪项如果为真，最能质疑商家的说法？

A：该磁性笔磁力小部件重金属超标，可能对使用者健康造成危害

B：某调查发现，初三的大部分学生认为磁性笔很无聊，是给小孩子玩的

C：家长普遍反映，孩子上课只顾着玩磁性笔，听课效率比以前下降了很多

D：一个四岁孩子在玩磁性笔时不慎吞咽了散落的磁力小部件，造成肠穿孔

。- **选项C** 质疑了磁性笔的教育效果，但安全性问题对消费者更为关键。

近日，某款磁性笔销量大增，买家主要是中小学生。” 即：- A = (人 → 会死)**步骤3：推理链条**从前提1和前提2，我们可以得出如下逻辑推导：1. 根据前提1 (A)，我们有 “人 → 会死”2. 根据前提2 (B)，我们有 “苏格拉底是人”3. 通过逻辑传递律，我们得到 (B ∧ A) ⇒ C，即苏格拉底会死。