逻辑理论家的启发式定理证明

交互式体验逆向推理与启发式搜索

目标: 证明 ¬(¬A) → A (双重否定消除)
当前模式: 命题证明 | 搜索节点: 0
逆向推理：从目标出发寻找前提
启发式函数评估子目标的"希望程度"