İnkar üçün mənbəyə bax

{{vikiləşdirmək}}
'''İnkar''' (''inversiya'', {{dil-la|inversio}} — ''çevriliş'' sözündən, ''məntiqi "YOX"'') [[məntiq|məntiqdə]] — hökmlər üzərində [[vahid əməliyyat|vahid bir əməliyyat]], nəticəsi orijinala "əks" olan bir qərar (müəyyən mənada). Qərarın qarşısında '''¬''' işarə və ya <sup>'''—'''</sup> ilə göstərilir.
== Məntiq, Fəlsəfə və Qrammatikada ==
*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" <math> \neg \neg A</math> qərarın nəticəsidir <math>A</math>, yəni bir [[Teratologiya|teatoloji]] var: <math> A \rightarrow \neg \neg A </math>.

Əks ifadəsi <math> \neg \neg A \rightarrow A </math> klassik məntiqdə doğrudur ([[ikiqat inkar qanunu]]), 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.

{{Məntiq}}
{{Məntiq əməliyyatları}}
{{Misinformasiya}}
[[Kateqoriya:Terminologiya]]