/sci/ - Science & Math

Why no replies yet? Did I s..s..stutter?

>>15731490

Is metal consciousness? If not, does it have any signs of life? Does it have the potential for life? What is this? A blissful sleep state?

>>15557878
Shut up nerd

Now eat my barkel faggits

DOOPID

If we didn't need to eat, we wouldn't have to stay anywhere, and thus paying rent and living in a house would be optional. It seems the 'age' of life is to make us trap ourselves in broken societies and ruin the planet. Unless it's a great test, it's unjust.

is this right?
[math]yx(y^{-1}) = xy(y^{-1}) = x(yy^{-1}) = x1 = x[/math]

using commutativity, associativity, multiplicative inverse and identity?

>>14526376
I've just been trying to work through the book on my own, and i'm a bit past the material on logic and unions, but i find i still struggle with proofs like this.

But what use does the existential operator have for proving anything if its only talking about some x and not all x?

I think it can be written as Ex(x e B' & x e a --> x e A & x e B'). But i'm not sure what this means with Ex in there. It could be like Ex(p->p) and p->p is the same as ~p or p, which is just p.

But still i just cant see any meaning in it, especially with only the existential operator involved :(

Sorry i have such a smooth brain