Автор | Сообщение |
|
Отправлено: 07.06.15 01:09. Заголовок: Ассоциативность импликации
Здравствуйте. Импликация правоассоциативна или левоассоциативна (если можете, укажите ссылки на источники)? При решении возникла неоднозначность выражения A->B->C. Программа поиска решений уравнений c этого сайта считает импликацию левоассоциативной операцией, т.е. A->B->C <=> (A->B)->C. Как и в решениях задач на сайте. WolframAlpha cчитает ее правоассоциативной http://www.wolframalpha.com/input/?i=A%3D%3EB%3D%3EC Английская википедия тоже правоассоциативной https://en.wikipedia.org/wiki/Material_conditional Но многие просто ставят скобки, во избежание неразберихи.
|
|
|
Ответов - 3
[только новые]
|
|
|
| Администратор
|
Сообщение: 874
|
|
Отправлено: 07.06.15 16:52. Заголовок: pablo2 пишет: Имплик..
pablo2 пишет: цитата: | Импликация правоассоциативна или левоассоциативна |
|
Спасибо за вопрос. Вообще говоря, как договоримся, так и будет. :-) С одной стороны, действительно, зарубежные источники считают её право-ассоциативной, и в Википедии объясняется почему. С другой стороны, у нас как-то прижилось, что она левоассоцимативна, чтобы соблюдался принцип "логические операции одинакового приоритета выполняются слева направо". Отказ от этого принципа, мне кажется, может привести к ещё большей путанице. цитата: | Но многие просто ставят скобки, во избежание неразберихи. |
|
Думаю, что это самое правильное.
|
|
|
|
Отправлено: 07.06.15 18:50. Заголовок: чтобы соблюдался при..
цитата: | чтобы соблюдался принцип "логические операции одинакового приоритета выполняются слева направо" |
| По моему мнению попытка выполнить операции A->B->C слева направо и приведет к A->(B->C), но это смотря кто как мыслит. Спасибо за ответ. Я попрошу вас добавить информацию, что импликация считается левоассоциативной, туда, где вы рассказываете о базовых логических операциях перед разбором заданий 23, так как это может быть неочевидно для читающего.
|
|
|
|
| Администратор
|
Сообщение: 879
|
|
Отправлено: 07.06.15 19:13. Заголовок: pablo2 пишет: попрош..
pablo2 пишет: цитата: | попрошу вас добавить информацию, что импликация считается левоассоциативной, туда, где вы рассказываете о базовых логических операциях перед разбором заданий 23, так как это может быть неочевидно для читающего. |
|
Спасибо за замечание, добавлено.
|
|
|
|