Riyazi məntiq

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ı Deduktiv nəzəriyyə təşkil edir.

Həmçinin bax

• Formal məntiq

Bu məqalənin azərbaycan dili əlifbasının ərəb qrafikası ilə qarşılığı vardır. Bax: ریاضی منطیق