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

Vikipediya, azad ensiklopediya
Naviqasiyaya keçin Axtarışa keçin
Silinən məzmun Əlavə edilmiş məzmun
k removed Category:Məntiq using HotCat
k Ar-Ərəblə
Sətir 6: Sətir 6:
* [[Formal məntiq]]
* [[Formal məntiq]]


{{Ar|ریاضی منطیق}}
{{Ərəblə|ریاضی منطیق}}


[[Kateqoriya:Riyazi məntiq]]
[[Kateqoriya:Riyazi məntiq]]

08:03, 23 aprel 2012 versiyası

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

Şablon:Ərəblə