摘要：本文通过一个最小反例挑战了神经网络具备固有推理能力的假设。在仅含四个输入的XOR任务中，标准神经网络在未见组合上完全失败（准确率0%），表明其依赖记忆而非推理。通过引入三元伽马半环代数框架强制学习逻辑约束，网络成功构建了编码XOR规则的特征空间，结合原型分类器实现了100%的准确率。结果表明：(1)标准神经网络缺乏组合推理能力；(2)适当的代数约束可诱导推理能力；(3)学习到的表示能实现完美