Seznámit s historií logiky, s jejím významem pro vědeckou práci a výuku. Naučit užívat logiku v praxi, tj. v jazyce základní formální logiky, tj. výroková a preditová logika.
