## How to teach logical implication?

34

11

One of the challenges of undergraduate teaching is logical implication. The case by case definition, in particular, is quite disturbing for most students, that have trouble accepting "false implies false" and "false implies true" as true sentences.

Question: What are good point of view, methods and tips to help students grasp the concept of logical implication?

To focus the question, I would like to restrict to math majors, although the question is probably equally interesting for other kind of students.

Students must realize that, in mathematics, there is no cause and effect, or passage of time. These are the realms of science. An implication in mathematics can apply to a single instant in time, e.g. to logical relationships that may be evident in a single still photograph. See my answer at MSE: http://math.stackexchange.com/questions/1551320/understanding-vacuously-true-truth-table/1551525#1551525

Dan Christensen 2016-03-29T22:19:08.917

This blog post http://meangreenmath.com/2016/03/31/predicate-logic-and-popular-culture-index/ talks about teaching predicate logic using pop culture. You might be able to come up with a similar example to engage students.

David Ebert 2016-04-07T19:19:34.953

1I like to use the example "if [something you are trying to undermine] then I'm a monkey's uncle" to motivate an intuitive understanding of how an implication with a false premise can be understood to be true.David Steinberg 2018-01-10T01:04:37.063

1So I guess you refer to classical logical implication. However, this is not the only kind of implication. What of teaching students Lukasiewicz-Wajsberg three-valued implication? Or infinite-valued Lukasiewicz implication? Or the implication of relevant logic?Doug Spoonwood 2014-05-03T02:31:06.347

24

Various psychological studies have been done which show that most people (including university students, who are the most common subjects of psychological tests!) are very poor at grappling with the last two entries of the truth table for $A \implies B$ in an abstract context, but they are much better with it in a situation in which the consequences of falsifying the implication are understood.

When I taught (twice) a "transitions" course for undergraduate math majors, I gave them this essay question.

T3.1) a) You are shown a selection of cards, each of which has a single letter printed on one side and a single number printed on the other side. Then four cards are placed on the table. On the up side of these cards you can see, respectively, D, K, 3 and 7. Here is a rule: "Every card that has a D on one side has a 3 on the other." Your task is to select all those cards, but only those cards, which you would have to turn over in order to discover whether or not the rule has been violated.

b) You have been hired to watch, via closed-circuit camera, the bouncer at a certain 18-and-over club. In order to be allowed to drink once inside the club, a patron must display valid 21-and-over ID to the bouncer, who then gives him/her a special bracelet. In theory the bouncer should check everyone's ID, but (assume for the purposes of this problem, at least!) it is not illegal for someone who is under 18 to enter the club, so you are not concerned about who the bouncer lets in or turns away, but only who gets a bracelet. You watch four people walk into the club, but because the bouncer is so large, sometimes he obscures the camera. Here is what you can see:

The first person gets a bracelet.
The second person does not get a bracelet.
The third person displays ID indicating they are 21.
The fourth person does not display any ID.

You realize that you need to go down to the club to check some IDs. Precisely whose ID's do you need to check to verify that the bouncer is obeying the law?

Part a) is (up to psychological isomorphism) the infamous Wason selection task. Part b) is a real-world analogue designed to be closer to the students' experience. It makes perfect sense that we do not need to recheck the IDs of anyone who did not get a bracelet: we're trying to enforce the implication "If you get served drinks, you must have ID." People can understand that no one is going to get in trouble for the people that they didn't serve drinks to.

One can see relations here to one of the other (good) answers. For one, yes, it's good to think in terms of when $A \implies B$ is false: there's just one possibility and that's what we care about, so in every other case we make it true. But yes, I do introduce implication via the truth table. It can also be helpful to define it as "(not A) or B": that somehow seems less arbitrary, and gives them good practice seeing that the negation is "A and (not B)". But then we have the burden of explaining why we call this "implies"....and I've found that if you emphasize that the one possibility you need to exclude is that A is true and B is false, then it is not in fact so terribly hard for students to swallow. I follow up with the concept of "vacuously true", namely the implication is true because the hypothesis is false. This becomes a key proof technique later in the course: sometimes you need to begin to analyze an implication $\forall x \in A$, $P(x) \implies Q(x)$ by first figuring out for which $x \in A$ it is the case that $P(x)$ is true.

4Question b needs adapting for different cultures. In the UK clubs are sometimes 21-and-over, whereas it is legal to buy drinks at 18.Jessica B 2015-03-04T09:39:44.100

27

I find it helpful to introduce the negation of conditional claims simultaneously. For one, this better helps them to understand the "false implies false" case; but also, this helps them understand how to logically negate conditional claims (which is essential when they go on to learn proof techniques for conditional claims).

