Bài tập 4, § 3

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

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

Cho $A$ và $B$ là các quan hệ trong một lý thuyết lôgic $\mathscr{T}$ . Cho $A|B$ ký hiệu quan hệ "(không phải $A$ ) hoặc (không phải $B$ )". Chứng minh các định lý sau trong $\mathscr{T}$ :

(\text{không phải } A) \Leftrightarrow (A|A),

(A \text{ hoặc } B) \Leftrightarrow ((A|A)|(B|B)),

(A \text{ và } B) \Leftrightarrow ((A|B)|(A|B)),

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

Solution

No solution has been written yet.

Cited by

Nothing.

Cites

Nothing.