Аннотация:
В работе на основе введенных автором обобщенных правил Мodus ponens строится некоторая система классического исчисления высказываний, к которой полиномиально сводимы по обоим критериям сложности (количество шагов выводов и длина выводов) и системы Фреге, и системы Фреге с подстановками.
Ключевые слова:правилa Мodus ponens, системы Фреге.
УДК:
621.39.1;519.24
Поступила в редакцию: 11.12.2000 Принята в печать: 09.07.2001
Полный текст:
PDF файл (282 kB)