Treść książki

Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
Rozdział1
Każdykrążownikjestokrętemwojennyml
Każdyokrętwojennyjestjednostkąpływającąl
azatem
Każdykrążownikjestjednostkąpływającąl
Rozumowanietojestszczególnymprzypadkiemogólnegoschematupodanego
przezArystotelesaiopisanegoniecodalejlWschemacietymzastosowanopodsta-
wienienamiejscezmiennychnazwowycha,bicnazwnkrążownik”,nokrętwojenny”
injednostkapływająca”,odnoszącychsiędokonkretnegoobszarudziałalnościczło-
wieka,tznldomarynarkiwojennejlWartojednakzauważyćwłaśnieuniwersalność
owegoschematu;namiejscezmiennycha,bicmożemypodstawiaćdowolnenazwy
igdytylkospełnioneprzesłanki,wniosekspełnionybyćmusilJeśliktośwówczas
próbujezaprzeczaćwnioskowi,todajedowódswojejignorancji,albowiemlogiczna
konsekwencjazdańprawdziwychjestzawszeprawdziwal
RachunekpredykatówdostarczanammetodbudowyzdańlNajpierwbowiemza-
łożymy,żezdanianamwjakiśsposóbdane,anastępniepowiemy,jaktakiezda-
niabudowaćlŻewydajesiętołapaniemprawąrękązaleweucho-totrochęprawdal
Alenicnatonieporadzimy-wtrakciewykładustaniesięjasne,dlaczegotakako-
lejnośćjestnieuniknional
IlustracjązasadbudowyzdańbędzieelementarnywykładteoriimnogościlOprócz
egzemplifikacjiwcześniejszychrozważańpozwolionnaścisłewprowadzeniepojęć
powszechnieużywanychwjęzykunaturalnym(takichjaknplrelacjaczyfunkcja),
któretopojęciabędąwykorzystanewopisiejęzykanaturalnegoijegowłasnościlTeo
-
riamnogościjestsamawsobienaderinteresująca,alenasbędągłównieinteresowały
praktycznemożliwościdokładnegoformułowaniawypowiedzil
Jakwspomnianowcześniej,obiektemnaszegozainteresowaniajestlogikaklasycz-
na(dwuwartościowa)lWydajesięonapozornieoderwanaodżyciacodziennego-inic
bardziejzłudnegolObecniezwłaszczawpośrednisposóbstykamysięzniąbezprze-
rwy-nawetnadnaszymsnemczuwaelektronicznybudzik,któregodziałaniejest
opisane(napoziomieelementarnym)logikądwuwartościowąlKrótkiopisdziałania
podstawowychukładówlogicznych(bramek)przekonakażdego,żeodlogikidwu-
wartościowejniemaucieczkil
Nazakończenietejczęścirozważańprzedstawionybędzienaderskrótowowstęp
dopodstawowychelementówteoriialgebrBoole’alRachunekzdań,rachunekpod-
zbiorówpewnegozbioru,zasadydziałaniaukładówelektronicznych-wszystkoto
przykładytakichalgebrlCzęśćtajestpewnąwisienkąnatorciku,alejeśliznajdziesię
amator,tozchęciąpodrzucęmutensmakołykl
12