Цитата:
|
Сообщение от sineemore
Не могли бы Вы расшифровать, не все ведь помнят / знают математику.
|
Выражения выше Льюис Кэррол записал в форме "если.. то..":
"Я вижу то, что ем" = "если 'я ем 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
Так вот: логическая связка "импликация" не "коммутативна".
Разобрался с этим еще древнегрек Аристотель. Но потом древние римляне, как всегда, выдумали для вполне понятных вещей непонятные латинские слова "импликация", "коммутативность" и все запутали.
Запутать сильнее можно только если добавить "обратных импликаций", "кванторов всеобщности", "одноместных предикатов" и применить "метод резолюций".
-----------------
χαλεπὰ τὰ καλά
|