The classic "If it is raining, then I definitely have an umbrella with me" is my go-to. I say to the students: "I assert that conditional claim. How could you possibly call me out to be a liar?" They talk amongst themselves and realize that the only way to call me a liar is if they observe me walking around sans umbrella in the rain; all other situations do not yield a falsehood, so they must be true.

(Admittedly, this might be passing the buck to accepting the Law of the Excluded Middle, but I've found students are far more comfortable with "True or False?" than they are with "'false implies false' is true" :-) )

4I actually think the key to why that example might help is a single, loaded word normally absent from if-thens: 'definitely'. It implicitly emphasises that you make no claim one way or the other if it is not raining, that (in the absence of another assertion) you leave the listener in a state of total agnosticism: maybe you took the umbrella, and maybe you didn't. I bet misunderstandings dissolve the instant that people learn to read this into such a statement (or internalise the corresponding, implicit null claim).Vandermonde 2015-11-02T04:17:59.770

1+1: As recorded in my answer, I think this is the single most helpful tip.Pete L. Clark 2014-03-19T00:11:16.610

+1 I really like that exampleGamma Function 2014-03-19T04:02:30.157

11

Historically, quantificational logic came before propositional logic.

This leads to accepting both Ten-Foot-Tall $\rightarrow$ Plays-Basketball and Ten-Foot-Tall $\rightarrow \neg$ Plays-Basketball.

8

I have come to understand this to be analogous to an order relationship among the truth values. P -> Q should be understood to mean "Q is at least as true as P", or "Q is not less true than P".

So, any statement at all (Q = t or f) is at least as true as a known falsehood (P=f), and a known truth (Q=t) is at least as true as any other statement (P =t or f).

This can be presented in connection with the most common instance of valid reasoning, modus ponens, and distinguishing two parts of sound reasoning: true premises, and valid reasoning. What P -> Q to be true means, is that it is logically valid: Using it will not introduce a false conclusion. If we know or assume that P is true, and "if P then Q" is valid, then it safe to conclude P. We don't often consider the case of when P is false. However, if know or assume that "If P then Q" is valid, but P is false, that combination of facts tells us nothing about Q, and it could equally well be true or false.

7

When I've taught propositional logic I acknowledge that this is a formalism that doesn't perfectly match the English usage, and use it as an opportunity to point out

1. The evaluation of $\rightarrow$ has to be purely a property of truth values, whereas "implies" in English involves the meaning of the statements, not just whether they're true or false. This is an important property of the propositional logic, and this is the first good opportunity to emphasize it. (My students usually agree that, if $\rightarrow$ has to be truth functional, the accepted interpretation is probably the best that can be done.)
2. They're in good historic company, and there are variations of propositional logic (like modal logic and relevant logic) which try to address exactly this issue, but they have to give up having everything be a function on truth values. This is a nice chance to indicate why there's more than one notion of formal logic.

6

My approach is like that of others but I like to use math instead of everyday language. I get them to agree that we want this statement to be true: "if x is a perfect square then x is not prime" simply because x=y*y is a factorization. Then we use various x's to get the different lines of the truth table.

4

1. Avoid real world analogies. They confuse students because real world means natural language. Instead remind them of implication and its truth table whenever you write a mathematical proposition on the board.

2. Remind students to work with the definitions. Over and over again.

3. Introduce the notion of a vacuous truth (or vacuous implication) as soon as possible, I prefer the first class of the semester (even if it's before anything related to propositional calculus), and point it out explicitly whenever it comes up.

4

To supplement Brendan's idea: I like to connect quantified statements to unquantified in the following way: Assume a statement like "If X is a dog, then X has a head". Now, once you have found this to be true, you might want the truth not to depend on X. Thus replacing X for anything like "my car" should still give you a true statement. However, "If my car is a dog, then my car has a head" should be true then.

A second remark: At this point one should make clear, that the truth of statements is not given by nature, but something we define. So the question should not be which truth value is right, but which one makes more sense.

Edit: third remark: There are statements which feel "more true" than others, althoug they are of the form "A=>B" with A, B being wrong. Compare "If I am the pope, then I am a woman." and "If I am the pope, then I live in Rome". For me (not the pope, male, not living in rome), all parts of the statements are wrong. However, the second feels true, whereas the first one feels wrong. So it is worth a discussion if and how one should calculate truth values of conditional statemens from the truth values of their parts.

4

One of the things that really helped me (not to learn it, but to appropriately apply it), back when I originally learned this myself was the equivalence between $p\implies q$ and $\neg p \vee q$. I constantly reminded myself of it when manipulating logic statements. Make sure the students are aware of this equivalence.

What it did was give me a basis of comparison to something I already understood well. It gave me something to check in case I was worried I have made a mistake. It made negation of implication a lot easier to understand as well.

2

Let me add the tricks I used already to the interesting ones proposed in the other answers. They are partly, but not completely redundant.

First, implication is often best understood in quantified propositions; this has already been pointed out by Matt F., but I am not too found of allegedly real-life assertions, which usually sound rather artificial. I rather use statements like: "every integer $n$ that is divisible by 6 is also divisible by 3" or "for any integer $n$, if $n^2$ is even then so is $n$". One of the best of this kind is "for any integer $n$, if $n$ is a multiple of 4 then $n^2$ also is a multiple of 4": you have all three cases where implication is true by taking $n=2,3,4$.

The second angle is to give an example where one wants to state and use an implication without knowing the truth value of its terms. Here ironically, an allegedly real-life assertion does the job quite beautifully: assume you are investigating a murder that took place in London Saturday and that Colonel Mustard is a suspect. You can say confidently that "if Colonel Mustard is guilty, then she was in London Saturday" even if you do not know whether she is guilty nor whether she was in London Saturday. What is especially good in this example is that it is a good way to introduce contrapositives: the statement "if Colonel Mustard was not in London Saturday then she is not guilty" shows convincingly that the contrapositive has the same truth value than the original implication. I learned this example from Viviane Durand-Guerrier, a researcher in educational studies in mathematics in Montpellier.

1

I am really impressed by the answers given by others here; I will definitely keep them in mind when teaching freshmen next semester. But I also have my 2 cents to add, since I haven't seen anything like that in them. I realize that this is only some kind of vague intuition, and it would probably confuse a lot of students, but it might as well help some. (It did help me at some point, at least.)

So let us assign a "$0$" to false statements and a "$1$" to true ones (this is a common convention at least here in Poland). Now "$p\implies q$" is true iff $p\le q$ (note that in the first formula we treat $p$ and $q$ as propositional variables, and in the second as numeric variables, which is clearly an abuse of notation!). This way one can view a material implication as a way of saying that "one sentence ($p$) implying another one ($q$) means that the latter one must be at least as true (whatever that means!) as the former one". In other words, when going from the antecedent to the consequent, we cannot "lose knowledge", only gain it. (Now this is really stretching things from philosophical point of view, and logicians would probably torture and kill me for that; but then again – this is only a (vague) intuition I'm talking about).

The way I present this to students (if I do!) is more or less this (with a wink): "So just like $p\land q$ is somehow similar to (but different from!) $p\cdot q$ – so that even we call $p$ and $q$ the "factors" of the conjunction [at least this is what we do in Polish; we also sometimes call a conjunction a "logical product", and we do similar things with alternative (i.e., use words "logical sum" and "summands")] – in a similar vein, $p\implies q$ is somehow similar to $p\le q$. But you know, better forget about it, since "truth" is not "one" and "falsehood" is not "zero" anyway, so what I've just told you is more or less a lie anyway."

For that analogy, it's slightly unfortunate that the "arrow" of the inequality relation is pointing in the opposite direction of the implication.Daniel R. Collins 2017-12-31T13:17:40.840

0

Try introducing the implication operator by giving it's essential properties rather than simply defining it in the usual way. These essential properties include:

1. The Detachment Rule tells us that if both $A$ and $A\implies B$ are true, then we can infer that $B$ must also be true.
2. The Deduction Rule tells us that, in a mathematical proof, if we assume $A$ is true and are subsequently able to prove that $B$ must also be true (without making any further assumptions), then we can infer that $A\implies B$. If we are also able to prove that $B$ is false (obtaining a contradiction) then we can infer that $A$ is false.
3. You will also need the Double Negation Rule: If $\neg\neg P$ is true, then so is $P$.

Then, it would be a trivial exercise to derive each line of the truth table for material implication:

Line 1: $A \land B \implies [A \implies B]$

Line 2: $A \land \neg B \implies \neg[A \implies B]$

Lines 3-4: $\neg A \implies [A\implies B]$

Using the same methods, we can also derive the usual "definition" (not required in above derivation of the truth table):

$[A\implies B]\iff \neg [A \land \neg B]$

For formal proofs, see If Pigs Could Fly at my math blog.

EDIT

Here is a proof of $\neg A \implies [A\implies B]$

1. Suppose $\neg A$

2. Suppose $A$

3. Suppose to the contrary that $\neg B$

4. We have the contradiction $A \land \neg A$ from (2) and (1)

5. Therefore, by contradiction, we have $\neg\neg B$ from (3)

6. Remove $\neg\neg$ to obtain $B$

7. Therefore, $A \implies B$ from (2)

8. Therefore, as required, $\neg A \implies [A\implies B]$ from (1)

I am not sure how much this helps students grasp the concept. It feels pretty formal, and student who are ok with formal concepts are not the ones that need the most attention here.Benoît Kloeckner 2018-01-06T10:33:58.373

Until they understand the 3 rules I list here, they will not fully understand why the truth table for material implication is correct.Dan Christensen 2018-01-06T14:09:17.163

The proof of $\neg A\implies [A\implies B]$ is only 8 lines.Dan Christensen 2018-01-06T14:25:54.453

"Only" 8 lines? You clearly do not have the same students as I have. If I cannot chop pieces of understanding much shorter than that for such an elementary concept, I won't get them anywhere. Moreover, one line or 8 line do not matter, a formal approach does not convince me except for the student I already know how to teach.Benoît Kloeckner 2018-01-06T17:01:22.523

Is it a course for math majors?Dan Christensen 2018-01-06T19:22:16.260

You could say the proofs of the above theorems are, "beyond the scope of this course." If they are interested, give them the links to the proofs, but tell them they won't be responsible for them on any tests or exams.Neither will they be asked to justify them in any way -- just know how to use them. Something like that should put them at ease on this matter. It's important for students to know that the truth table and the usual "definition" of material implication were not just cooked up to obtain certain results as many may suspect. For true-or-false propositions they seem to be inevitableDan Christensen 2018-01-07T16:04:51.527

0

This may add to the detailed discussions and explanations above. I had problems with mathematical implication until I read Keith Devlin's "Introduction to Mathematical Thinking". Hopefully what follows is a faithful summary of some of the ideas in the book.

1. Implication is not the conditional
2. Truth tables can help

1 We learn and experience that most things happen because of causality, or our interpretation of it. $A$ happens then $B$ happens. This gets expressed in different ways: $A$ happens so $B$ will happen, if $A$ happens then $B$ will happen, etc. These different expressions all get conflated and some people learn or are taught they all are represented by the expressions:

"if $A$ then $B$"

or

$A \implies B$

All of the above are wrapped up in the the idea of implication.

We all feel comfortable, or we internalise that when $A$ happens, $B$ will certainly happen because $A$ caused $B$. This is implication.

However, we are left with an uncertainty about what happens when $A$ doesn't happen.

To deal with this uncertainty in mathematics we need to abandon the idea of causality and fall back to a reduced idea of the conditional.

In Devlin's terms

"implication is the conditional with causality"

or the equivalent

"the conditional is implication without causality"

So what?

Well we can choose to define the conditional for every possible (4 ways) of combining $A$ and $B$ being True or False. I will break off point 1 here then come back.

For point 2 I understand these things in truth table terms, not linguistic terms.

1. In parallel, if we think of simple logic (I am not sure of the exact terminology - propositional logic?) we can combine two statements $A$ and $B$ with a variety of operations: and, or. We learn (usually passively) even if we can't express the ideas formally, about the meaning of compound statements $A$ OR $B$, $A$ AND $B$ whose truth value depends on the truth value of $A$ and $B$ and we can define these in truth tables. In more concrete terms, most people are comfortable with TRUE OR FALSE = TRUE and TRUE AND FALSE = FALSE and so on for all possible combinations.

Again, so what?

Well, $A \implies B$ is also a compound statement whose truth value depends upon the truth value of $A$ and $B$. We can now define the truth table values for False $\implies$ False to be TRUE. That's weird and uncomfortable.

There are two ways to deal with this first uncomfortable weirdness.

Either, claim that

$A \implies B$

is equivalent to

$\neg A \lor B$

derive the truth table values and demonstrate no contradictions,

alternatively (and this is how I deal with the situation - Devlin does not write this), we do not think about the result (truth value) of a compound statement for various "input" values as being True or False, but just ask whether the logical argument is valid (in place of true) or invalid (in place of false).

For example if A: x = 3, is False and B: x < 7 is False

then

$A \implies B$ in this case is a valid argument. In this case: if x $\neq$ 3 then x $\geq$ 7 is valid and hence true.

Rather than the truth table values being some arbitrary definition of the "meaning" of $A \implies B$, the conditional contains and is consistent with our hazier understanding of implication or if ... then, where A "causing" B is wrapped up in our understanding.

So back to 1. My understanding is this

$A \implies B$ is the conditional without causality, and all written or spoken expressions such as "implies" or "so" or "when" or "sufficent" or "necessary" I translate into the form $A \implies B$ ($A \to B$ ???) and work from there.

I would recommend Devlin's book (I have no commercial interests or connection) and the free Stanford/Coursera course by Devlin that covers the same ground.

Sorry, I do not understand what you call "the conditional" (I am not a native English speaker). Also, including causality in the implication is wrong (as can be seen in "There has been a murder in London Saturday. If A is guilty, then he was in London Saturday": guilt did not cause being in London), or by implication you mean something else than $\implies$ (which is inconsistent with usual mathematical vocabulary).Benoît Kloeckner 2018-02-10T13:34:46.217

Ok. So you say you don't understand the word "conditional". You don't engage with my explanation of the conditional and you indicate my argument is wrong. Interesting argument.Clive Long 2018-02-10T20:15:27.860