Что такое истина и ложь?

[Sergey-Cop]

Истинно-ложно в булевой алгебре

epros в сообщении #227083 писал(а):

Я предлагаю добавить указание на то, откуда это значение брать...

Свободный Художник в сообщении #227096 писал(а):

(Классические) истина и ложь – это элементы любого двухэлементного множества на котором задана структура булевой алгебры.

Категорически ложное определение!

Уловите разницу: Структура булевой алгебры задана на двухэлементном множестве; один из элементов множества истина, а другой ложь.

Мало того, что отнюдь не "любое" бинарное множество, но и не любой элемент выражает значение истинно.

В булевой алгебре Истина выражена значением 1 и только единицей. И подразумевается ответ Да, и утверждение, что указанный объект есть в наличии.

А Ложно, выражено нулем и только нулем, подразумевая ответ нет, утверждая об отсутствии объекта.

А вообще, понятия истинно-ложно — это отнюдь не то же самое, что есть-нету. Но в пределах операций булевой алгебры эти понятия взаимозаменяемы.


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