Set Theory Help

Set Theory Help

This is a blue board which means that it's for everybody (Safe For Work content only). If you see any adult content, please report it.

Thread replies: 6
Thread images: 2

Anonymous
Set Theory Help 2016-05-05 05:57:37 Post No.
[Report] Image search: [Google]

File: identities.jpg (272KB, 853x817px) Image search: [Google]

272KB, 853x817px

Set Theory Help Anonymous 2016-05-05 05:57:37 Post No. [Report]

How can I prove Sb5 and Sb6 with the given axioms (Com, As, Dis, Id, Cmp) and the previous Sb's?

For Sb5 I understand I need to use Id, but I don't know where to start. Same with Sb6.

Anonymous 2016-05-05 07:26:41 Post No.114789
[Report]

Anonymous 2016-05-05 07:26:41 Post No.114789 [Report]

>>114750
A∩Ac = Ac∩A = 0 (com, cmp)
A∪Ac = Ac∪A = U (com, cmp)
A'=Ac, B'=A then A=B'=A'c=Acc (sb5)

Anonymous 2016-05-05 13:03:39 Post No.114905
[Report]

Anonymous 2016-05-05 13:03:39 Post No.114905 [Report]

>>114789
Thanks!

Anonymous 2016-05-06 02:47:20 Post No.115275
[Report]

Anonymous 2016-05-06 02:47:20 Post No.115275 [Report]

Bumping this.

I'm still trying to work out Sb5 and I'm getting nowhere.

Anonymous 2016-05-06 10:44:16 Post No.115379
[Report] Image search: [Google]

Anonymous 2016-05-06 10:44:16 Post No.115379 [Report]

File: 0506160503_HDR-1.jpg (730KB, 2293x2181px) Image search: [Google]

730KB, 2293x2181px

>>115275
Finally came up with this.

Can anyone check if it's solid? Sub = substitution, H1 = hypothesis 1, H2 = hypothesis 2

Anonymous 2016-05-06 22:05:39 Post No.115758
[Report]

Anonymous 2016-05-06 22:05:39 Post No.115758 [Report]

>>115379
Seems okay, but you can shorten some steps.
Start with (Id) B ∩ U = B
Also in 7-> 8 you need an extra step.

I'm aware that Imgur.com will stop allowing adult images since 15th of May. I'm taking actions to backup as much data as possible. Read more on this topic here - https://archived.moe/talk/thread/1694/

I'm aware that Imgur.com will stop allowing adult images since 15th of May. I'm taking actions to backup as much data as possible.
Read more on this topic here - https://archived.moe/talk/thread/1694/