Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
2.
ELEMENTYLOGIKI
Rozdziałtenstanowinieformalnewprowadzeniedologiki,bę-
dącejzarównozbioremnarzędzidoprowadzeniarozumowań,jak
isamodzielnymobiektembadań.Każdy,ktowswojejpracyzaj-
mujesięwnioskowaniem,musiumiećrozpoznawaćrozumowania
poprawneiniepoprawne.Matematycykładąwielkinacisknatwo-
rzenietakichdowodów,któresązlogicznegopunktuwidzeniabez
zarzutu.Informatycyoczywiściemusząumiećrozumowaćlogicz-
nieidotegomusząznaćformalneregułylogiki,wedługktórych
działająichmaszyny.Mypołożymynacisknalogikęjakonarzę-
dziepracy.Będziemystaralisięrobićtowsposóbnieformalny,ale
będziemyteżzaznaczać,jakdanytematpowinienbyćrozwijany
bardziejformalnie.Omówimyteżkilkametodlogikisymbolicz-
nejpotrzebnychwinformatyce.Związekmiędzysprzętemkom-
puterowymiukładamilogicznymibędziedokładniejomówiony
wrozdziale10.
Wparagrafie2.1wprowadzamyterminologięistosowane
oznaczenia,wtymrównieżkwantyfikatory∀i∃.Wparagrafie2.2
zajmujemysięwprowadzeniemdorachunkuzdań.Pojęciaogólne
sąistotneipowinnybyćdobrzeprzyswojone.Nienależysięprze-
rażaćznajdującymisiętamtablicami,którychnietrzebauczyć
sięnapamięć.Zostałyoneumieszczonepoto,bymożnabyłodo
nichsięodwołać.Ostateczniecelemdowodujestpodanieprze-
konującychargumentów.Wparagrafie2.3omawiamydowody
spotykane„wrzeczywistości”,formalizujemyteideew§2.4,
anastępniepowracamydoanalizynieformalnychrozumowań
w§2.5.
