A tananyag bemutatja a szimbolikus logika és a matematikai logika kapcsolatát. Megismerteti a matematikai logika alapvető fogalmi rendszerét, jelöléseit, összefüggéseit. A tananyag bemutatja a kijelentéslogika területét, és alkalmazásait, kitér a predikátumlogika elemeire, valamint a prédikátumlogikai következtetéseire. A tananyag számos feladattal és megoldási lehetőségeinek ismertetésével segíti az elsajátítás hatásfokát, felkészítve az olvasót az egyéb területeken történő alkalmazásra.