Základy logiky

Seznámení s logikou jako vědeckou disciplínou. Základy syntaxe a sémantky klasické výrokové a predikátové logiky. Zvládnutí jednoduché práce s formálním systémem a s úsudky založenými na tomto systému.