Riyazi məntiq

Çap versiyası artıq dəstəklənmir və render xətaları ola bilər. Zəhmət olmasa brauzerinizi yeniləyin və əvəzinə standart brauzer çap funksiyasından istifadə edin.

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

Riyazi məntiq

Həmçinin bax

Naviqasiya menyusu

Axtar