Jouko Väänänen & Hannele Salminen : Johdatus logiikkaan

Mitkä ovat yleisesti hyväksytyt loogisen päättelyn periaatteet? Mitkä ovat menetelmät, joilla oikea päättely voidaan erottaa väärästä? Miksi jokin väite seuraa hyväksytyistä oletuksista, kun taas jokin toinen väite ei seuraa? Johdatus logiikkaan vastaa näihin kysymyksiin.

Kirja antaa lukijalle peruskäsitteet ja työvälineet loogisesti oikean päättelyn ymmärtämiseen. Lukuisten esimerkkien ja tehtävien avulla lukija harjaantuu loogisen päättelyn suorittamiseen. Kirjassa käsitellään myös yleistettyjä kvanttoriteoria, äärellisiä kieliä, rekursiivisuutta ja moniariovologiiikkaa.

Johdatus logiikkaan on tarkoitettu lähinnä matematiikan ja tietojenkäsittelyopiin opiskelijoille. Sen omaksuminen ei kuitenkaan edellytä kummaltakaan alalta esitietoja. Siksi kirja soveltuu myös muille logiikasta kiinnostuneille.