Výroková a predikátová logika. J. Mlček