# Lecture 5

We’ve seen in the above, that $A\Rightarrow B$ and $B\Rightarrow A$ are different statements. It’s helpful to have a word relating them:
Definition: Consider a statement of the form $A\Rightarrow B$. Then the converse of that statement is the statement $B\Rightarrow A$.

The truth of an implication has very little to do with the truth of its converse, as we’ll see.

## Equivalence

Equivalence is the relationship between two statements of being both true, or both false.
Definition: Let $P$ and $Q$ be statements. We write $P\Leftrightarrow Q$, pronounced “$P$ is equivalent to $Q$” for the statement that $P$ is true if and only if $Q$ is true.

Sometimes people shorten “if and only if” to “iff”.

## Negation

Negation is a type of opposite:
Definition: Let $P$ be a statement. The negation of $P$, written $\neg P$ and often pronounced “not $P$”, is the statement “$P$ is false”.

We must be careful in thinking of negation as an opposite. For example, the negation of “Richard is happy” is “Richard is not happy”.

Most people would say that the “opposite” is “Richard is sad”. That’s not quite the same thing!

Similarly, the negation of “Alice is in front of Bob” is not “Alice is behind Bob”, but:

“Alice is not in front of Bob”.

Note that double negation doesn’t do anything: the statement $\neg(\neg P)$ is equivalent to $P$. Since statements are either true or false, if it’s not “not true”, it’s true.

The negation allows us to make sense of something very important about implication:
Definition: Consider a statement of the form $P\Rightarrow Q$. Its contrapositive is the statement $(\neg Q)\Rightarrow(\neg P)$.

The main useful fact about the contrapositive is that it’s equivalent to the original implication. This is something very familiar from everyday life. If my friend Mel says

“If I can come visit you this evening, then I’ll text you at lunchtime,”

then I might rephrase it to myself as:

“I don’t get a text at lunchtime, then Mel won’t visit this evening.”

But here’s a formal statement and proof, anyway.

#### Proposition

Let $P$ and $Q$ be statements. The statement $P\Rightarrow Q$ is equivalent to its contrapositive $(\neg Q)\Rightarrow(\neg P)$.

#### Proof

I’ll prove this using a truth table, showing what happens in all possibilities:

$P\;$ $\; Q\;$ $\; P\Rightarrow Q\;$ $\;\neg Q\;$ $\;\neg P\;$ $\;(\neg Q)\Rightarrow (\neg P)$
0 0 1 1 1 1
0 1 1 0 1 1
1 0 0 1 0 0
1 1 1 0 0 1

You see from this that $(\neg Q)\Rightarrow(\neg P)$ is true exactly when $P\Rightarrow Q$ is, and this proves that they’re equivalent.

## “And” and “Or”

There are other ways to combine statements, other than implication:
Definition: Let $P$ and $Q$ be statements. The statement $P\wedge Q$, pronounced “$P$ and $Q$”, is the statement that both $P$ and $Q$ are true.

The statement $P\vee Q$, pronounced “$P$ or $Q$”, is the statement that at least one of $P$ or $Q$ (and possibly both) is true.

We can make truth tables for both of them:

$P$ $Q$ $P\wedge Q$
0 0 0
0 1 0
1 0 0
1 1 1
$P$ $Q$ $P\vee Q$
0 0 0
0 1 1
1 0 1
1 1 1

While you’re all used to these words from everyday life, there can be vagueness about how “or” is used in English.

For example,

you can have your pie with chips or with mashed potatoes

is probably intended to mean “but not both”. In mathematical argument when we use “or” and mean “but not both”, we have to say so explicitly.

It is sometimes worth knowing that implication can be defined in terms of “or”:

#### Proposition

The statement $P\Rightarrow Q$ is equivalent to $(\neg P)\vee Q$.

#### Proof

The only way that the first statement can be false is if $P$ is true and $Q$ is false. But that’s also the only way that the second statement can be false, so they’re equivalent.

Note that that shows another style of proof of logical statements: by analysis rather than the “case bash” used in truth tables.

## Quantifiers

Lastly, we need to discuss how to make statements about general situations and particular examples. The phrases we use again and again are “for all” and “there exists”: these are called quantifiers.

The following symbols are in common use: \begin{aligned} {}\forall \quad&\text{for for all'';}\\ {}\exists \quad&\text{for there exists'';}\\ {}\quad\mathrm{s.t.}\quad\quad&\text{for such that''.}\end{aligned}

So, for example, $\forall n\in \mathbb{Z},\quad n^2-1 = (n+1)(n-1)$ is to be read as

“For all integers $n$, we have $n^2-1 = (n+1)(n-1)$.”

And $\exists x\in\mathbb{R}\quad\mathrm{s.t.}\quad x^2-3x-12=0$ is to be read as

“There exists a real number $x$ such that $x^2-3x-12=0$.”

It’s important that you get used to this notation. This is not because there is anything amazing about it, but because mathematics involves lots of general rules and particular examples: much of the mathematics you do for the next few years will require you to be able to deal with these things.

One thing you’ll have to get used to is situations with two or three quantifiers. These happen very frequently: “in general, there is always a particular example of such-and-such”, or “there is a particular amazing example which has the general property of such-and-such”.

For example, the statement $\forall n\in\mathbb{N},\quad\exists x\in\mathbb{R}\quad\mathrm{s.t.}\quad x^2 = n$ says that every natural number $n$ has a square root $x$.

The order of quantifiers is very important. If we swap over the two quantifiers in the last example, we get $\exists x\in\mathbb{R}\quad\mathrm{s.t.}\quad\forall n\in\mathbb{N},\quad x^2 = n.$ This says that there’s a particular number $x$ which has the property that $x$ is the square root of every natural number. And that’s nonsense.