What does $\rightarrow$ mean in $p \rightarrow q$ I was looking at an exercise where it asked the following:

$$\begin{array}{ccc}
p&amp;q&amp;p\rightarrow q \\
T&amp;T&amp;T \\
&amp;\ldots
\end{array}$$

So, for the third column, I just put $T$ which was correct but I didn't understand what $\rightarrow$ meant. I have seen $\implies$ but I haven't the arrow. Are they the same thing?

Thanks a bunch!
The $\rightarrow$ symbol is a connective. It's a symbol which connects two propositions in the context of propositional logic (and its extensions, first-order logic, and so on).

The truth table of $\rightarrow$ is defined to be that $p\rightarrow q$ is false if and only if $p$ is true and $q$ is false.

Indeed this is the same meaning of $\implies$, but the difference is that $p\implies q$ is a statement about propositions, whereas $p\rightarrow q$ is a proposition. In some contexts, though, people don't make this distinction between material implication (the connective) and logical implication (the $\implies$ arrow). But they are not the same thing in every context of propositional logic.
Now, although I am only a rising 8th grader taking geometry, I can assure you that there is no difference to the arrows. I have seen a two sided arrow (p&lt;-->q), but that is different. The single arrow just indicates a conditional statement.