На этом форуме отвечают на конкретные вопросы. Фраза «я не понимаю, как решать» — это не вопрос. На вопрос «как решить задачу №X» вас отошлют к материалам сайта kpolyakov.spb.ru. За бессвязный поток слов и неспособность формулировать свои мысли — бан.

Если у вас не сходится ответ на какую-то задачу, пожалуйста сразу представляйте свое «правильное» решение.
Программы "заворачивайте" в тэг [pre2]...[/pre2], при этом сохраняются все отступы и применяется моноширинный шрифт. Если у вас используется сочетание "[i]" для обозначения элемента массива или строки, ставьте пробел после открывающей скобки. Иначе система выделит все дальнейшее курсивом.

Для регистрации на форуме щелкните по ссылке «Вход-регистрация» вверху страницы. В открывшееся окошко «ник» введите свою фамилию на русском языке (например, Иванов). В окошко «пароль» введите придуманный вами пароль, состоящий из латинских букв и цифр. Поставьте галочку в окошке «зарегистрироваться, я новый участник» и нажмите кнопку «ОК».

АвторСообщение



Сообщение: 1
ссылка на сообщение  Отправлено: 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
Но многие просто ставят скобки, во избежание неразберихи.

Спасибо: 0 
ПрофильЦитата Ответить
Ответов - 3 [только новые]


Администратор




Сообщение: 874
ссылка на сообщение  Отправлено: 07.06.15 16:52. Заголовок: pablo2 пишет: Имплик..


pablo2 пишет:
 цитата:
Импликация правоассоциативна или левоассоциативна

Спасибо за вопрос. Вообще говоря, как договоримся, так и будет. :-)
С одной стороны, действительно, зарубежные источники считают её право-ассоциативной, и в Википедии объясняется почему. С другой стороны, у нас как-то прижилось, что она левоассоцимативна, чтобы соблюдался принцип "логические операции одинакового приоритета выполняются слева направо". Отказ от этого принципа, мне кажется, может привести к ещё большей путанице.
 цитата:
Но многие просто ставят скобки, во избежание неразберихи.

Думаю, что это самое правильное.

___________________________________________________
Имей мужество пользоваться собственным умом. (И. Кант)
Спасибо: 0 
ПрофильЦитата Ответить



Сообщение: 2
ссылка на сообщение  Отправлено: 07.06.15 18:50. Заголовок: чтобы соблюдался при..



 цитата:
чтобы соблюдался принцип "логические операции одинакового приоритета выполняются слева направо"


По моему мнению попытка выполнить операции A->B->C слева направо и приведет к A->(B->C), но это смотря кто как мыслит.
Спасибо за ответ. Я попрошу вас добавить информацию, что импликация считается левоассоциативной, туда, где вы рассказываете о базовых логических операциях перед разбором заданий 23, так как это может быть неочевидно для читающего.

Спасибо: 0 
ПрофильЦитата Ответить
Администратор




Сообщение: 879
ссылка на сообщение  Отправлено: 07.06.15 19:13. Заголовок: pablo2 пишет: попрош..


pablo2 пишет:
 цитата:
попрошу вас добавить информацию, что импликация считается левоассоциативной, туда, где вы рассказываете о базовых логических операциях перед разбором заданий 23, так как это может быть неочевидно для читающего.

Спасибо за замечание, добавлено.

___________________________________________________
Имей мужество пользоваться собственным умом. (И. Кант)
Спасибо: 0 
ПрофильЦитата Ответить
Ответ:
1 2 3 4 5 6 7 8 9
видео с youtube.com картинка из интернета картинка с компьютера ссылка файл с компьютера русская клавиатура транслитератор  цитата  кавычки оффтопик свернутый текст

показывать это сообщение только модераторам
не делать ссылки активными
Имя, пароль:      зарегистрироваться    
Тему читают:
- участник сейчас на форуме
- участник вне форума
Все даты в формате GMT  3 час. Хитов сегодня: 3737
Права: смайлы да, картинки да, шрифты нет, голосования нет
аватары да, автозамена ссылок вкл, премодерация откл, правка нет