From ceefd8113aaffb8a1e63ae5905551ffddc316348 Mon Sep 17 00:00:00 2001
From: Omaima Ettalbi <omaimaett1@gmail.com>
Date: Wed, 24 May 2023 17:15:54 +0300
Subject: [PATCH] lecture 5 fix

---
 lection-05.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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