换名规则相关论文
一阶逻辑中的任何公式都存在与之等值的前束范式.本文讨论了在求前束范式经常遇见的两种情况.......
《离散数学》谓词逻辑中前柬范式的求解一直是一个难点。对前柬范式求解步骤进行分析和总结，对两种换名规则和换名情况进行分类和研......
