Exercice 4, § 3 Tag 03GC, permanent. Cite it as [Bourbaki, Tag 03GC]. Théorie des ensembles, I Soient AAA et BBB des relations d’une théorie logique T\mathscr{T}T. Désignons par A∣BA \mid BA∣B la relation «(nonA)(\operatorname{non} A)(nonA) ou (nonB)(\operatorname{non} B)(nonB)». Prouver dans T\mathscr{T}T les théorèmes suivants: (nonA)⇔(A∣A) (\operatorname{non} A) \Leftrightarrow (A \mid A) (nonA)⇔(A∣A) (A ou B)⇔((A∣A)∣(B∣B)) (A \text{ ou } B) \Leftrightarrow ((A \mid A) \mid (B \mid B)) (A ou B)⇔((A∣A)∣(B∣B)) (A et B)⇔((A∣B)∣(A∣B)) (A \text{ et } B) \Leftrightarrow ((A \mid B) \mid (A \mid B)) (A et B)⇔((A∣B)∣(A∣B)) (A⇒B)⇔(A∣(B∣B)) (A \Rightarrow B) \Leftrightarrow (A \mid (B \mid B)) (A⇒B)⇔(A∣(B∣B)) Solution No solution has been written yet. Cited by Nothing. Cites Nothing.