Логика в действии: Операция отрицания суждения