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

Məntiq
Formal	Anlayışlarla məntiqi əməliyyatlar Konsepsiyada dəyişiklik inkar məhdudiyyət ümumiləşdirmə bölgü Konsepsiya həcminin dəyişməsi üstəgəlmə vurma çıxma Növlər Многозначная логика Bul cəbri Məntiqi konstanta Qanunlar Konsepsiyanın məzmunu və əhatə dairəsi arasındakı tərs əlaqənin qanunu
Riyazi (nəzəri, simvolik)	İfadələr üzərində məntiqi bağlayıcılar (əməliyyatlar) Bəyanat — çoxluq nəzəriyyəsi $\{B,\neg ,\land ,\lor ,0,1\}$ В — boş çoxluq, elementləri üzərində üç əsas əməliyyat müəyyən edilmişdir: konyuksiya ( $\land$ və ya &, binar) dizyunksiya ( $\lor$ , binar) inkar ( $\neg$ , унарная) 2 konstantlar 0 1
Həmçinin bax	Eyler diaqramı/Venn diaqramı Çoxluqlar nəzəriyyəsi