Математический форум Math Help Planet
http://mathhelpplanet.com/

Простая задача на логику
http://mathhelpplanet.com/viewtopic.php?f=10&t=32219
Страница 1 из 1

Автор:  roman4rever [ 05 апр 2014, 15:10 ]
Заголовок сообщения:  Простая задача на логику

Если Чук–брат Гека или Чук–дядя Гека, то они родственники. Чук и Гек род-ки и Чук–не дядя Гека. Верно ли тогда, что Чук–брат Гека?

Автор:  Andy [ 05 апр 2014, 20:28 ]
Заголовок сообщения:  Re: Простая задача на логику

roman4rever, да, верно... :)

Автор:  Rori [ 06 апр 2014, 13:48 ]
Заголовок сообщения:  Re: Простая задача на логику

Нет

Автор:  Andy [ 06 апр 2014, 20:49 ]
Заголовок сообщения:  Re: Простая задача на логику

roman4rever
Rori
Верно потому, что если известно, что дизъюнкция двух высказываний истинна, а одно из высказываний, входящих в дизъюнкцию, ложно, то второе высказывание, входящее в дизъюнкцию, должно быть истинно. Иначе дизъюнкция будет ложной.

Здесь я ошибся. Приношу свои извинения! Речь ведь идёт не о дизъюнкции, а об импликации.

Автор:  mad_math [ 06 апр 2014, 21:12 ]
Заголовок сообщения:  Re: Простая задача на логику

Andy писал(а):
Иначе дизъюнкция будет ложной.
Но при этом импликация
roman4rever писал(а):
Если Чук–брат Гека или Чук–дядя Гека, то они родственники.
всё равно будет истинна.

Автор:  Andy [ 06 апр 2014, 21:34 ]
Заголовок сообщения:  Re: Простая задача на логику

mad_math, что ж, могу согласиться. Поскольку родственник - более широкое понятие, чем брат, дядя или племянник. И с точки зрения формальной логики (импликация ложна только тогда, когда посылка истинна, а вывод ложен). Поспешил я с выводами... :oops:

Автор:  mad_math [ 06 апр 2014, 21:41 ]
Заголовок сообщения:  Re: Простая задача на логику

Если просто составить для
roman4rever писал(а):
Если Чук–брат Гека или Чук–дядя Гека, то они родственники. Чук и Гек род-ки и Чук–не дядя Гека.
формулу и упростить, получается высказывание "Чук - не дядя Гека и Чук - брат Гека", т.е. вроде как правильно. А если методом резолюций проверять правильность всего вывода
roman4rever писал(а):
Если Чук–брат Гека или Чук–дядя Гека, то они родственники. Чук и Гек род-ки и Чук–не дядя Гека. Верно ли тогда, что Чук–брат Гека?
то пустого дизъюнкта не получается, т.е. вывод "Чук - брат Гека" не следует из посылок с необходимостью :dntknow:

Страница 1 из 1 Часовой пояс: UTC + 3 часа [ Летнее время ]
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group
http://www.phpbb.com/