Математический форум Math Help Planet
Обсуждение и решение задач по математике, физике, химии, экономике Теоретический раздел |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
новый онлайн-сервис число, сумма и дата прописью |
|
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Страница 1 из 1 |
[ Сообщений: 7 ] |
|
Автор | Сообщение | |
---|---|---|
roman4rever |
|
|
|
||
Вернуться к началу | ||
Andy |
|
|
roman4rever, да, верно...
|
||
Вернуться к началу | ||
Rori |
|
|
Нет
|
||
Вернуться к началу | ||
За это сообщение пользователю Rori "Спасибо" сказали: Andy |
||
Andy |
|
|
roman4rever
Rori Верно потому, что если известно, что дизъюнкция двух высказываний истинна, а одно из высказываний, входящих в дизъюнкцию, ложно, то второе высказывание, входящее в дизъюнкцию, должно быть истинно. Иначе дизъюнкция будет ложной. Здесь я ошибся. Приношу свои извинения! Речь ведь идёт не о дизъюнкции, а об импликации. Последний раз редактировалось Andy 06 апр 2014, 21:48, всего редактировалось 2 раз(а). |
||
Вернуться к началу | ||
mad_math |
|
|
Andy писал(а): Иначе дизъюнкция будет ложной. Но при этом импликация roman4rever писал(а): Если Чук–брат Гека или Чук–дядя Гека, то они родственники. всё равно будет истинна. |
||
Вернуться к началу | ||
За это сообщение пользователю mad_math "Спасибо" сказали: Andy |
||
Andy |
|
|
mad_math, что ж, могу согласиться. Поскольку родственник - более широкое понятие, чем брат, дядя или племянник. И с точки зрения формальной логики (импликация ложна только тогда, когда посылка истинна, а вывод ложен). Поспешил я с выводами...
|
||
Вернуться к началу | ||
mad_math |
|
|
Если просто составить для
roman4rever писал(а): Если Чук–брат Гека или Чук–дядя Гека, то они родственники. Чук и Гек род-ки и Чук–не дядя Гека. формулу и упростить, получается высказывание "Чук - не дядя Гека и Чук - брат Гека", т.е. вроде как правильно. А если методом резолюций проверять правильность всего вывода roman4rever писал(а): Если Чук–брат Гека или Чук–дядя Гека, то они родственники. Чук и Гек род-ки и Чук–не дядя Гека. Верно ли тогда, что Чук–брат Гека? то пустого дизъюнкта не получается, т.е. вывод "Чук - брат Гека" не следует из посылок с необходимостью |
||
Вернуться к началу | ||
За это сообщение пользователю mad_math "Спасибо" сказали: Andy |
||
[ Сообщений: 7 ] |
Похожие темы | Автор | Ответы | Просмотры | Последнее сообщение |
---|---|---|---|---|
Задача на логику
в форуме Алгебра |
6 |
353 |
18 дек 2016, 18:30 |
|
Задача на логику
в форуме Начала анализа и Другие разделы школьной математики |
1 |
325 |
15 янв 2017, 10:33 |
|
Задача на логику | 2 |
347 |
10 апр 2020, 11:19 |
|
ЗАдача по сложению вероятностей. Оцените наивную логику
в форуме Комбинаторика и Теория вероятностей |
3 |
223 |
20 апр 2020, 20:04 |
|
Интересная задача на логику, требуется подробное решение | 0 |
236 |
20 сен 2017, 17:09 |
|
Простая задача?
в форуме Алгебра |
3 |
649 |
09 фев 2017, 12:52 |
|
Простая задача | 0 |
693 |
13 июн 2014, 17:57 |
|
Простая задача
в форуме Алгебра |
5 |
218 |
16 дек 2022, 09:55 |
|
Простая задача
в форуме Комбинаторика и Теория вероятностей |
3 |
574 |
16 сен 2015, 10:42 |
|
Простая задача
в форуме Размышления по поводу и без |
6 |
553 |
05 июл 2017, 11:14 |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Кто сейчас на конференции |
Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 32 |
Вы не можете начинать темы Вы не можете отвечать на сообщения Вы не можете редактировать свои сообщения Вы не можете удалять свои сообщения Вы не можете добавлять вложения |