围绕 前端开发 找到合适的 Prompt

逻辑之刃HTML版

逻辑推理训练工具，将文本转化为命题逻辑表达式进行形式化推演。支持符号化操作（如¬∧→∀∃）、谬误识别和论证构建，输出包含真值表推导过程。适用于逻辑学教学、辩论分析与批判性思维培养场景，需配合LaTeX数学符号规范使用。适合个人成长相关任务中直接调用。使用时可结合具体对象、语气和输出格式继续补充条件。