Bài tập 5, § 4

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

Lý thuyết tập hợp, I, 58

Cho $A$ và $B$ là các quan hệ trong $\mathscr{T}$ , và $x$ và $y$ là các chữ cái. Nếu $x$ không xuất hiện trong $B$ , và $y$ cũng không xuất hiện trong $A$ , thì

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

là một định lý trong

\mathscr{T}

Solution

No solution has been written yet.

Cited by

Nothing.

Cites

Nothing.