In my course book we have something called implication arrows $\Rightarrow$ and equivalence arrows $\Leftrightarrow$ and I have never managed to understand them.
When do I know which to use and how do I know that I'm correct when I use them?
In my course book we have something called implication arrows $\Rightarrow$ and equivalence arrows $\Leftrightarrow$ and I have never managed to understand them.
When do I know which to use and how do I know that I'm correct when I use them?
There is a significant subtlety about $A \Rightarrow B$ which it is useful to clear up right at the beginning and which has been the subject of other threads. It is based on the use of implication in logic.
It is that $A \Rightarrow B$ is taken to be True except in the case that A is True and B is False.
Stated like that it can seem obvious, but this means that if A is false, then the implication is taken to be true whether B is true or false. This is a convention, which can seem counterintuitive at times, but which is very useful (which is why the convention is the way it is). Intuitively the convention encodes the fact that if A is false, the implication tells us nothing about B.
$A \Rightarrow B$ has the meaning $B$ follows from $A,$ but this does not necessarily hold the other way around. For instance, from $x = 13$, it follows that $x$ is prime. But you can't argue the other way around. So if $\mathbb P$ is the set of prime numbers, you can write $x = 13 \Rightarrow x\in\mathbb P$, but not $x\in\mathbb P\Rightarrow x=13.$
$A\Leftrightarrow B$ has the meaning that $A$ and $B$ are the same statement, just transformed. If $A\Leftrightarrow B$, then both $A\Rightarrow B$ and $B\Rightarrow A.$ For instance, consider an integer $x$. You can say that if $x$ is even, then $x$ is not odd. This certainly also holds the other way around, so you can write $\mathrm{even}(x)\Leftrightarrow\lnot\;\mathrm{odd}(x).$
Suppose you have two propositions $P$ and $Q$.
Let me add a few simple examples.
Since $\frac{2p}{2q}=\frac{p}{q}$ ($q\ne 0$) we can write $\frac{2p}{2q}=5\Leftrightarrow \frac{p}{q}=5.\qquad (1)$
Its meaning is that $\frac{2p}{2q}=5$ is true if and only if $\frac{p}{q}=5$.
a) If you have $y=x$, then you can say that $y^2=x^2$ and write $y=x\Rightarrow y^2=x^2.\qquad (2)$
Its meaning is that if $y=x$ is true so is $y^2=x^2.$
b) If you have $y=-x$, then you can say that $y^2=x^2$ and write
$y=-x\Rightarrow y^2=x^2.\qquad (3)$
Its meaning is that if $y=-x$ is true so is $y^2=x^2.$
c) If you know that $y^2=x^2$ you can guarantee that $y=x$ or $y=-x$ and write
$y^2=x^2\Rightarrow y=x\quad \text{or}\quad y=-x.\qquad (4)$
Its meanig is that if $y^2=x^2$, then $y=x$ or $y=-x$.
d) Combining $(2),(3)$ and $(4)$ you have the following equivalence
$y^2=x^2\Leftrightarrow y=x\quad \text{or}\quad y=-x.\qquad (5)$
Its meanig is that $y^2=x^2$ if and only if $y=x\quad \text{or}\quad y=-x$.
Well, as far as I know the $\Rightarrow$ which you call the implication arrow can be used to for implying statements.
The second arrow that is $\Leftrightarrow$ I have seen it often being used for if and only if statements. That is $A \Leftrightarrow B$, means If you assume $A$ then $B$ is true and if you assume $B$ then $A$ should be true (or can be deduced.)