体现在字母数字型难题解题过程中的人类思维策略（3）
对使用第三种思维策略即使用严格逻辑推理的解题方式解出此题[1]的整个思维过程的更为清晰、更为严谨、更为简洁和更为形式化的表述如下：
1）如果（D = 5），那么（T = 0），并且（从个位向十位进1）。
（D = 5）。（根据已知） a）D = 5（已知）
所以，（T = 0）。 b）T = 0
所以，（从个位向十位进1）。 c）从个位向十位进1
（提示：下面转到十位进行分析）
2）如果（R = L + L + 1），那么（R是奇数）。
（R = L + L + 1）。（根据c））
所以，（R是奇数）。 d）R是奇数
（提示：下面转到信息比较丰富的十万位上进行分析，因为十位、百位、千位与万位上的信息比较贫乏无法继续进行分析）
3）如果（D = 5），并且（R是奇数），那么（要么R = 7要么R = 9）。
（D = 5），并且（R是奇数）。（根据a）与d））
所以，（要么R = 7要么R = 9）。 e）要么R = 7要么R = 9
（提示：下面再转到信息比较丰富的万位上进行分析）
4）如果（O + E = O），那么（要么E = 0要么E = 9）。
（O + E = O）。（根据算式）
所以，（要么E = 0要么E = 9）。 f）要么E = 0要么E = 9
（说明：在没有进位时，E = 0；而在有进位时，E = 9）
5）（要么E = 0要么E = 9）。
（E≠0）。（因为（T = 0），根据b））
所以，（E = 9）。 g）E = 9
6）如果（E = 9），那么（要从千位向万位进1）并且（要从万位向十万位进1）。
（E = 9）。
所以，（要从千位向万位进1）。 h）（要从千位向万位进1）
所以，（要从万位向十万位进1）。 i）（要从万位向十万位进1）
7）（要么R = 7要么R = 9）（由e））
（R≠9）。（因为（E = 9），根据g））
所以，（R = 7）。 j）R = 7
（提示：下面再转到信息比较丰富的十位上进行分析）
8）如果（R = 7），那么（L = 8）并且（从十位向百位进1）。
（R = 7）。（根据j））
所以，（L = 8）。 k）L = 8
（说明：因为（17 = 8 + 8 + 1）并且（从个位向十位进1），根据c））
所以，（从十位向百位进1）。 l）（从十位向百位进1）
（提示：之所以要推出（L = 8），而不是推出（L = 3），是因为如果推出（L = 3）就会与百位上的算式（A + A = E）产生矛盾））
（提示：下面再转到信息比较丰富的百位上进行分析）
9）如果（E = 9），那么（A = 4）。
（E = 9）。（根据g））
所以，（A = 4）。 m）A = 4
（说明：因为（9 = 4 + 4 + 1）并且（从十位向百位进1），根据l））。
（提示：下面再转到信息比较丰富的十万位上进行分析）
10）如果（D = 5）并且（R = 7）并且（此位即十万位有一进位），那么（G = 1）。
（D = 5）并且（R = 7）并且（此位即十万位有一进位）。（根据i））
所以，（G = 1）。 n）G = 1
（提示：现在字母仅剩下3个：N、B与O；数字也仅剩下3个：2、3与6。）
11）如果（R = 7）并且（N = 2），那么（B = 9）。
（B≠9）。（因为E = 9。（根据g））
所以，（N = 2）这一假设不成立。
12）如果（R = 7）并且（N = 3），那么（B = 0）。
（B≠0）。（因为T = 0。（根据b））
所以，（N = 3）这一假设也不成立。
13）（要么N =2要么N =3要么N =6）。
（N≠2）并且（N≠3）。（根据上述11）与12））
所以，（N = 6）。 o）N = 6
14）如果（R = 7）并且（N = 6），那么（B = 3）。
（R = 7）并且（N = 6）。（根据j）与o））
所以，（B = 3）。 p）B = 3
15）最后，字母只剩下O，数字只剩下2，所以，（O = 2）。 q）O = 2
解讫（整个解题过程一共只有15步）。
最终结果为（按字母顺序排列）：
（A = 4）、（B = 3）、（D = 5）、（E = 9）、（G = 1）、
（L = 8）、（N = 6）、（O = 2）、（R = 7）、（T = 0）。
现在再将这些数字分别代入这一算式中相应的字母中来看一下：
DONALD
5 2 6 4 8 5
GERALD （+
1 9 7 4 8 5
──────
ROBERT
7 2 3 9 7 0
计算的最终结果显示这一算式是成立的，因此上述解题过程是正确的。
[SYQ原创&版权所有]
────
[1] 关于“此题”的详情，请点击：
http://www.zijin.net/blog/more.asp?name=syqds&id=7607