Implication

(Difference between revisions)
Jump to: navigation, search
(Logical equivalence: modify/expand with content from if and only if)
(more rewriting and expansion)
Line 1: Line 1:
'''Implication''' is a [[logic]]al operation on two variables. "P implies Q" is usually written as "P → Q". Equivalent statements include "If P then Q", "P is sufficient for Q", and "Q is necessary for P".
+
'''Implication''' is a [[logic]]al operation on two statements, typically represented by the variables P and Q. "P '''implies''' Q" is written symbolically as "P → Q". Equivalent statements include "'''if''' P '''then''' Q", "P is '''sufficient''' for Q", and "Q is '''necessary''' for P".
  
 
==Definition==
 
==Definition==
Line 25: Line 25:
 
|}
 
|}
  
In other words, if P is true, then Q must also be true.
+
Note that if P is true, then Q must also be true for the implication to hold (be true). However, if P is false, Q ''may or may not'' be true and the implication still holds.
  
Somewhat counterintuitively, if P is false, then P → Q is true. To illustrate why this makes sense, imagine a teacher who tells her class that any student who gets 100% on the final exam will pass the class. In other words,
+
To illustrate the latter fact, consider a teacher who tells her class that any student who gets 100% on the final exam will pass the class. In other words:
: '''P''': A student gets 100% on the final
+
: '''P''': A student gets 100% on the final.
: '''Q''': That student passes the class
+
: '''Q''': That student passes the class.
: '''P → Q''': A student gets 100% on the final → That student passes the class
+
: '''P → Q''': If a student gets 100% on the final, then that student passes the class.
Now consider the case in which two students do poorly on the final exam, and while one of them did well enough on the other exams to pass the course, the other did not. Did the teacher lie?
+
Now consider the case in which two students do poorly on the final exam; one of them did well enough on the other exams to pass the course, but the other did not. Did the teacher lie?
  
No. She said nothing about students who do not get 100% on the final (i.e., the case where P is false). Unless there is a student who both got 100% on the final and did not pass the course, the teacher told the truth.
+
No. She said nothing about students who do ''not'' get 100% on the final (i.e., the case where P is false). Unless there is a student who both got 100% on the final and did not pass the course, the teacher told the truth.
  
 
For this reason, "P → Q" can be restated as "¬(P ∧ ¬ Q)" or "not (P and not Q)", or "it is not the case that P is true and Q is false".
 
For this reason, "P → Q" can be restated as "¬(P ∧ ¬ Q)" or "not (P and not Q)", or "it is not the case that P is true and Q is false".
  
==Logical equivalence==
+
==Only if==
 +
The statement "P '''only if''' Q" is equivalent to "if P then Q" (P → Q), ''not'' "if Q then P".
  
The phrase '''if and only if''' means "is logically equivalent to", or "is a [[necessary]] and [[sufficient]] condition for". It is often abbreviated '''iff'''.
+
To see why this is so, consider the statement:
 +
: I will pass the course only if I study hard.
 +
What this means is:
 +
: If I don't study hard, I won't pass the course.
 +
Symbolically:
 +
: '''P''': I will pass the course.
 +
: '''Q''': I study hard.
 +
: '''¬ Q → ¬ P''': If I don't study hard, I won't pass the course.
 +
But this is equivalent to:
 +
: '''P → Q''': If I will pass the course then I study hard. (Or, rephrased slightly: If I pass the course then I must have studied hard.)
  
For any statements '''P''' and '''Q''',
+
==If and only if==
 +
The phrase "'''if and only if'''" means "is logically equivalent to", or "is a necessary and sufficient condition for". It is often abbreviated '''iff'''.
 
: '''P''' if and only if '''Q'''
 
: '''P''' if and only if '''Q'''
 
means the same thing as:
 
means the same thing as:

Revision as of 11:59, 7 December 2009

Implication is a logical operation on two statements, typically represented by the variables P and Q. "P implies Q" is written symbolically as "P → Q". Equivalent statements include "if P then Q", "P is sufficient for Q", and "Q is necessary for P".

Definition

Implication, the result of "P → Q" is defined by the following table:

P Q P→Q
True True True
True False False
False True True
False False True

Note that if P is true, then Q must also be true for the implication to hold (be true). However, if P is false, Q may or may not be true and the implication still holds.

To illustrate the latter fact, consider a teacher who tells her class that any student who gets 100% on the final exam will pass the class. In other words:

P: A student gets 100% on the final.
Q: That student passes the class.
P → Q: If a student gets 100% on the final, then that student passes the class.

Now consider the case in which two students do poorly on the final exam; one of them did well enough on the other exams to pass the course, but the other did not. Did the teacher lie?

No. She said nothing about students who do not get 100% on the final (i.e., the case where P is false). Unless there is a student who both got 100% on the final and did not pass the course, the teacher told the truth.

For this reason, "P → Q" can be restated as "¬(P ∧ ¬ Q)" or "not (P and not Q)", or "it is not the case that P is true and Q is false".

Only if

The statement "P only if Q" is equivalent to "if P then Q" (P → Q), not "if Q then P".

To see why this is so, consider the statement:

I will pass the course only if I study hard.

What this means is:

If I don't study hard, I won't pass the course.

Symbolically:

P: I will pass the course.
Q: I study hard.
¬ Q → ¬ P: If I don't study hard, I won't pass the course.

But this is equivalent to:

P → Q: If I will pass the course then I study hard. (Or, rephrased slightly: If I pass the course then I must have studied hard.)

If and only if

The phrase "if and only if" means "is logically equivalent to", or "is a necessary and sufficient condition for". It is often abbreviated iff.

P if and only if Q

means the same thing as:

P implies Q, and Q implies P.
Personal tools
Namespaces
Variants
Actions
wiki navigation
IronChariots.Org
Toolbox