Soudobá formální logika, která je nazývána také matematickou nebo symbolickou logikou, se uplatňuje rostoucí měrou v praxi. Příklady, v této populární knize uvedené, dokazují, že logický kalkul se hodí na bohaté aplikace. Učí čtenáře, jak formulovat v "logické řeči" různé úkoly životní praxe a jak tím usnadnit jejich řešení. První oddíl obsahuje úlohy bez použití logického aparátu, druhý s použitím výrokového kalkulu a třetí s použitím kalkulu tříd. Zdroj anotace: Národní knihovna ČR