Mantiq va mulohazalarning tabiati: Mantiq – fikrlash va argumentatsiyani o‘rganuvchi fandir. U argumentlarning to'g'riligini baholash va xatolarni aniqlash uchun vositalarni taqdim etadi. Takliflar algebrasiga kirish: Takliflar algebrasi mantiqning mantiqiy takliflarni o‘rganish bilan shug‘ullanuvchi bo‘limidir. U takliflarni ifodalash va manipulyatsiya qilish uchun rasmiy tizimni taqdim etadi