自动定理证明使用什么原理

目前是自动推理(AR)体系中发展最好的部分,它的目的是为使用电子计算机程序来进行数学定理的证明。对于不同的数学逻辑,它能够推论出一个定理是正确的,还是不可证明的,或者错误的。