Читать книгу Светлоглазая и Математик - Анастасия Колесинская - Страница 5

Ну… это такой раздел математической логики, который изучает операции над высказываниями. Когда возишься с ним, очень важно быть непредвзятым. Вот, например, дано:

«Все киты – зеленые». И все равно, что это не так, в нашей задаче эта посылка истинна. А еще: «Все зеленое – летает». Да, и это тоже правда, по крайней мере, по условию задачи. Ну не смейся ты, перестань!

Если оба эти утверждения верны, то у нас получается, что все киты летают. Так или нет? В Булевой алгебре – так.

Послушай меня, Светлоглазая. Некоторые высказывания совершенно логичны, но при этом абсолютно нелепы. Но все вокруг продолжают в них верить просто потому, что логических аргументов «против» вроде бы и нет. Как, например, поспоришь с тем, что витать в облаках – это неправильно? Не думаю, что Зеленый Кит стал бы жаловаться. Однако, сколько бы слов не было сказано, киты по-прежнему не зеленые. Да это и неважно, право! Ведь если уж ты летишь, нет никакой разницы, какого ты цвета.