Riyazi məntiq: Redaktələr arasındakı fərq
Naviqasiyaya keç
Axtarışa keç
Silinən məzmun Əlavə edilmiş məzmun
k Ar-Ərəblə |
k Bot redaktəsi əlavə edilir: hy:Մաթեմատիկական տրամաբանություն |
||
| Sətir 30: | Sətir 30: | ||
[[hr:Matematička logika]] |
[[hr:Matematička logika]] |
||
[[hu:Matematikai logika]] |
[[hu:Matematikai logika]] |
||
[[hy:Մաթեմատիկական տրամաբանություն]] |
|||
[[id:Logika matematika]] |
[[id:Logika matematika]] |
||
[[io:Matematikala logiko]] |
[[io:Matematikala logiko]] |
||
00:29, 10 may 2012 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.