The post How to Understand Why the Premise in a Logical Implication Can Be False when the Conclusion Is True appeared first on .

]]>If you’ve studied some formal logic, you may have seen how a conclusion can be true when the premise of that argument is false.

How could this be? you might be wondering . . . This article will spell out the reasoning behind that and what’s known as “logical implication”.

Logical implication can take the form of:

Sometimes different symbols are used to represent logical implication:

are all logically equivalent.

*p*is generally thought of also as the**antecedent**or premise of the argument.*q*is generally thought of also as the**consequent**or conclusion of the argument.

The statement “p implies q” means that if p is true, then q must also be true. The statement “p implies q” is also written “if p then q” or sometimes “q if p.” Statement p is called the

premiseof the implication and q is called theconclusion.

(Source: http://www.math.niu.edu)

When thinking about logical implication, it is useful to be first reacquainted with **necessity **and** sufficiency**.

To say that p is a *necessary condition* for q is to say that **it is impossible to have q without p**.

(NB: it is not necessarily the case that if you have q, then you must also have p—this is known as “affirming the consequent“)

Said another way: It is true if you do not have p you are guaranteed not to have q otherwise this logical implication does not hold true. (i.e. when *not-p* implies *q *this is false)

Examples:

1. “To get a high distinction on the exam, you must study hard”.

(NB: You could study hard but not also get a high distinction on the exam.)

2. “To become the president of the United States, you must be born in the United States”.

(NB: You could be born in the United States but not become president.)

3. “A prime number must be odd if it is a whole number greater than 2”.

(NB: A whole number could be greater than two and also be odd but not necessarily be a prime number.)

To say that p is a *sufficient condition* for q is to say that **the presence of p is enough for q to be present but it is not necessary**.

Said another way: It is possible to have p when q is also present, but the presence of p does not guarantee the presence of q.

Examples:

1. It is a sufficient that you can graduate by attending your graduation ceremony once you have completed the requirements for your degree.

(NB: You do not have to attend your graduation ceremony to have your degree conferred.)

2. It is a sufficient condition that if the president of the United States wins the Nobel Peace Prize he or she will be remembered by many people.

(NB: The president of the United States can still be remembered by many people even if he or she does not win the Nobel Peace Prize.)

3. It is a sufficient condition that every even integer greater than 2 can be expressed as the sum of two prime numbers (Goldbach’s conjecture).

(NB: Every even integer greater than 2 can also be expressed as the sum of non-primes, i.e. two even numbers added together will always equal an even number.)

For one statement to be a **necessary and sufficient condition of another then one statement must be true when the other is also true**.

The truth of one statement guarantees the truth of the another statement.

It is true that:

are all logically equivalent and p is true **if and only if** q is true.

Examples:

1. “If you get a high distinction on the exam, you will score 85% or above, **and** will have performed well on the exam”.

(NB: There is no way that you can score 85% or above, not get a high distinction on the test, and have performed well.)

2. “Barack Obama was the president of the United States, **and** he was inaugurated as president”.

(NB: There is no way that Barack Obama was not the president of the United States and inaugurated as president)

3. “Prime numbers are greater than 2, only divisible by themselves and 1, **and** there are infinite prime numbers”.

(NB: There is no way that prime numbers are greater than 2, are not divisible by themselves and 1, and there aren’t infinitely many prime numbers)

The truth table for logical implication is as follows:

It is also the case that:

To illustrate with an example:

There is never an instance where somebody is the president of the United States but was also not born in the United States. This is the ONLY time that this proposition is false (the second row).

Therefore, the statement “If somebody is president of the United States then they will be born in the United States” is only violated or false when somebody becomes the president when they weren’t born in the United States.

Below are some objections to the use of logical implication, if you are still not satisfied with what has been covered above:

Further reading: Indicative Conditionals on the *SEP*.

The post How to Understand Why the Premise in a Logical Implication Can Be False when the Conclusion Is True appeared first on .

]]>