Popis
Formálna logika, ktorá je tiež matematickou alebo symbolickou logikou, sa uplatňuje rastúcou mierou v praxi. Príklady uvedené v tejto knihe dokazujú, že logický kalkul sa môže hodiť v množstve situácií. Učí čitateľov, ako v „logickej reči“ formulovať rôzne úlohy zo života a ako tým uľahčiť ich riešenie. Prvý diel obsahuje úlohy bez použitia logického aparátu, druhý s používaním výrokového kalkulu a tretí s používaním kalkulu tried.