diff --git a/lection-05.tex b/lection-05.tex index e200a3a..5136dee 100644 --- a/lection-05.tex +++ b/lection-05.tex @@ -313,7 +313,7 @@ \end{array}\right.$$ \begin{dfn}Терм $\theta$ свободен для подстановки вместо $x$ в $\psi$ ($\psi[x := \theta]$), если -ни одно свободное вхождение переменных в $\theta$ не станет связанным после подстановки.\end{dfn} +ни одно свободное вхождение переменных в $\psi$ не станет связанным после подстановки.\end{dfn} \begin{center}\begin{tabular}{c|c} Свобода есть & Свободы нет\\\hline