Bài tập 1, § 4

Cho $A$ và $B$ là các quan hệ trong $\mathscr{T}$, và cho $x$ là một chữ cái không xuất hiện trong $A$. Khi đó $(\forall x)(A \Rightarrow B) \Leftrightarrow (A \Rightarrow (\forall x)B)$ là một định lý trong $\mathscr{T}$.