Predmet nadväzuje na predmet Logika I, ponúka zorientovanie sa vo výrokovej logike, a aktívne dokazovanie v systéme SPD-VL. Kurz sprevádza poslucháčov pri dokazovaní základných viet, definovaní teorém a metateorém.