Treść książki

Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
Rozdział1
Liczbynaturalne
Napoczątkuwielkiejprzygodyintelektualnejczłowiekazwiązanejzrozż
wojemmatematykipojawiłysięliczbynaturalne.Zbiórliczbnaturalnych
{1,2,3,...}będziemyoznaczaćliterąN.PrzezNooznaczymyzbiórliczb
naturalnychwrazzzerem.Wypadawtymmiejscuwspomnieć,żeniektórzy
autorzyzaliczajązerowpoczetliczbnaturalnych.
Zbiórliczbnaturalnychmadwiedośćoczywistewłasności)
(i)1N,
(ii)nNn+1N,
tzn.liczbajedenjestelementemzbioruliczbnaturalychidlakażdejliczby
naturalnejnliczban+1jestliczbąnaturalną.
Symbolnazywamykwantyfikatoremogólnymiczytamy)dlakażdego.
Implikacjąnazywamykażdezdaniepostaci)jeśliI,toβ.Zapisujemy
jesymbolicznieIβ,przyczymsymboltakżenazywamyimplikacją.
Własność(ii)możebyćzapisanaprzyużyciuimplikacji)
n(nNn+1N),
tzn.dlakażdegonmamy,żejeślinjestliczbąnaturalną,ton+1jestliczbą
naturalną.
Mówimy,żezbiórAjestpodzbioremzbioruBipiszemyAB,gdy
x(xAxB).
Łatwosięprzekonać,żekażdypodzbiórAzbioruNowłasnościach(i)i(ii)
(1AinAn+1A)jestrównyN.Wsamejrzeczy)1A;skoro