习题 1, § 3

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

集合论, I, 57

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

令 $A$ 、 $B$ 、 $C$ 在逻辑理论 $\mathscr{T}$ 中为关系。证明以下关系是 $\mathscr{T}$ 中的定理：

A \Rightarrow (B \Rightarrow A),

(A \Rightarrow B) \Rightarrow ((B \Rightarrow C) \Rightarrow (A \Rightarrow C)),

A \Rightarrow ((\text{not } A) \Rightarrow B),

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

(A \Leftrightarrow B) \Leftrightarrow ((A \text{ and } B) \text{ or } ((\text{not } A) \text{ and } (\text{not } B))),

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

(A \Rightarrow (B \text{ or } (\text{not } C))) \Leftrightarrow ((C \text{ and } A) \Rightarrow B),

(A \Rightarrow (B \text{ or } C)) \Leftrightarrow (B \text{ or } (A \Rightarrow C)),

(A \Rightarrow B) \Rightarrow ((A \Rightarrow C) \Rightarrow (A \Rightarrow (B \text{ and } C))),

(A \Rightarrow C) \Rightarrow ((B \Rightarrow C) \Rightarrow ((A \text{ or } B) \Rightarrow C)),

(A \Rightarrow B) \Rightarrow ((A \text{ and } C) \Rightarrow (B \text{ and } C)),

(A \Rightarrow B) \Rightarrow ((A \text{ or } C) \Rightarrow (B \text{ or } C)).

解答

尚未写出解答。

被以下引用

无。

无。