In classical logic, why is$ (p\Rightarrow q)$ True if both p and q are False?

Question

I am studying entailment in classical first-order logic.

The Truth Table we have been presented with for the statement $(p \Rightarrow q)\;$ (a.k.a. '$p$ implies $q$') is:

p | q | (p -> q)
________________     
T | T |    T
T | F |    F
F | T |    T
F | F |    T

I 'get' lines 1, 2, and 3, but I do not understand line 4.

Why is the statement $(p \Rightarrow q)$ True if both p and q are False?

We have also been told that $(p \Rightarrow q)$ is logically equivalent to $(~p || q)$ (that is $\lnot p \lor q$).

Stemming from my lack of understanding of line 4 of the Truth Table, I do not understand why this equivalence is accurate.

Thanks for any help on this.

Answer 1

Here are two explanations from the books on my shelf followed by my attempt. The first one is probably the easiest justification to agree with. The second one provides a different way to think about it.

From Robert Stoll's "Set Theory and Logic" page 165:

To understand the 4th line, consider the statement (P^Q)->P. We expect this to be true regardless of the choice of P and Q. But if P and Q are both false, then P^Q is false, and we are led to the conclusion that if both antecedent and consequent are false, a conditional is true."

From Herbert Enderton's "A Mathematical Introduction to Logic" page 21:

For example, we might translate the English sentence, "If you're telling the truth then I'm a monkey's uncle," by the formula (V->M). We assign this formula the value T whenever you are fibbing. In assigning the value T, we are certainly not assigning any causal connection between your veracity and any simian features of my nephews or nieces. The sentence in question is a conditional statement. It makes an assertion about my relatives provided a certain condition - that you are telling the truth - is met. Whenever that condition fails, the statement is vacuously true.

Very roughly, we can think of a conditional formula (p->q) as expressing a promise that if a certain condition is met (viz., that p is true), then q is true. If the condition p turns out not to be met, then the promise stands unbroken, regardless of q.

That's why it's said to be "vacuously true". That (p->q) is True when both p, q are False is different from saying the conclusion q is True (which would be a contradiction). Rather, this is more like saying "we cannot show (p->q) to be false here" and Not False is True.

Answer 2

Here is an example. Mathematicians claim that this is true:

If $x$ is a rational number, then $x^2$ is a rational number

But let's consider some cases. Let $P$ be "$x$ is a rational number". Let $Q$ be "$x^2$ is a rational number".
When $x=3/2$ we have $P, Q$ both true, and $P \rightarrow Q$ of the form $T \rightarrow T$ is also true.
When $x=\pi$ we have $P,Q$ both false, and $P \rightarrow Q$ of the form $F \rightarrow F$ is true.
When $x=\sqrt{2}$ we have $P$ false and $Q$ true, so $P \rightarrow Q$ of the form $F \rightarrow T$ is again true.

But the assertion in bold I made above means that we never ever get the case $T \rightarrow F$, no matter what number we put in for $x$.

Answer 3

The usual truth table interpretation of $\implies$ certainly does not capture the connotations of the English word "implies." This has sparked a number of attempts to define a notion of "strong implication" that is more faithful to the informal meaning, and in particular is it is one motivation behind modal logic.

A partial answer to the OP's question goes as follows. Suppose that we decide that the truth value of $A \implies B$ is to be completely determined by the truth values of $A$ and $B$ (in jargon, that $\implies$ is to be truth-functional.) That already does violence to the ordinary language meaning of "implies," but let us go on.

What value shall we assign to $A \implies B$ when $A$ is false and $B$ is true? What value shall we assign when $A$ is false and $B$ is false? A brief examination of the alternatives, aided by the responses already posted, shows that any alternative to the standard truth value assignment would be worse.

Answer 4

Here's a slightly different answer from the ones given.

The last line of the truth table is indeed counter-intuitive and this is exploited by the Watson Selection task. In the test, subjects are asked to solve this following puzzle:

There are 4 cards placed on a table. One side of the card has a number, while the opposite side is only coloured. The visible faces of the cards show 3, 8, red and blue. Which card(s) should you turn over in order to test the truth of the proposition that if a card shows an even number on one face, then its opposite face is red?

In Watson's original experiment, only 10 percent responded correctly. Most failed to list the blue card as the card that also must be turned over (apart from the card with number 8). Now, suppose we turn the blue card. Only if the other side fails to have an even number, would the proposition be true. Why? Because if the other side was even, then you'd have a card with even number on one face whose opposite face was not red. You can look at this as the intuition behind the last line of the truth-table. To correctly test the verity of the proposition, we must check that when the consequent is False, then the antecedent must be False too.

Answer 5

One reason: $p$ implies $q$ should be equivalent to its contrapositive, not $q$ implies not $p$.

Answer 6

The short answer is: 'This is the definition, live with it!' While that may sound haughty, it emphasizes the principle that in math we occasionally need to define a precise meaning to a word, and natural languages may fall short in providing a suitable one, so it is up to us the users of math to absorb a possibly new meaning. It is the price we need to pay so that a statement will have a precise meaning. The longer answer is that this meaning is more useful in writing mathematical results. Let me elaborate a bit.

