Цитата:
|
Сообщение от Одиссей
Выражения выше Льюис Кэррол записал в форме "если.. то..":
"Я вижу то, что ем" = "если 'я ем X' то 'я вижу X'". Связку "если.. то.." называют "импликацией" и
рисуют стрелочкой "я ем X -> я вижу X" (если бы их записывал Чарльз Доджсон, то он наверняка так со стрелочками и написал).
https://ru.wikipedia.org/wiki/%D0%9...%86%D0%B8%D1%8F
Коммутативностью называют возможность менять местами то, что в бинарной операции стоит слева и справа.
Например в арифметике сложение коммутативно: a+b = b+a, а вычитание нет: 3-2 не равно 2-3.
https://ru.wikipedia.org/wiki/%D0%9...%86%D0%B8%D1%8F
Так вот: логическая связка "импликация" не "коммутативна".
Разобрался с этим еще древнегрек Аристотель. Но потом древние римляне, как всегда, выдумали для вполне понятных вещей непонятные латинские слова "импликация", "коммутативность" и все запутали.
Запутать сильнее можно только если добавить "обратных импликаций", "кванторов всеобщности", "одноместных предикатов" и применить "метод резолюций". |
До чего же интересно все это. Спасибо огромное за разъяснения!
Я для себя объясняла это последовательностью причинно-следственной связи. Это одно и то же?
Я вижу - следовательно ем. То есть это "Я ем то, что вижу".
А если я ем и следовательно, это означает, что я это вижу, то это "Я вижу то, что ем".
Но, кстати, тут все может осложниться тем, что язык сам по себе не математика, он неоднозначен.
Например....
"Я ем то, что вижу" может означать...
1) Я ем все из того, что вижу. Как увижу что, так и ем.
2) Я ем только то, что вижу. Не ем того, что не вижу. Но не обязательно поедаю все, что откроется взору.
Вот и так далее.... |
