İnkar
İnkar (inversiya, lat. inversio — çevriliş sözündən, məntiqi "YOX") məntiqdə — hökmlər üzərində 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 — 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" ¬ ¬ A {\displaystyle \neg \neg A} qərarın nəticəsidir A {\displaystyle A} , yəni bir teatoloji var: A → ¬ ¬ A {\displaystyle A\rightarrow \neg \neg A} . Əks ifadəsi ¬ ¬ A → A {\displaystyle \neg \neg A\rightarrow A} 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.