Поиск
 
Найдено: 1
Область поиска: теги — называется [x] последовательность [x]

Конспекты лекций по математической логике

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