Rasmiy-mantiqiy tadqiqot usullari mantiqiy tizimlarni formalizatsiyalash, sintaksis va semantika orqali tahlil qilishni o'z ichiga oladi. Asosiy tushunchalar: til va formal til, aksiomalar, xulosa chiqarish qoidalari, dalil va model