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