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

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

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

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




Начать новую тему Ответить на тему  [ Сообщений: 6 ] 
Автор Сообщение
 Заголовок сообщения: Доказательство правила обобщения и правила конкретизации
СообщениеДобавлено: 15 апр 2019, 17:33 
Не в сети
Начинающий
Зарегистрирован:
15 апр 2019, 17:29
Сообщений: 3
Cпасибо сказано: 1
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Здравствуйте, такая проблема, никак не могу найти доказательства для правил обращения и конкретизации(введения), поэтому прошу Вас помочь.

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

Добавить очки репутацииУменьшить очки репутации
statzky писал(а):
доказательства для правил обращения и конкретизации(введения)
Напишите, что это.

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Доказательство правила обобщения и правила конкретизации
СообщениеДобавлено: 15 апр 2019, 23:57 
Не в сети
Начинающий
Зарегистрирован:
15 апр 2019, 17:29
Сообщений: 3
Cпасибо сказано: 1
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
[math]\frac{ F \ \to G(x)}{ F \to \forall xG(x) }[/math] - правило обобщения из теории исчисления предикатов.
[math]\frac{ G(x) \to F}{ \exists xG(x) \to F }[/math] - правило конкретизации из теории исчисления предикатов.

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

Добавить очки репутацииУменьшить очки репутации
А какие у вас аксиомы и правила вывода, связанные с кванторами? Какой книгой вы пользуетесь?

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Доказательство правила обобщения и правила конкретизации
СообщениеДобавлено: 16 апр 2019, 00:25 
Не в сети
Начинающий
Зарегистрирован:
15 апр 2019, 17:29
Сообщений: 3
Cпасибо сказано: 1
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
A1:[math]A \to (B \to A)[/math]
A2:[math](A\to (B \to C)) \to ((A \to B) \to (A \to C))[/math]
A3:[math]( \lnot A \to \lnot B) \to (( \lnot A \to \lnot B) \to A)[/math]
Аксиомы Бернайса:
Изображение
Изображение

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

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

Верещагин Н. К., Шень А. Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления. 4-е изд. М.: МЦНМО, 2012

на с. 134 отмечается, что этих аксиом недостаточно. Такое исчисление корректно относительно семантики, которая приписывает все формулам вида ∀x F значение Ложь, а формулам вида ∃x F — значение Истина. Поэтому в вышеупомянутой книге правила Бернайса из сообщения 3 добавляются как примитивные (то есть не выводятся из других).

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

 Похожие темы   Автор   Ответы   Просмотры   Последнее сообщение 
Правила Логарифма

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

Mephisto

3

112

16 ноя 2022, 23:39

Без правила Лопиталя

в форуме Пределы числовых последовательностей и функций, Исследования функций

kovalmary

2

111

03 дек 2023, 23:37

Правила дифференцирования

в форуме Дифференциальное исчисление

AbirkulovSherali

2

381

21 окт 2016, 19:44

Исключение из правила?

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

Chapollino

3

283

21 фев 2017, 17:06

Предел (0/0) без правила Лопиталя

в форуме Пределы числовых последовательностей и функций, Исследования функций

ChymeNik

7

1339

24 ноя 2014, 21:18

Выбор правила при дифференцировании

в форуме Дифференциальное исчисление

Waryk

8

235

27 июл 2021, 20:52

Правила вычисления производной

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

dasha math

1

334

16 фев 2015, 23:32

Пределы без правила Лопиталя

в форуме Пределы числовых последовательностей и функций, Исследования функций

w1ldy0uth

4

189

17 ноя 2020, 16:01

Правила преобразования пределов

в форуме Пределы числовых последовательностей и функций, Исследования функций

chel_s_gori

2

377

15 янв 2016, 09:48

Кто нарушает правила форума…?

в форуме Предложения, Замечания, Обратная связь

PRAV

2

597

21 дек 2015, 17:23


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



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

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


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

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

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

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