Форум » Логические уравнения » Ассоциативность импликации » Ответить
Ассоциативность импликации
pablo2: Здравствуйте. Импликация правоассоциативна или левоассоциативна (если можете, укажите ссылки на источники)? При решении возникла неоднозначность выражения 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
Поляков: pablo2 пишет: Импликация правоассоциативна или левоассоциативна Спасибо за вопрос. Вообще говоря, как договоримся, так и будет. :-) С одной стороны, действительно, зарубежные источники считают её право-ассоциативной, и в Википедии объясняется почему. С другой стороны, у нас как-то прижилось, что она левоассоцимативна, чтобы соблюдался принцип "логические операции одинакового приоритета выполняются слева направо". Отказ от этого принципа, мне кажется, может привести к ещё большей путанице. Но многие просто ставят скобки, во избежание неразберихи. Думаю, что это самое правильное.
pablo2: чтобы соблюдался принцип "логические операции одинакового приоритета выполняются слева направо" По моему мнению попытка выполнить операции A->B->C слева направо и приведет к A->(B->C), но это смотря кто как мыслит. Спасибо за ответ. Я попрошу вас добавить информацию, что импликация считается левоассоциативной, туда, где вы рассказываете о базовых логических операциях перед разбором заданий 23, так как это может быть неочевидно для читающего.
Поляков: pablo2 пишет: попрошу вас добавить информацию, что импликация считается левоассоциативной, туда, где вы рассказываете о базовых логических операциях перед разбором заданий 23, так как это может быть неочевидно для читающего. Спасибо за замечание, добавлено.
полная версия страницы