Математический форум Math Help Planet
Обсуждение и решение задач по математике, физике, химии, экономике Теоретический раздел |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
новый онлайн-сервис число, сумма и дата прописью |
|
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Страница 1 из 1 |
[ Сообщений: 2 ] |
|
Автор | Сообщение | |
---|---|---|
Chayepit |
|
|
Более подробно – ниже. - Как доказать какое-нибудь общезначимое высказывание с помощью исчисления высказываний? Например, 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 - они не без помарок, но в общем понятные). Там вывод осуществляется из гипотез (которые неявно объединены в конъюнкцию), есть семантическое следование из них в доказываемое высказывание. Здесь же у нас нет гипотез, нет следования. Я где-то читал что-то в том роде, что мы можем вводить гипотезы - но как? Как конкретно доказать какое-нибудь общезначимое высказывание с помощью исчисления высказываний? Я пытаюсь решить (наметить план решения) третье задание следующего содержания (перепишу основную его часть): «Написать программу, строящую доказательство указанного во входном файле высказывания (если оно общезначимо), либо дающую оценку пропозициональных переменных, на которых высказывание ложно (если оно опровержимо). Входной файл состоит из единственной строки, содержащей формулу исчисления высказываний, которую требуется доказать или опровергнуть. Высказывание удовлетворяет грамматике из первого задания. Выходной файл должен либо содержать доказательство высказывания (в формате доказательства из первого задания)…» Первое задание (тоже не очень понятно как решать) задаёт грамматику формами Бэкуса-Наура и его основная часть звучит следующим образом: «Написать программу, проверяющую доказательства в исчислении высказываний на корректность. Входной файл представляет из себя последовательность высказываний, по высказыванию на строку. ... Результатом работы программы должен быть проаннотированный текст доказательства, касательно каждой строки должно быть указано, из чего и как она получается.» |
||
Вернуться к началу | ||
Andy |
|
|
Chayepit, я читал Ваш вопрос "по диагонали". Поэтому моё сообщение может быть и невпопад. Но известно ли Вам это (автоматическое доказательство теорем): http://studopedia.net/10_57436_avtomati ... eorem.html. Прошу извинить, если что не так!
|
||
Вернуться к началу | ||
[ Сообщений: 2 ] |
Похожие темы | Автор | Ответы | Просмотры | Последнее сообщение |
---|---|---|---|---|
Составить алгоритм Маркова | 0 |
95 |
07 ноя 2021, 07:58 |
|
Составить словесный алгоритм)
в форуме Информатика и Компьютерные науки |
1 |
664 |
25 фев 2019, 18:45 |
|
Составить нормальный алгоритм Маркова | 0 |
524 |
07 окт 2014, 21:29 |
|
Составить алгоритм нахождения в массиве выделяющихся чисел | 0 |
375 |
31 май 2015, 15:10 |
|
Доказательства
в форуме Алгебра |
8 |
422 |
14 окт 2016, 10:46 |
|
Доказательства | 9 |
386 |
18 окт 2016, 11:10 |
|
Доказательства теорем | 33 |
535 |
28 июл 2019, 02:09 |
|
Обоснование схемы доказательства | 1 |
256 |
09 янв 2017, 15:41 |
|
Пара задач на доказательства
в форуме Теория вероятностей |
0 |
212 |
11 дек 2018, 11:53 |
|
Разбор доказательства метрики
в форуме Функциональный анализ, Топология и Дифференциальная геометрия |
6 |
342 |
11 дек 2022, 11:09 |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Кто сейчас на конференции |
Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 17 |
Вы не можете начинать темы Вы не можете отвечать на сообщения Вы не можете редактировать свои сообщения Вы не можете удалять свои сообщения Вы не можете добавлять вложения |