Formal məntiq

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.

Formal məntiq – təfəkkür haqqında elm.

Ədəbiyyat[redaktə | mənbəni redaktə et]

R. Əliquliyev, S. Şükürlü, S. Kazımova. Elmi fəaliyyətdə istifadə olunan əsas terminlər. Bakı, İnformasiya Texnologiyaları, 2009, 201 s.

Məntiq
Formal	Anlayışlarla məntiqi əməliyyatlar Konsepsiyada dəyişiklik inkar məhdudiyyət ümumiləşdirmə bölgü Konsepsiya həcminin dəyişməsi üstəgəlmə vurma çıxma Növlər Многозначная логика Bul cəbri Məntiqi konstanta Qanunlar Konsepsiyanın məzmunu və əhatə dairəsi arasındakı tərs əlaqənin qanunu
Riyazi (nəzəri, simvolik)	İfadələr üzərində məntiqi bağlayıcılar (əməliyyatlar) Bəyanat — çoxluq nəzəriyyəsi $\{B,\neg ,\land ,\lor ,0,1\}$ В — boş çoxluq, elementləri üzərində üç əsas əməliyyat müəyyən edilmişdir: konyuksiya ( $\land$ və ya &, binar) dizyunksiya ( $\lor$ , binar) inkar ( $\neg$ , унарная) 2 konstantlar 0 1
Həmçinin bax	Eyler diaqramı/Venn diaqramı Çoxluqlar nəzəriyyəsi

Formal məntiq

Ədəbiyyat[redaktə | mənbəni redaktə et]

Naviqasiya menyusu

Axtar