[ 3 / biz / cgl / ck / diy / fa / ic / jp / lit / sci / vr / vt ] [ index / top / reports ] [ become a patron ] [ status ]
2023-11: Warosu is now out of extended maintenance.

/sci/ - Science & Math

View post   
File: 75 KB, 1600x960, math.jpg [View same] [iqdb] [saucenao] [google]
10083033 No.10083033 [Reply] [Original]

Hey, I need Help. Where is my Mistake?
Result is ALMOST equal, but still wrong...
1st semester Math Student
Set Theory Logic

>> No.10083297
File: 6 KB, 521x146, wat.png [View same] [iqdb] [saucenao] [google]
10083297

Almost equal means nothing in set theory
i dont know how to inline latex

>> No.10083314

>>10083033
> 2nd-last line
Where did C come from?

>> No.10083318
File: 61 KB, 492x506, ff_by_47onimaru.jpg [View same] [iqdb] [saucenao] [google]
10083318

>>10083033
>sex fest after believing

>> No.10083443

>>10083033
>logic
I never see those ∧∨⊻¬ signs in more advanced math, where are they used?

>> No.10083468

>>10083443
In multiplication division addition and subtraction

>> No.10083526

In the definition of the symmetric difference you might notice that it's (A\B) U (B\A) and not (A\B) intersect (B\A). Your use of ^ and v don't reflect that which is where your mistake is. Look at the first non-crossed out line. It should be x in (A diff B) <=> (x in A and x not in B) or (x in B and x not in A) (notice the or)

>> No.10083533

>>10083443
In propositional logic. You'll see it a lot in foundations and anything overly formal. The ^ is a conjunction or logican and v is disjunction or logical or, and ¬ is a negation.

>> No.10083576

Do it in a formal prover faggot

e.g.

https://pastebin.com/1Fs3WT5J

>> No.10083579

>>10083033
>that handwriting
Are you in London?

>> No.10083624

>>10083033
look at line 7 you fucktard it always evaluates to false
union of sets is or not and

>> No.10083633

>>10083033
Union of sets corresponds to alternative.
It's the intersection of sets that corresponds to ^.

>> No.10083675

>>10083579
L O N D O N

O

N

D

O

N