təsdiq-inkar

İ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. Əliquliyev R..

İnkar edilə bilən şifrləmə (deniable encryption) — Şifrlənmiş informasiya haqqında tam səlahiyyətli bir adamın ələ keçirilməsi vəziyyətində, qarşı tərəfi aldatmaq üçün istifadə olunan üsuldur. Bu üsulda ələ keçərilən adam, şifrləmə sisteminin hiyləli açarını söyləyir, qarşı tərəf açarı istifadə edərək sistemdəki açıq məlumata çatdığını zənn edir, ancaq əslində əldə etdiyi məlumat yanlışdır, çünki ona yanlış(hiyləli açar) verilib. Yuxarıdakı bu vəziyyəti sadə bir nümunə ilə izah edək. Məqsədimiz iki ədəd açar çıxarmaq və açarlardan birsini gerçək məlumatı açmaq üçün, digərini isə inkar etmək üçün istifadə edək. Açıq mesaj: SabahMarsda İnkar mesaj: SabahAyda Açar: 2 İnkar Açarı: 3 Alqoritm ilk öncə açarla açıq mesajı, daha sonra inkar açarı ilə inkar mesajını şifrləyir. Daha sonra hər iki şifrlənmiş mətni cəmləyərək şifrli mesajı hasil edir. Şifrlənmiş mətn hər hansı bir yolla ələ keçirlərsə qarşı tərəfi aldatmaq üçün açıq mesajın açar ilə şifrlənmiş halını və inkar açarını verir. Qarşı tərəfdə şifrli mesajdan bu mesajı çıxaraq yanlış informasiyanı ələ keçirir. Kodun çıxışından da aydın olacağı üzrə şifrli mesaj olaraq toplanmış mesaj göndəriləcək. Bu mesajı alan qarşı tərəf mesajı açmaq üçün aşağıdakı düsturu istifadə edəcək: açıq mesaj = toplanmış - şifrli inkar - açar Bu düstur nəticəsində, "SabahMarsda" mesajı alınacaq.