Zajímavá logika

Kniha Zajímavá logika od Otakara Zicha představuje sbírku řešených příkladů a zároveň úvod do výrokového a třídového kalkulu. Moderní formální logika, známá také jako matematická či symbolická logika, nachází stále širší uplatnění v praxi. Tato kniha, která si získala popularitu, ukazuje, jak lze logický kalkul využít v mnoha oblastech. Čtenář se naučí, jak pomocí „logického jazyka“ formulovat praktické problémy a tím zjednodušit jejich řešení. Kniha je rozdělena do tří částí: první obsahuje úlohy řešené bez použití logického aparátu, druhá využívá výrokový kalkul a třetí kalkul tříd.