Exercice 6, § 5

Montrer que dans $\mathscr{T}$, la règle $(\exists x)R\Rightarrow R$ n’est pas un schéma. (Soient $x,y$ des lettres distinctes, $R$ une relation où figurent $x$ et $y$, $A$ la relation $(\exists x)R\Rightarrow R$. Montrer que $(y\mid x)A$ ne peut être de la forme $(\exists z)R'\Rightarrow R'$, en utilisant le cor. 2 de la prop. 2 de l’Appendice).