| Математический форум 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, что ж, могу согласиться. Поскольку родственник - более широкое понятие, чем брат, дядя или племянник. И с точки зрения формальной логики (импликация ложна только тогда, когда посылка истинна, а вывод ложен). Поспешил я с выводами...
|
|
| Автор: | mad_math [ 06 апр 2014, 21:41 ] |
| Заголовок сообщения: | Re: Простая задача на логику |
Если просто составить для roman4rever писал(а): Если Чук–брат Гека или Чук–дядя Гека, то они родственники. Чук и Гек род-ки и Чук–не дядя Гека. формулу и упростить, получается высказывание "Чук - не дядя Гека и Чук - брат Гека", т.е. вроде как правильно. А если методом резолюций проверять правильность всего вывода roman4rever писал(а): Если Чук–брат Гека или Чук–дядя Гека, то они родственники. Чук и Гек род-ки и Чук–не дядя Гека. Верно ли тогда, что Чук–брат Гека? то пустого дизъюнкта не получается, т.е. вывод "Чук - брат Гека" не следует из посылок с необходимостью
|
|
| Страница 1 из 1 | Часовой пояс: UTC + 3 часа [ Летнее время ] |
| Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group http://www.phpbb.com/ |
|