Riyazi məntiq: Redaktələr arasındakı fərq

Silinən məzmun Əlavə edilmiş məzmun

Sətirdə

18:01, 8 iyul 2020 tarixindəki versiya

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

@@ Sətir 5: / Sətir 5: @@
 == Həmçinin bax ==
 * [[Formal məntiq]]
+{{Məntiq}}
 [[Kateqoriya:Riyazi 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: Redaktələr arasındakı fərq

18:01, 8 iyul 2020 tarixindəki versiya

Həmçinin bax

Naviqasiya menyusu

Axtar