Учеба и наука
Как доказать какое-нибудь общезначимое высказывание с помощью исчисления высказываний? Например, $x \vee \neg x$? Можно использовать, к примеру,... - вопрос №1436313
стандартную гильбертову аксиоматику. Я смотрю на примеры доказательств (они не без помарок, но в общем понятные). Там вывод осуществляется из гипотез (которые неявно объединены в конъюнкцию), есть семантическое следование из них в доказываемое высказывание. Здесь же у нас нет гипотез, нет следования. Я где-то читал что-то в том роде, что мы можем вводить гипотезы — но как? Как конкретно доказать какое-нибудь общезначимое высказывание с помощью исчисления высказываний? Я пытаюсь решить (наметить план решения) третье задание следующего содержания (файлы PDF давать запрещено, поэтому перепишу основную его часть): «Написать программу, строящую доказательство указанного во входном файле высказывания (если оно общезначимо), либо дающую оценку пропозициональных переменных, на которых высказывание ложно (если оно опровержимо). Входной файл состоит из единственной строки, содержащей формулу исчисления высказываний, которую требуется доказать или опровергнуть. Высказывание удовлетворяет грамматике из первого задания. Выходной файл должен либо содержать доказательство высказывания (в формате доказательства из первого задания)…» Первое задание (тоже непонятно как решать) задаёт грамматику формами Бэкуса-Наура и его основная часть звучит следующим образом: «Написать программу, проверяющую доказательства в исчислении высказываний на корректность.
апрель 3, 2015 г.
-
Всего ответов: 0
Похожие вопросы
Решено
основание прямой призмы ромб с острым углом 60градусов.боковое ребро призмы 10см а площадь боковой поверхности 240см в квадрате найдите площадь...
март 19, 2014 г.
Решено
Из пункта А в пункт В,расположенный ниже по течению реки,отправился плот. Одновременно с ним из пункта А вышел катер.Дойдя до В,катер сразу же...
май 2, 2014 г.
Решено
в правильной треугольной пирамиде апофема равна L и образует с высотой пирамиды угол альфа .найдите объем пирамиды
март 1, 2015 г.
Решено
высота конуса =21 а длина образующей-29.найдите площадь осевого сечения этого конуса.
декабрь 8, 2014 г.