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

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

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

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

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




Начать новую тему Ответить на тему  [ Сообщений: 2 ] 
Автор Сообщение
 Заголовок сообщения: Как составить алгоритм доказательства в ИВ?
СообщениеДобавлено: 07 апр 2015, 23:02 
Не в сети
Начинающий
Зарегистрирован:
22 фев 2014, 09:46
Сообщений: 7
Cпасибо сказано: 1
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

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

Более подробно – ниже.

-

Как доказать какое-нибудь общезначимое высказывание с помощью исчисления высказываний? Например, x v !x? Можно использовать, к примеру, эту аксиоматику:
1: A -> ( B -> A)
2: (A -> B) -> (( A -> (B -> C)) -> (A -> C)
3: A & B -> A
4: A & B -> B
5: A -> (B -> A & B)
6: A -> A v B
7: B -> A v B
8: (A -> Q) -> ((B -> Q) -> (A v B ->Q))
9: (A -> B) -> ((A -> !B) -> !A)
10: !!A -> A

Я смотрю на примеры доказательств (static.php?p=formalizovannoye-ischisleniye-vyskazyvaniy - они не без помарок, но в общем понятные). Там вывод осуществляется из гипотез (которые неявно объединены в конъюнкцию), есть семантическое следование из них в доказываемое высказывание. Здесь же у нас нет гипотез, нет следования. Я где-то читал что-то в том роде, что мы можем вводить гипотезы - но как? Как конкретно доказать какое-нибудь общезначимое высказывание с помощью исчисления высказываний? Я пытаюсь решить (наметить план решения) третье задание следующего содержания (перепишу основную его часть):

«Написать программу, строящую доказательство указанного во входном файле высказывания (если оно общезначимо), либо дающую оценку пропозициональных переменных, на которых высказывание ложно (если оно опровержимо).
Входной файл состоит из единственной строки, содержащей формулу исчисления высказываний, которую требуется доказать или опровергнуть. Высказывание удовлетворяет грамматике из первого задания. Выходной файл должен либо содержать доказательство высказывания (в формате доказательства из первого задания)…»

Первое задание (тоже не очень понятно как решать) задаёт грамматику формами Бэкуса-Наура и его основная часть звучит следующим образом:

«Написать программу, проверяющую доказательства в исчислении высказываний на корректность. Входной файл представляет из себя последовательность высказываний, по высказыванию на строку. ... Результатом работы программы должен быть проаннотированный текст доказательства, касательно каждой строки должно быть указано, из чего и как она получается.»

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Как составить алгоритм доказательства в ИВ?
СообщениеДобавлено: 08 апр 2015, 00:05 
Не в сети
Light & Truth
Аватара пользователя
Зарегистрирован:
16 июл 2011, 09:33
Сообщений: 16179
Откуда: Беларусь, Минск
Cпасибо сказано: 1117
Спасибо получено:
3529 раз в 3261 сообщениях
Очков репутации: 673

Добавить очки репутацииУменьшить очки репутации
Chayepit, я читал Ваш вопрос "по диагонали". Поэтому моё сообщение может быть и невпопад. Но известно ли Вам это (автоматическое доказательство теорем): http://studopedia.net/10_57436_avtomati ... eorem.html. Прошу извинить, если что не так! :)

Вернуться к началу
 Профиль  
Cпасибо сказано 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 2 ] 

 Похожие темы   Автор   Ответы   Просмотры   Последнее сообщение 
Составить нормальный алгоритм Маркова

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

deckvv

0

296

07 окт 2014, 22:29

Составить алгоритм нахождения в массиве выделяющихся чисел

в форуме Интересные задачи участников форума MHP

Christine

0

151

31 май 2015, 16:10

Составить алгоритм решения задачи на языке паскаль

в форуме Информатика и Компьютерные науки

sasha20751

0

692

06 ноя 2012, 19:18

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

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

DeD

8

219

14 окт 2016, 11:46

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

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

DeD

9

162

18 окт 2016, 12:10

Проблема при разборе доказательства

в форуме Теория чисел

Free Dreamer

2

342

02 мар 2013, 02:06

Доказательства с измеримыми множествами

в форуме Функциональный анализ, Топология и Дифференциальная геометрия

Komilfo

6

341

14 дек 2013, 18:30

Проблема однозначности доказательства

в форуме Палата №6

maksspacew

2

325

22 окт 2014, 00:12

Обоснование схемы доказательства

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

Andy

1

85

09 янв 2017, 16:41

Доказательства тригонометрических неравенств

в форуме Тригонометрия

Alexium

6

643

24 ноя 2014, 13:17


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



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

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


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

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

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

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