Ushbu material diskret matematika va matematik mantiq fanidan 21-amaliy darsga bag'ishlangan bo'lib, predikat tushunchasi, o'zgarmas predikat va o'zgaruvchi mulohazalar hamda predikatlar ustida mantiqiy amallar mavzularini o'z ichiga oladi