Zajímavá logika

Zajímavá logika : sbírka řešených příkladů s úvodem do výrokového a třídového kalkulu od Otakara Zicha.


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.