Sissejuhatus loogikasse
Kokkuvõte
Hoiatuseks olgu öeldud, et käesolev raamat lähtub nn kaasaegsest ehk matemaatilisest loogikast, mis rajati üle saja aasta tagasi. Nn traditsioonilist loogikat siiski põgusalt tutvustatakse. Lisaks sellele esinevad mitmed traditsioonilise loogika teemad uuel kujul ka kaasaegses loogikas. Arvutustehnikaid on loogika õpikutes sageli esitatud algaja jaoks ebapiisava selguse ja detailsusega. Nende tehnikate õppimiseks tuleb viibida loengutes ja harjutustundides.
Kirjeldus
1.Mis on loogika ; 2.Loogika ajaloost ; 3.Lausearvutus ; 4.Predikaatarvutuse alged ; 5.Mitteklassikalisi loogikaid ; 6.Implikatsioon, järeldus, konditsionaal ja kontrafaktuaal ; 7.Loogika rakendusi ; Kirjandusviited