Cílem a obsahem přednášek je úvod do logiky, výroková logika, predikátová logika 1. řádu.