Riyazi məntiq — formal məntiqin əsas qanunlarına istinad edərək, riyazi dil və riyazi metodların tətbiqi ilə məntiqi proseslərin, mühakimələrin qanunauyğunluqlarını araşdırır. Riyazi məntiqin əsasını qoyan ingilis riyaziyyatçısı Corc Bul olmuşdur.

Riyazi məntiqin əsasını təşkil edir.