Recent content by plum356

not necessarily electricity but have a look at KiwiCo https://www.kiwico.com/

i came across a series of books by UBC: https://personal.math.ubc.ca/~CLP/index.html they look nice!

https://www.overleaf.com/learn you can also use their online editor instead of downloading a software.

don't overwhelm yourself with resources. it's often very crippling and unproductive.

If you start with ##n>0##, what would the comparison relation between ##-(1/n)## and ##0## be?

Yes, it's first order logic. The "edit" button disappeared, though, so I can't even modify the post. For the symbols ##\subseteq## and "proper subset", I can't utilise them yet, because the exercise wants me to write the axioms using only FOL's language + ##\in##. I think that you're right for...

I think that the most straightforward way is to factorise ##x^2+2## into ##2\left(1+x^2/2\right)=2\left[1+(x/\sqrt 2)^2\right]##. When you see an integral close to one that you would usually find in an integration table, ##(1+x^2)^{-1}## for instance, try adding a ##0## or factorising something.

The axioms: My work: Extension:$$\forall x\forall y,\,(x=y)\iff(\forall z,\,(z\in x\iff z\in y))$$ Empty Set:$$\exists x|\forall y,\,\neg(y\in x)$$ Pair Set:$$\forall c\forall d,\,\exists e|(c\in e)\wedge(d\in e)\wedge[\forall f,\,\neg((f=c)\vee(f=d))\implies\neg(f\in e)]$$ If you consider any...

##\text{Aha!}## Thank you. :)

Good evening! Have a look at the following part of a proof: Mentor note: Fixed the LaTeX I don't understand the use of implications. Isn't ##x\in C_M(A\cup B)\iff x\notin(A\cup B)##? To me, all of these predicates are equivalent.