İnkar

İnkar (inversiya, lat. inversio — çevriliş sözündən, məntiqi "YOX") məntiqdə — hökmlər üzərində , nəticəsi orijinala "əks" olan bir qərar (müəyyən mənada). Qərarın qarşısında ¬ işarə və ya ^— ilə göstərilir.

• məntiq əməllərindən biri; məntiqi nəticələrdə “doğru deyil” ifadəsi kimi işlədilir;
• fəlsəfi kateqoriya. Materialist dialektikaya görə, inkar inkişafın zəruri momenti, şeylərin keyfiyyət dəyişkənliyinin şərtidir;
• qrammatikada əşyanın, keyfiyyət əlamətlərinin, hərəkət və ya vəziyyətin yoxluğunu, eləcə də narazılıq, etiraz bildirən kateqoriya.

Həm klassik, həm də intuisistik məntiqdə "ikiqat inkar" ${\displaystyle \neg \neg A}$ qərarın nəticəsidir ${\displaystyle A}$, yəni bir teatoloji var: ${\displaystyle A\rightarrow \neg \neg A}$.

Əks ifadəsi ${\displaystyle \neg \neg A\rightarrow A}$ klassik məntiqdə doğrudur (), lakin intuisistik cəhətdən tutmur. Yəni, istədikləri ifadənin rədd edilməsi, klassik məntiqdən fərqli olaraq, intuisistik bir sübut kimi xidmət edə bilməz. İki məntiqi sistem arasındakı bu fərq ümumiyyətlə əsas hesab olunur.

Ədəbiyyat

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