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
TXiKiBoT (müzakirə | töhfələr)
k Bot redaktəsi əlavə edilir: tg:Мантиқи риёзӣ
MastiBot (müzakirə | töhfələr)
k Bot redaktəsi əlavə edilir: ro:Logică matematică
Sətir 41: Sətir 41:
[[no:Predikatslogikk]]
[[no:Predikatslogikk]]
[[pl:Logika matematyczna]]
[[pl:Logika matematyczna]]
[[ro:Logică matematică]]
[[ru:Математическая логика]]
[[ru:Математическая логика]]
[[sh:Matematička logika]]
[[sh:Matematička logika]]

12:57, 15 noyabr 2009 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.)