Дискуссионный математический форумМатематический форум
Математический форум Math Help Planet

Обсуждение и решение задач по математике, физике, химии, экономике

Теоретический раздел
Часовой пояс: UTC + 3 часа [ Летнее время ]
новый онлайн-сервис
число, сумма и дата прописью

Часовой пояс: UTC + 3 часа [ Летнее время ]




Начать новую тему Ответить на тему  [ Сообщений: 7 ] 
Автор Сообщение
 Заголовок сообщения: Простая задача на логику
СообщениеДобавлено: 05 апр 2014, 15:10 
Не в сети
Продвинутый
Зарегистрирован:
12 сен 2013, 19:04
Сообщений: 52
Cпасибо сказано: 2
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Если Чук–брат Гека или Чук–дядя Гека, то они родственники. Чук и Гек род-ки и Чук–не дядя Гека. Верно ли тогда, что Чук–брат Гека?

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Простая задача на логику
СообщениеДобавлено: 05 апр 2014, 20:28 
Не в сети
Любитель математики
Аватара пользователя
Зарегистрирован:
16 июл 2011, 08:33
Сообщений: 22268
Откуда: Беларусь, Минск
Cпасибо сказано: 2096
Спасибо получено:
4958 раз в 4631 сообщениях
Очков репутации: 845

Добавить очки репутацииУменьшить очки репутации
roman4rever, да, верно... :)

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Простая задача на логику
СообщениеДобавлено: 06 апр 2014, 13:48 
Не в сети
Продвинутый
Зарегистрирован:
13 мар 2014, 10:47
Сообщений: 68
Cпасибо сказано: 2
Спасибо получено:
1 раз в 1 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Нет

Вернуться к началу
 Профиль  
Cпасибо сказано 
За это сообщение пользователю Rori "Спасибо" сказали:
Andy
 Заголовок сообщения: Re: Простая задача на логику
СообщениеДобавлено: 06 апр 2014, 20:49 
Не в сети
Любитель математики
Аватара пользователя
Зарегистрирован:
16 июл 2011, 08:33
Сообщений: 22268
Откуда: Беларусь, Минск
Cпасибо сказано: 2096
Спасибо получено:
4958 раз в 4631 сообщениях
Очков репутации: 845

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

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


Последний раз редактировалось Andy 06 апр 2014, 21:48, всего редактировалось 2 раз(а).
Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Простая задача на логику
СообщениеДобавлено: 06 апр 2014, 21:12 
Не в сети
Верховный модератор
Аватара пользователя
Зарегистрирован:
13 окт 2010, 13:09
Сообщений: 19961
Откуда: Пермь + Одесса
Cпасибо сказано: 11721
Спасибо получено:
5319 раз в 4796 сообщениях
Очков репутации: 708

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

Вернуться к началу
 Профиль  
Cпасибо сказано 
За это сообщение пользователю mad_math "Спасибо" сказали:
Andy
 Заголовок сообщения: Re: Простая задача на логику
СообщениеДобавлено: 06 апр 2014, 21:34 
Не в сети
Любитель математики
Аватара пользователя
Зарегистрирован:
16 июл 2011, 08:33
Сообщений: 22268
Откуда: Беларусь, Минск
Cпасибо сказано: 2096
Спасибо получено:
4958 раз в 4631 сообщениях
Очков репутации: 845

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

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Простая задача на логику
СообщениеДобавлено: 06 апр 2014, 21:41 
Не в сети
Верховный модератор
Аватара пользователя
Зарегистрирован:
13 окт 2010, 13:09
Сообщений: 19961
Откуда: Пермь + Одесса
Cпасибо сказано: 11721
Спасибо получено:
5319 раз в 4796 сообщениях
Очков репутации: 708

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

Вернуться к началу
 Профиль  
Cпасибо сказано 
За это сообщение пользователю mad_math "Спасибо" сказали:
Andy
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему      Страница 1 из 1 [ Сообщений: 7 ]

 Похожие темы   Автор   Ответы   Просмотры   Последнее сообщение 
Задача на логику

в форуме Алгебра

Viktor 24011989

6

353

18 дек 2016, 18:30

Задача на логику

в форуме Начала анализа и Другие разделы школьной математики

user2312

1

325

15 янв 2017, 10:33

Задача на логику

в форуме Задачи со школьных и студенческих олимпиад

panbober18

2

347

10 апр 2020, 11:19

ЗАдача по сложению вероятностей. Оцените наивную логику

в форуме Комбинаторика и Теория вероятностей

sanb

3

223

20 апр 2020, 20:04

Интересная задача на логику, требуется подробное решение

в форуме Дискретная математика, Теория множеств и Логика

xzf12

0

236

20 сен 2017, 17:09

Простая задача?

в форуме Алгебра

Legolas111

3

649

09 фев 2017, 12:52

Простая задача

в форуме Интересные задачи участников форума MHP

andrei

0

693

13 июн 2014, 17:57

Простая задача

в форуме Алгебра

LEV

5

218

16 дек 2022, 09:55

Простая задача

в форуме Комбинаторика и Теория вероятностей

shelter09

3

574

16 сен 2015, 10:42

Простая задача

в форуме Размышления по поводу и без

crazymadman18

6

553

05 июл 2017, 11:14


Часовой пояс: UTC + 3 часа [ Летнее время ]



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 32


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Перейти:  

Яндекс.Метрика

Copyright © 2010-2023 MathHelpPlanet.com. All rights reserved