Логика "отрицания".

[Dan B-Yallay]

arseniiv
А я последовал ходу мыслей ТС (по крайней мере мне так показалось) и даже не сразу заметил, что у Вас там целая алгебра.

Тогда отрицанием 01 будет 10.

[Побережный Александр]

Понял! Спасибо, уважаемые коллеги. В моих рассуждениях происходит подмена понятий. Частица "не" в бытовой речи не соответствует понятию "отрицание". Поэтому выражение "В не является А" говорит о том, что В - это один из элементов множества отрицания А (не А), а не все множество отрицания А (не А).
Надеюсь, я правильно понял.

[Dan B-Yallay]

Поняли правильно. В бытовой речи Петя - это не Вася. И Коля тоже не Вася. И Лена. А математически неВася - это все, кто Васей не является.

[TOTAL]

Dan B-Yallay в сообщении #647569 писал(а):

Поняли правильно. В бытовой речи Петя - это не Вася. И Коля тоже не Вася. И Лена. А математически неВася - это все, кто Васей не является.

Как это все, а ещё один Вася?

[Dan B-Yallay]

TOTAL
Если всех людей факторизовать по именам, то будет лишь один класс "Вася". Но для простоты речи я этого не упомянул.

[Побережный Александр]

То есть элемент "не Вася" не достаточно определен, поскольку предварительно необходимо определить класс "Вася". А что тогда "отрицание Вася"?

[arseniiv]

Отрицание, которое можно сокращать до «не», есть только в булевой алгебре и разных логических системах. В остальных случаях «не A» вне фраз вида «B — это не A» отдельного смысла не имеет.