Условия устанавливающие зависимость истинности утверждения от наличи