Exercice 4, § 4

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

Théorie des ensembles, I

Soient $A$ et $B$ des relations de $\mathscr{T}$ , $x$ une lettre. Montrer que les relations

(\forall x)(A \text{ ou } B) \Rightarrow ((\forall x)A \text{ ou }(\exists x)B)

((\exists x)A \text{ et }(\forall x)B) \Rightarrow (\exists x)(A \text{ et } B)

sont des théorèmes de

\mathscr{T}

Solution

No solution has been written yet.

Cited by

Nothing.

Nothing.