Mathematical Logic/Notation/Syntax Good evening, I'm currently reading up on mathematical logic, and have came across quantifiers, specifically, the universal quantifier ($\forall$) and the existential quantifier ($\exists$), both of which I hope to incorporate into my high school differential equations homework.
A simple question is this : Find the general solution of the differential equation, $\frac{dy}{dx} = 1.$
We start with integrating both sides:
$$\begin{align}\int{dy} &= \int{dx}\\
y &= x + C\end{align}$$
My first confusion (more of on differential equations) comes here : is the above true "for all" $C \in \mathbb{R}$, or "for some" $C \in \mathbb{R}$?
Then, my second confusion : must we write $\forall{C\in\mathbb{R}} : y = x + C$, or is it also valid to write $y = x + C~ \forall{C\in\mathbb{R}}$ (I.E. prefix vs suffix)?
Also, my third confusion : how would I express "Given $\frac{dy}{dx} = 1$" at the very start of my workings? Is it alright to say $\frac{dy}{dx} = 1 \implies \int{dy}=\int{dx}$? Or would it be better to use iff ($\iff$) instead?
 A: First off, I must say that the use of the quantifiers in this context is a bit excessive. It's not needed and perhaps even confusing to the reader. 
Let me note that the quantifiers are used in two very distinct manners: formally and informally.
Typically, quantifiers are placed before your proposition, i.e. you have
$$\forall x\ P(x),\ \ \ \ \text{or}\ \ \ \ \exists x\ P(x)$$
where $P$ is some logical proposition you are quantifying over.
Informally though, it doesn't really matter and the symbols are just a shorthand for the words, i.e. it's quite common to see a phrase along the lines of 
$$P(x),\ \ \forall x$$
You are really just writing shorthand for the sentence "P(x), which holds for all $x$".  As long as your intentions are clear, feel free to use them as you like.
Formally though, quantifiers follow very strict rules in their usage and placement. Keep in mind that logical sentences are constructed to be very rigid. So rigid in fact, that they can serve as inputs to programs which perform logical operations on them.
It is way beyond the scope of this answer to talk about the formal use of quantifiers, although there are plenty of resources available if you are interested. Almost all uses of the quantifiers in math (outside of a few select branches such as set theory and mathematical logic) are informal or semi-formal. Your use of them at this point will certainly be informal.
To answer your question directly, you should probably write something along the lines of:
$$\exists C\ \forall x\ y(x) = \frac{x^2}{2} + C$$
Although to be perfectly honest, I would be rather surprised if I saw someone actually write that.
A: Good question.
Firstly, here's how I would write the solution if I wanted to be "rigorous." Begin with a convention. Whenever $x$ is a variable, let us write $\mathbb{R}x$ for the set of all real numbers dependent on $x$. Now for the solution.

Let $I$ denote an open real interval, declare $x$ to be a variable of
  $I$, and suppose $y \in \mathbb{R}x$ is differentiable with respect to
  $x$. Then TFAE.
  
  
*
  
*$\dfrac{dy}{dx} = 1$
  
*$\exists C \in \mathbb{R} : y = x+C$
  

Now secondly, let me just say that my personal attempts at solving more advanced differential equations in a "logically explicit" way have been fraught with difficulty. So if you want to get good at solving DE's, I recommend not to get caught up in rigor and/or being logically explicit. There's simply no book or resource available to teach you how to solve DE's rigorously, so trying to be logically explicit in this field is (currently) a major handicap to learning the material.
