Exercice 5, § 4

Tag 03GI, permanent. Cite it as [Bourbaki, Tag 03GI].

Théorie des ensembles, I

Soient $A$ et $B$ des relations de $\mathscr{T}$ , $x$ et $y$ des lettres. Si $x$ ne figure pas dans $B$ et si $y$ ne figure pas dans $A$ ,

(\forall x)(\forall y)(A \text{ et } B) \Leftrightarrow ((\forall x)A \text{ et }(\forall y)B)

est un théorème de

\mathscr{T}

Solution

No solution has been written yet.

Cited by

Nothing.

Nothing.