Математический форум Math Help Planet
Обсуждение и решение задач по математике, физике, химии, экономике Теоретический раздел |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
новый онлайн-сервис число, сумма и дата прописью |
|
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Страница 1 из 1 |
[ Сообщений: 2 ] |
|
Автор | Сообщение | |
---|---|---|
Andy |
|
|
(a) [math]\frac{A \to \lnot B}{B \to \lnot A};[/math] ... Правильно, ли я понимаю, что для выполнения упражнения нужно показать, что утверждение, записанное под чертой, является следствием утверждения, записанного над чертой, и это можно сделать, например, если заметить, что оба утверждения эквивалентны, и воспользоваться правилом удаления эквиваленции [math]\frac{P \leftrightarrow Q}{P \to Q}[/math]? |
||
Вернуться к началу | ||
3D Homer |
|
|
Да, можно так. Я бы предположил, что [math]A\to\neg B[/math] и [math]B[/math] истинны. Если [math]A[/math] истинно, то из первой посылки имеем [math]\neg B[/math], что противоречит [math]B[/math]. Значит, [math]A[/math] ложно и истинно [math]\neg A[/math].
|
||
Вернуться к началу | ||
За это сообщение пользователю 3D Homer "Спасибо" сказали: Andy |
||
[ Сообщений: 2 ] |
Похожие темы | Автор | Ответы | Просмотры | Последнее сообщение |
---|---|---|---|---|
Математическое обоснование зависимости | 3 |
238 |
14 июн 2018, 10:50 |
|
Математическое обоснование ответа | 5 |
536 |
06 апр 2021, 12:40 |
|
Обоснование шестимерной модели пространства - времени
в форуме Размышления по поводу и без |
15 |
1305 |
29 май 2014, 23:17 |
|
Уравнения с разделяющими переменными - строгое обоснование
в форуме Размышления по поводу и без |
1 |
116 |
25 дек 2019, 22:43 |
|
Обоснование решения матричных уравнений вторым способом
в форуме Линейная и Абстрактная алгебра |
2 |
241 |
28 мар 2018, 22:21 |
|
Тесты. Обоснование хозяйственных решений и оценка рисков
в форуме Экономика и Финансы |
4 |
612 |
13 янв 2015, 19:02 |
|
Доказательства
в форуме Алгебра |
8 |
422 |
14 окт 2016, 10:46 |
|
Доказательства | 9 |
386 |
18 окт 2016, 11:10 |
|
Доказательства теорем | 33 |
535 |
28 июл 2019, 02:09 |
|
Схемы | 6 |
324 |
12 май 2018, 17:41 |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Кто сейчас на конференции |
Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 30 |
Вы не можете начинать темы Вы не можете отвечать на сообщения Вы не можете редактировать свои сообщения Вы не можете удалять свои сообщения Вы не можете добавлять вложения |