Yet another way of looking at it is the following. It emerges, when we add one (or more) variable(s) $x$ ($y,z,\ldots$) to the language (really moving to predicate logic, but that's the language mathematical truths are written in). So instead of a proposition $p$ with a definite truth value we have a statement $p(x)$ whose truth depends on the value assigned to the variable $x$. We really want the implication

$$p(x)\Rightarrow q(x)$$

at the level of predicates to mean $\forall a: (p(a)\rightarrow q(a))$, where $a$ ranges over the elements of whatever set is relevant in the context. This is what is needed to express the usual mathematical results. In natural language $p(x)\Rightarrow q(x)$ should have either of the following equivalent meanings: 'if $p(x)$ is true, then so is $q(x)$', or '$q(x)$ is true whenever $p(x)$ is'. Notice that when a mathematician claims '$p(x)\Rightarrow q(x)$' she/he is not claiming anything about the truth of $q(a)$ unless $p(a)$ holds. So for example the statement $x>0\Rightarrow 2x>0$ as well as the statement $x>0\Rightarrow x+1>0$ are both valid implications, when the context tells us that $x$ is a real number, right? In both implications $p(x)$ means $x>0$. In the first case $q(x)$ means $2x>0$ and in the latter example $q(x)$ means $x+1>0$. Therefore the former reads in natural language: $2x$ is positive, whenever $x$ is, and the latter reads: if $x$ is positive, then so is $x+1$.

The first of these implications forces us to define the fourth line of the truth table the way it is done. For otherwise the implication would break down, because $p(-1)\rightarrow q(-1)$ would then be false, as both $p(-1)$ and $q(-1)$ are false. The latter implication (that we also want to be true) forces us to define the third line the way it is done, because $p(-1/2)$ is false but $q(-1/2)$ is true.

My point here is that the need to define it this way is clearer at the level of implications between predicates. At the level of propositions it is mostly a definition, but at the level of predicates, we are really making deductions. My education in formal logic is somewhat lacking, so please comment on my errorneous use of terms, and I will edit. I am approaching this question as a teacher of freshman calculus/algebra :-)

Answer 7

Why is the statement (p -> q) True if both p and q are False?

Since one of the main axioms in mathematics is Modus Ponens which allows one to infer truths from an implication the idea was to define implication in such a way that all false statements are rendered useless. Obviously the easiest and most natural way to do this is to make them able to imply anything, right or wrong. This is known as "ex falso sequitur quodlibet" i.e. false statements imply anything (and are thus useless).

Stemming from my lack of understanding of line 4 of the Truth Table, I do not understand why this equivalence is accurate.

I assume you know the truth tables for logical negation $\neg$ and logical disjunction $\vee$. From there it's a very easy exercise to show that for any two statements $p,q$ we have $(p\implies q)\iff(\neg p\vee q)$.

Answer 8

An implication holds if "it is impossible for the premises to be true but the conclusion false." Given that your premise is known to be false, it is impossible for (the premise to be true) AND (the conclusion false) because the premise isn't true(so it fails the first condition).

Similarly, if $q$ is true then $p \implies q$ must be true: it is impossible for (the premise to be true) AND (the conclusion false) because the conclusion isn't false(so it fails the second condition).

Answer 9

If the fourth line were F, then proving p implies q would prove q. I'm not sure why the third line is any less troubling.

Answer 10

One can use intuitive reasoning to figure out that it is best if 'False implies False' is 'True'.

Consider the informal causative meaning of 'implies', $P \rightarrow Q$ means that $P$ causes $Q$. ANother way to say this is that the appearance of $P$ causes $Q$ to appear.

Now, to judge whether $P \rightarrow Q$ is a correct statement, you need to check all the possibilities of when $P$ and $Q$ appear or not (this is the truth table).

For the case of interest, $P$ does not appear and also $Q$ does not appear, is this case acceptable according to $P \rightarrow Q$? Yes, it is, because the statement '$P$ causes $Q$' is perfectly OK if neither of them appear. $Q$ can be caused by many things, so can $\neg Q$; if $P$ is not the case, then it doesn't say anything about $Q$. So, $P \rightarrow Q$ is acceptable even if neither are true.

The usual difficulty with $\rightarrow$ is the case $P=$ False and $Q =$ True, because the English (and most natural languages) 'if-then' has the tendency to be interpreted as 'if-and-only-if' the value of $P$ is the same as the value of $Q$.

To connect $P\rightarrow Q$ with $\neg P \lor Q$, the above explanation says that when $Q$ is true, the value of $P\rightarrow Q$ is the same as the value of $P$. But if $P$ is false, anything goes for $Q$, so $F \rightarrow Q$ is True. And that's the same for $\neg P \lor Q$.

Answer 11

This is really just a convention, as everyone else has noted. The way to remember it is with a negative definition of implication: $P \to Q$ is the proposition that is true unless $P$ is true and $Q$ is false.

I think this is a nice example: "if I pass my exams, then I will get drunk". If you passed your exams and then ended up in the gutter with a bottle of Tequila in hand, you spoke truly. If you passed your exams then went home and had an early night, shame on you, your statement was false. If you failed your exams, then we'll never know what you would have done if you'd passed them, but it hardly seems fair to call you a liar.

Answer 12

My intuitive way of understanding it goes as follows: is the situation in which both P and Q are false, compatible with the statement that P implies Q?

Or else: in a universe in which P implies Q, would it be possible to observe both not P and not Q?

Answer 13

$p$ = you eat your meat

$q$ = you can have pudding

You don't eat your meat. ($p$ is false)

You can't have any pudding. ($q$ is false)

Your question is why, under these circumstances, "if you eat your meat, you can have pudding" is true. Sometimes just substituting in the right $p$ and $q$ makes the answer obvious.

Answer 14

If "mans lives in the moon" then they have four eyes. Is an implication of two wrong(propositions) premises that is perfectly true.

Answer 15

If P is true, Q should be true

If it happens that Q is false while P is true, then there's something wrong in the statement. So the statement is not true because we strongly believe, that if P is true Q will be always true.

If P is false, whether Q is true or false, the whole statement is true in other or different topic.

Answer 16

Let u take two compound statements.

p:I go to city mall.

q:I watch movie in cinema

and p$\rightarrow$q. now you'll be able to make truth table.

and you can even see movie in any other cinema not present in mall.