Bài tập 8, § 4

Cho $A$ và $R$ là các quan hệ trong $\mathscr{T}$, cho $T$ là một số hạng trong $\mathscr{T}$ và cho $x$ là một chữ. Nếu $(Tx|)A$ là một định lý trong $\mathscr{T}$, thì $(T|x)R \Rightarrow (\exists_A x)R$ và $(\forall_A x)R \Rightarrow (T|x)R$ là những định lý trong $\mathscr{T}$.