прав си, объркал съм липса и наличие:)))
всъщност аз не бих нарекъл това логическа зависимост, както казах по-скоро е принцип. според мене подобни релации биха намерили приложение при създаване на изкуствен интелект. освен това аз мога да ти дам пример когато този принцип се нарушава. например ако определянето на липса/наличие на А е нисконадеждно, то принципа е невалиден - тогава А=1.