Sorry for the confusion -- I was formulating the negative, "Nothing comes from nothing."

Yours is the negative of mine, so it's all good.

My logic is bad. I've read some up recently and I'm still quite shaky on the subject.

Nihil ex nihilo = nothing comes from nothing.
Nothing comes from nothing = everything comes from something = (Ax)(Ey)(x comes from y) = not the case that there exists an x such that it is false that there exists a y such that x comes from y
= ~(Ex)~(Ey)(x comes from y).

(1) ~(Ex)~(Ey)(x comes from y)

Creatio ex nihilo = something comes from nothing.
Something comes from nothing = there exists an x such that for all y, it's false that x comes from y = (Ex)(Ay)~(x comes from y).

(2) (Ex)(Ay)~(x comes from y)

Oh now I see it. Thanks. Had to write that down to understand it.

(1) is the negation of (2). Am I right?

Nailed it.

You just have to get used to how quantifiers and negatives go together. "All" is the same as "There isn't one that isn't" and "There is" is the same as "Not all aren't".

¬∃¬ can be traded for ∀
¬∀¬ can be traded for ∃

(Y) Thanks