Поиск
Конспекты лекций по математической логике
... последовательную подстановку:
, где
— является формальным выводом.
3.1.3
Формальный вывод из гипотез.
Опр: Формальным выводом из гипотез
(формулы), называется такая последовательность слов
, каждая из которых удовлетворяет условию:
если формулу
можно включить в некоторый формальный вывод из гипотез ...