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

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

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

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




Начать новую тему Ответить на тему  [ Сообщений: 2 ] 
Автор Сообщение
 Заголовок сообщения: Обоснование схемы доказательства
СообщениеДобавлено: 09 янв 2017, 15:41 
Не в сети
Любитель математики
Аватара пользователя
Зарегистрирован:
16 июл 2011, 08:33
Сообщений: 22268
Откуда: Беларусь, Минск
Cпасибо сказано: 2096
Спасибо получено:
4958 раз в 4631 сообщениях
Очков репутации: 845

Добавить очки репутацииУменьшить очки репутации
В учебнике "Алгебра и теория чисел", написанном Л. Я. Куликовым, есть такое упражнение: "Обоснуйте следующие схемы доказательств:
(a) [math]\frac{A \to \lnot B}{B \to \lnot A};[/math] ...
Правильно, ли я понимаю, что для выполнения упражнения нужно показать, что утверждение, записанное под чертой, является следствием утверждения, записанного над чертой, и это можно сделать, например, если заметить, что оба утверждения эквивалентны, и воспользоваться правилом удаления эквиваленции [math]\frac{P \leftrightarrow Q}{P \to Q}[/math]?

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Обоснование схемы доказательства
СообщениеДобавлено: 09 янв 2017, 16:45 
Не в сети
Последняя инстанция
Зарегистрирован:
06 июн 2013, 16:17
Сообщений: 2590
Cпасибо сказано: 104
Спасибо получено:
746 раз в 701 сообщениях
Очков репутации: 158

Добавить очки репутацииУменьшить очки репутации
Да, можно так. Я бы предположил, что [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].

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

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

в форуме Математическая статистика и Эконометрика

Aster379

3

238

14 июн 2018, 10:50

Математическое обоснование ответа

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

AlexKostal

5

536

06 апр 2021, 12:40

Обоснование шестимерной модели пространства - времени

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

ivashenko

15

1305

29 май 2014, 23:17

Уравнения с разделяющими переменными - строгое обоснование

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

searcher

1

116

25 дек 2019, 22:43

Обоснование решения матричных уравнений вторым способом

в форуме Линейная и Абстрактная алгебра

Juicer

2

241

28 мар 2018, 22:21

Тесты. Обоснование хозяйственных решений и оценка рисков

в форуме Экономика и Финансы

Natali11

4

612

13 янв 2015, 19:02

Доказательства

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

DeD

8

422

14 окт 2016, 10:46

Доказательства

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

DeD

9

386

18 окт 2016, 11:10

Доказательства теорем

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

aManOnTheEarth

33

535

28 июл 2019, 02:09

Схемы

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

Mathnope

6

324

12 май 2018, 17:41


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



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

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


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

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

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

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