diff --git a/lection-04.tex b/lection-04.tex index d827084..7d82902 100644 --- a/lection-04.tex +++ b/lection-04.tex @@ -104,7 +104,7 @@ \draw[->] (A) to (C); }\end{center} -Тогда, $W_3 \Vdash \neg A$, но $W_1 \not\Vdash A$ (по определению) и $W_1 \not\Vdash \neg A$ (так как +Тогда $W_3 \Vdash \neg A$, но $W_1 \not\Vdash A$ (по определению) и $W_1 \not\Vdash \neg A$ (так как $W_1 \preceq W_2$ и $W_2 \Vdash A$). Значит, $W_1 \not\Vdash A \vee \neg A$. \end{exmprus} \end{frame}