yourdomain.com

1257273 Универсального "алгоритма" не существует. Ибо проблема алгоритмически неразрешима. Реально работающие варианты (подходы) - HOL 88 там неплохая документация и как часть системы есть модуль доказывающий автоматически теоремы логики первого порядка (эвристический перебор правил вывод...

1257275 по первому заданию как мне кажется проверка высказывания по всем переменным дает возможность привести контрпример, если же его нет то пруф (в общем подход модель чекеров должен вас устроить) по второму - если между формулами переход ровно по одному правилу вывода то это вполне решаемо - у в...

folk писал(а):Qr Bbpost слайд 6

 
Прекрасный пример. Я таких примеров видел много, даже дал ссылку на них в начальном сообщении. Как составить УНИВЕРСАЛЬНЫЙ алгоритм подобных действий (а то даже "на бумаге" я действую в основном наугад - я уж не говорю о составлении компьютерной программы)?

Как составить алгоритм доказательства какого-нибудь общезначимого высказывания с помощью исчисления высказываний?   Более подробно – ниже.   -   Как доказать какое-нибудь общезначимое высказывание с помощью исчисления высказываний? Например, x v !x? Можно использовать, к примеру, эту аксиоматику: 1:...