认知
FB=BC, $\mathrm { B E } { = } \mathrm { E A } { = } \mathrm { A B }$ ，因为它们分别是两个等边三角形的各个边；又因为 $\triangle \mathrm { A B E }$ 和 $\triangle \mathrm { B C F }$ 是等边三角形，所以 $\angle \mathrm { A B E } =$ $\angle \mathrm { C B F }$ ，这两个角再分别加上 $\angle \mathrm { A B C }$ 其值仍相等，即 $\angle \mathrm { E B C = }$ $\angle F { \mathrm { B A } } .$ 。这样，把已有的定理应用上去，就证明 $\triangle \mathrm { A B F } \cong$ $\triangle \mathrm { E B C }$ 了。在证这个题的过程中，每一步都是从上一步得出来的，符合演绎逻辑的求证过程。为了达到最后的结论，我们发现了多种可资利用的关系，例如看哪两个三角形相像就是一个搜索的发现过程。在早期用计算机模拟人的心理活动的研究中，认为计算机的程序应该是演绎的过程。现在这些实验证明，人和计算机对定理的证明实际上都是一个归纳的过程。心理学对人的推理能力的测验也证明了这一点。
人可以用各种方法最后解决三段论法的任务，这也是一个搜索的发现过程。通常用两种方法研究推理过程。
244