Ushbu taqdimot Predikatlar mantiqining formulasi, uning qiymati va teng kuchli formulalar mavzularini qamrab oladi. Renessans Ta’lim Universiteti “Diskret matematika va matematik mantiq” fanidan dars rejasi asosida tuzilgan.