Logický podklad matematických úsudků

Knížka podrobně rozebírá několik typů úsudků,které se v elementární matematice vyskytují nejčastěji a demonstruje je na jednoduchých příkladech.Výroky,negace,implikace,ekvivalence,konjunkce,disjunkce,výroky a jejich skládání,metody důkazů,d.přímý,nepřímý d.úplnou indukcí