邏輯鏈

邏輯鏈（Chain of Logic, CoL）是嚴格邏輯推理的提示框架，每步推導必須符合邏輯規則，比CoT更嚴謹。

特徵：

• 形式邏輯：明確使用邏輯規則
• 步驟驗證：每步可獨立驗證
• 一致檢查：確保無矛盾
• 結論導出：嚴格從前提推導

與思維鏈 (CoT / Few Shot CoT)的區別：

• CoT：自然語言推理，較自由
• CoL：形式化邏輯，更嚴格
• CoL適合數學證明、法律推理

應用：

• 數學證明：幾何、代數證明
• 法律推理：從法條推導結論
• 哲學論證：邏輯分析
• 科學推論：假設檢驗

實現：

• 專用提示模板
• 結合形式邏輯驗證器
• 或訓練專門模型

局限：

• 嚴格性要求高，LLM可能不擅長
• 需要專門訓練或工具輔助
• 不適合開放式問題

是邏輯嚴謹性要求高的專門方法。