Trochę językoznawstwa
a) Tak. Swego czasu udowodniliśmy mianowicie każdą regułę, która była stosowana w tablicowej metodzie rozwiązania. Dowód pokazywał zawsze, że reguła tablicowa nie jest niczym innym jak wyrażeniem jakiegoś elementarnego związku logicznego w języku tablic. Jeśli zatem w rozwiązaniu tablicowym każdą poszczególną regułę tablicową zastępujemy odpowiadającym jej elementarnym związkiem logicznym, to otrzymamy elementarne rozwiązanie logiczne zadania.
b) Poprzednie zdanie daje odpowiedź także na to pytanie. Dowód reguł tablicowych - który można znaleźć w toku poprzednich rozważań - daje "słownik" potrzebny do tłumaczenia.
c) Poniżej, po lewej stronie linii pionowej, poda jemy poszczególne kroki rozwiązania tablicowego, po jej prawej stronie natomiast - ich "przekład", czyli odpowiednie elementarne kroki logiczne.
Aby Czytelnik nie musiał ciągle kartkować książki, powtarzamy rysunki podane w rozwiązaniu zadania 40. Wobec tego seria rysunków 44 jest w zasadzie identyczna ' serią 40. Miejscami jednak dokładne śledzenie "przesądu" zmusza nas do tego, abyśmy niektóre spośród rysunków7 40 - które wykazują kilka kroków - rozbili jednocześnie na części.
|