Математический форум 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 ] |
| Похожие темы | Автор | Ответы | Просмотры | Последнее сообщение |
|---|---|---|---|---|
|
Задача на логику
в форуме Начала анализа и Другие разделы школьной математики |
1 |
344 |
15 янв 2017, 10:33 |
|
|
Задача на логику
в форуме Алгебра |
6 |
377 |
18 дек 2016, 18:30 |
|
| Задача на логику | 2 |
373 |
10 апр 2020, 11:19 |
|
|
ЗАдача по сложению вероятностей. Оцените наивную логику
в форуме Комбинаторика и Теория вероятностей |
3 |
244 |
20 апр 2020, 20:04 |
|
| Интересная задача на логику, требуется подробное решение | 0 |
251 |
20 сен 2017, 17:09 |
|
|
Простая задача
в форуме Размышления по поводу и без |
6 |
582 |
05 июл 2017, 11:14 |
|
|
Простая задача
в форуме Алгебра |
5 |
250 |
16 дек 2022, 09:55 |
|
|
Простая задача?
в форуме Алгебра |
3 |
667 |
09 фев 2017, 12:52 |
|
|
Простая задача
в форуме Комбинаторика и Теория вероятностей |
3 |
606 |
16 сен 2015, 10:42 |
|
| Многочлены (простая задача) | 2 |
418 |
26 дек 2023, 17:04 |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Кто сейчас на конференции |
Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 7 |
| Вы не можете начинать темы Вы не можете отвечать на сообщения Вы не можете редактировать свои сообщения Вы не можете удалять свои сообщения Вы не можете добавлять вложения |