Доказательство почти всегда представляет собой многошаговый процесс. ZZ / аг доказательства состоит в дописывании к ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Карпов В.Г. Математическая логика и дискретная математика


Доказательство почти всегда представляет собой многошаговый процесс. ZZ / аг доказательства состоит в дописывании к имеющимся формулам новой формулы, вытекающей ( на основании того или иного правила вывода) из одной или нескольких имеющихся формул. Процесс доказательства аналогичен хорошо известному бывшим школьникам выводу формул в алгебре или физике. Доказательство считается завершенным, когда к списку формул рано или поздно добавляется нужная, требуемая формула.

(cкачать страницу)

Смотреть книгу на libgen

Доказательство почти всегда представляет собой многошаговый процесс. ZZ / аг доказательства состоит в дописывании к имеющимся формулам новой формулы, вытекающей ( на основании того или иного правила вывода) из одной или нескольких имеющихся формул. Процесс доказательства аналогичен хорошо известному бывшим школьникам выводу формул в алгебре или физике. Доказательство считается завершенным, когда к списку формул рано или поздно добавляется нужная, требуемая формула.