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
İrada (müzakirə | töhfələr)
Redaktənin izahı yoxdur
Alexbot (müzakirə | töhfələr)
k Bot redaktəsi əlavə edilir: ko:수리논리학
Sətir 34: Sətir 34:
[[ja:数理論理学]]
[[ja:数理論理学]]
[[ka:მათემატიკური ლოგიკა]]
[[ka:მათემატიკური ლოგიკა]]
[[ko:수리논리학]]
[[lij:Logica Matematica]]
[[lij:Logica Matematica]]
[[mk:Математичка логика]]
[[mk:Математичка логика]]

09:07, 4 noyabr 2008 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 İngilis riyaziyyatçısı Corc Bul olmuşdur.

Riyazi məntiqin əsasını Deduktiv nəzəriyyə təşkil edir.

Həmçinin bax

 (ərəb.)