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

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

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

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




Начать новую тему Ответить на тему  [ Сообщений: 2 ] 
Автор Сообщение
 Заголовок сообщения: Как составить алгоритм доказательства в ИВ?
СообщениеДобавлено: 07 апр 2015, 22:02 
Не в сети
Начинающий
Зарегистрирован:
22 фев 2014, 08:46
Сообщений: 10
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: Как составить алгоритм доказательства в ИВ?
СообщениеДобавлено: 07 апр 2015, 23:05 
Не в сети
Любитель математики
Аватара пользователя
Зарегистрирован:
16 июл 2011, 08:33
Сообщений: 22268
Откуда: Беларусь, Минск
Cпасибо сказано: 2096
Спасибо получено:
4958 раз в 4631 сообщениях
Очков репутации: 845

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

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

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

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

Elonse

0

95

07 ноя 2021, 07:58

Составить словесный алгоритм)

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

Dusty

1

664

25 фев 2019, 18:45

Составить нормальный алгоритм Маркова

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

deckvv

0

524

07 окт 2014, 21:29

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

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

Christine

0

375

31 май 2015, 15:10

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

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

DeD

8

422

14 окт 2016, 10:46

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

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

DeD

9

386

18 окт 2016, 11:10

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

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

aManOnTheEarth

33

535

28 июл 2019, 02:09

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

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

Andy

1

256

09 янв 2017, 15:41

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

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

math_help_pls

0

212

11 дек 2018, 11:53

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

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

Evgenii123456

6

342

11 дек 2022, 11:09


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



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

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


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

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

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

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