Bài tập 6, § 4

Cho $A$ và $R$ là các quan hệ trong $\mathscr{T}$, và $x$ là một chữ cái. Khi đó các quan hệ $(\exists_A x)R \Rightarrow (\exists x)R$, $(\forall x)R \Rightarrow (\forall_A x)R$ là các định lý trong $\mathscr{T}$.