Bourbaki

习题 4, § 4

标签 03GH,永久不变。引用为 [Bourbaki, Tag 03GH]。

集合论, I, 58

Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。

令AA和BB为T\mathscr{T}中的关系,并令xx为字母。表明关系

(∀x)(A or B)⇒((∀x)A or (∃x)B),(\forall x)(A \text{ or } B) \Rightarrow ((\forall x)A \text{ or } (\exists x)B),
(∃x)A and (∀x)B⇒(∃x)(A and B)(\exists x)A \text{ and } (\forall x)B \Rightarrow (\exists x)(A \text{ and } B)
定理位于 T\mathscr{T} 中。

解答

尚未写出解答。

被以下引用

无。

引用了

无。

Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。