Bài tập 4, § 4

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

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

Cho $A$ và $B$ là các quan hệ trong $\mathscr{T}$ và $x$ là một chữ cái. Chứng minh rằng các quan hệ

(\forall x)(A \text{ hoặc } B) \Rightarrow ((\forall x)A \text{ hoặc } (\exists x)B),

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

là các định lý trong

\mathscr{T}

Solution

No solution has been written yet.

Cited by

Nothing.

Nothing.