211
правок
Изменения
м
Нет описания правки
<tex>\phi(A, B, 0) = (A = B) \lor (A \vdash B)</tex>.
<tex>\phi(A, B, t) = \exists R \, (\phi(A, R, t-1) \land \phi(R, B, t-1))</tex>.
Заметим, что данная формула имеет экспоненциальный размер, поэтому воспользуемся квантором <tex>\forall</tex> и перепишем её следующим образом:
