We’ve seen in the above, that and are different statements. It’s helpful to have a word relating them:
Definition: Consider a statement of the form . Then the converse of that statement is the statement .
The truth of an implication has very little to do with the truth of its converse, as we’ll see.
Equivalence is the relationship between two statements of being both true, or both false.
Definition: Let and be statements. We write , pronounced “ is equivalent to ” for the statement that is true if and only if is true.
Sometimes people shorten “if and only if” to “iff”.
Negation is a type of opposite:
Definition: Let be a statement. The negation of , written and often pronounced “not ”, is the statement “ 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 is equivalent to . 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 . Its contrapositive is the statement .
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.
Let and be statements. The statement is equivalent to its contrapositive .
I’ll prove this using a truth table, showing what happens in all possibilities:
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 is true exactly when is, and this proves that they’re equivalent.
“And” and “Or”
There are other ways to combine statements, other than implication:
Definition: Let and be statements. The statement , pronounced “ and ”, is the statement that both and are true.
The statement , pronounced “ or ”, is the statement that at least one of or (and possibly both) is true.
We can make truth tables for both of them:
While you’re all used to these words from everyday life, there can be vagueness about how “or” is used in English.
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”:
The statement is equivalent to .
The only way that the first statement can be false is if is true and 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.
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:
So, for example, is to be read as
“For all integers , we have .”
And is to be read as
“There exists a real number such that .”
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 says that every natural number has a square root .
The order of quantifiers is very important. If we swap over the two quantifiers in the last example, we get This says that there’s a particular number which has the property that is the square root of every natural number. And that’s nonsense.