Ushbu mahsulot predikatlar mantiqida formulaning chinlik bo‘lishi yoki bo‘lmasligini aniqlashning samarali usullaridan biri, algebrasi va hisobda formulalar tavtalogiya bo‘lishini yoki bo‘lmasligini tushunishiga yordam berishi maqsadida yaratilgan. Nazariyada isbotlash tushunchasi, aksiomalar va teoremalardan foydalanib, formal va formalmas nazariyalarni o'rganishni taqozo etadi.