Pronunciation: /ˌɪm plɪˈkeɪ ʃən/ ?

An implication is an "If then" statement:

If antecedent then consequent.
If P implies Q, then if P is true, Q must be true, and if P is false, Q must be false. Implication is written P→Q. In this example P is the antecedent and Q is the consequent


If the sides of a rectangle are congruent, then the rectangle is also a square. The antecedent is 'the sides of a rectangle are congruent'. The consequent is 'the rectangle is also a square'.

Cite this article as:

Implication. 2010-06-30. All Math Words Encyclopedia. Life is a Story Problem LLC.

Image Credits

Revision History

2010-06-30: Initial version (McAdams, David.)

All Math Words Encyclopedia is a service of Life is a Story Problem LLC.
Copyright © 2005-2011 Life is a Story Problem LLC. All rights reserved.
Creative Commons License This work is licensed under a Creative Commons Attribution-Noncommercial-Share Alike 3.0 License