Riyazi məntiq: Redaktələr arasındakı fərq
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]] |
||
{{ |
{{Ə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.