Merge pull request #21 from Rytuo/patch-2

Punctuation fixed

Author: shd

lection2.tex

@@ -106,7 +106,7 @@ \subsection{Доказательства}
 аксиому $A \& B \rightarrow A$ (при подстановке $\alpha := A, \beta := B$), так и
 аксиому $B \& A \rightarrow B$.
 
-Возьмем следующие схемы аксиом для исчисления высказываний.
+Возьмем следующие схемы аксиом для исчисления высказываний:
 
 \begin{tabular}{ll}
 (1) & $\alpha \rightarrow \beta \rightarrow \alpha$ \\