数理逻辑的形式和非形式证明的区别？一次考试中，在证明一阶逻辑时，提到用形式证明，另一道题提到用非形式证明， 我不明白这两种证明方式到底指的是什么？有什么区别吗？我只知道利用定理的因果证明，哎。。。 求教啊[解决办法]形式证明，就是用逻辑符号和相关定理，去推导证明。非形式证明就没这要求了。我是这么理解的[解决办法]公式证明 与 举例证明 ？
