ZDEFINIOWANIE RELACJI

Pierws2e zdanie definicji spełnione jest w sytuacji, gdy’X jest pierw­szym elementem listy (reszta Y nas w pierwszym zdaniu nie interesuje). Jeżeli ta sytuacja nie zachodzi, to jeszcze nie znaczy, że X nie jest za­warte w liście, jaka jest drugim argumentem relacji „element”. Być może X jest zawarte w reszcie listy. Sprawdzane to jest w drugim zdaniu definicji, w którym Z oznacza dowolny pierwszy element, a Y — resztę listy: To drugie zdanie mówi: sprawdź czy X jest elementem Y, a więc reszty listy. Relacja „element” zdefiniowana została rekursyjnie. Definicja ta spełnia warunek poprawności, gdyż argument relacji „element” po prawej stronie jest krótszy — pozbawiony pierwszego elementu — w stosunku do strony lewej!

Cześć, tu Róża! Witam Cię na moim rozkwitającym blogu poświęconym technice. Podzielę się z Tobą wskazówkami, wiedzą i informacjami jakie posiadam w tym temacie! Mam nadzieję, że się nie zawiedziesz!