>Не так, результат отрицания может быть непонятым (если за этим скрывается невозможность свести утверждение отрицания к простой тавтологии в рамках выбранной формальной системы)
Мне это здешний Игорь С. растлоковал, правда, на другом форуме. На вход операции отрицания неявно подается не только отрицание, но еще некая Вселенная. Не-Вася может быть любым другим мальчиком из класса, или школы, или объект Вселенной -- зависит от конкретного контекста.
