习题 4, § 3

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

集合论, I, 58

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

令 $A$ 和 $B$ 在逻辑理论 $\mathscr{T}$ 中为关系。让 $A|B$ 表示关系“（不是 $A$ ）或（不是 $B$ ）”。在 $\mathscr{T}$ 中证明以下定理：

(\text{not } A) \Leftrightarrow (A|A),

(A \text{ or } B) \Leftrightarrow ((A|A)|(B|B)),

(A \text{ and } B) \Leftrightarrow ((A|B)|(A|B)),

(A \Rightarrow B) \Leftrightarrow (A|(B|B)).

解答

尚未写出解答。

被以下引用

无。

无。