| Sayt menyu |
|
|
|
Ana səhifə » 2009 » Mart » 22 » Məntiq haqqında
Məntiq haqqında | 8:23 PM |
|
Bəsit bir misal odur ki: Egər bütöv insanlar məməli isə və Aristotel insansa, deməli ki Aristotel də məməlidir.
Bu misal da məntiq simvolları bu cürə göstərilə bilər:
- [(insan ⇒ məməli) ∧ (Aristotel ⇒ insan)] ⇒(Aristotel ⇒ məməli)
Bu misalı belə də ifadə eləmək olar:
![[(a \Rightarrow b) \land (c \Rightarrow a)] \Rightarrow (c \Rightarrow b)](http://upload.wikimedia.org/math/e/a/c/eacb67f3edd304d54be0c01cf3d3d78d.png)
Formal məntiq - İnsan mühakimələrinin konkret məzmununu nəzərə almadan onların formasını - (strukturunu), quruluşunu öyrənir. Başqa sözlə, formal məntiq konkret məzmunu nəzərə almadan əqli nəticə və isbat qaydalarında, mühakimə, anlayışlar arasında əlaqənin və məntiqi nəticə çıxarılmasının qanunlarını öyrənir. Formal məntiqin əsasını Aristotel qoymuşdur.
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.
|
|
Kateqoriya: Maraqlı |
Baxış: 1475 |
Əlavə etdi: huquq
|
|
|
| Statistika |
Ümumi istifadəçilər 1 Qonaq 1 İstifadəçi 0 |
|