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

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

Теоретический раздел
Часовой пояс: UTC + 3 часа [ Летнее время ]
MathHelpPlanet.com RSS-лента Математического форума

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




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

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

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Доказательство правила обобщения и правила конкретизации
СообщениеДобавлено: 15 апр 2019, 22:59 
Не в сети
Beautiful Mind
Зарегистрирован:
06 июн 2013, 16:17
Сообщений: 1506
Cпасибо сказано: 81
Спасибо получено:
433 раз в 404 сообщениях
Очков репутации: 121

Добавить очки репутацииУменьшить очки репутации
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 
Не в сети
Beautiful Mind
Зарегистрирован:
06 июн 2013, 16:17
Сообщений: 1506
Cпасибо сказано: 81
Спасибо получено:
433 раз в 404 сообщениях
Очков репутации: 121

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

Вернуться к началу
 Профиль  
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 
Не в сети
Beautiful Mind
Зарегистрирован:
06 июн 2013, 16:17
Сообщений: 1506
Cпасибо сказано: 81
Спасибо получено:
433 раз в 404 сообщениях
Очков репутации: 121

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

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

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

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

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

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

AbirkulovSherali

2

163

21 окт 2016, 19:44

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

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

Chapollino

3

181

21 фев 2017, 17:06

Правила деления

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

Newneelch

1

251

06 июл 2013, 21:59

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

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

chel_s_gori

2

241

15 янв 2016, 09:48

Вспомогательные правила вывода ИВ

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

famesyasd

1

118

15 окт 2016, 00:18

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

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

PRAV

2

389

21 дек 2015, 17:23

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

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

ellagabdullina

1

418

30 ноя 2011, 01:36

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

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

roma_detsik98

7

300

08 дек 2016, 20:30

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

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

Wersel

7

463

15 ноя 2013, 21:48

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

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

dasha math

1

247

16 фев 2015, 23:32


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



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

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


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

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

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

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