Io-7-wyk-Slajd65

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Implementacje niestandardowe(1)

Implementacje niestandardowe(1)


Zgodnie z drugim aksjomatem dodanie do liczby x następnika liczby y daje następnik sumy liczb x i y.

Na przykład 2 + 4 można traktować jako sumę 2 i następnika 3. Zgodnie z tym aksjomatem 2 + 4 jest równe następnikowi 2 + 3. Jak wiemy, 2 + 3 = 5 i następnikiem 5 jest 6. Zatem faktycznie zgadza się: 2 + 4 jest równe 6.


<< Poprzedni slajd | Spis treści | Następny slajd >>